protected OWLReasoner createHermiTOWLReasoner(Configuration configuration,OWLOntology ontology) { return new Reasoner(configuration,ontology); } }
protected OWLReasoner createHermiTOWLReasoner(Configuration configuration,OWLOntology ontology) { return new Reasoner(configuration,ontology); } }
/** * Build and return a {@code OWLReasoner} instance for a particular ontology, * as configured. * @param config the configuration for the ontology. * @param ontology the ontology. * @return the configured {@code OWLReasoner} instance, or the HermiT Reasoner * if the configuration value is not recognised. */ public OWLReasoner buildReasoner(OntologyConfiguration config, OWLOntology ontology) { String cfgReasoner = config.getReasoner(); OWLReasoner reasoner; if (HERMIT_REASONER.equalsIgnoreCase(cfgReasoner)) { reasoner = new Reasoner(ontology); } else if (ELK_REASONER.equalsIgnoreCase(cfgReasoner)) { reasoner = new ElkReasonerFactory().createReasoner(ontology); } else { LOGGER.info("Reasoner {} not recognized - using HermiT", cfgReasoner); reasoner = new Reasoner(ontology); } return reasoner; }
public static OWLReasoner createOWL2ReasonerInstance( OWLOntology onto, int reasonerID){ //currentReasonerName = reasoner_name[reasonerID]; if (reasonerID == HERMIT) { //currentReasonerName = "HermiT"; return new Reasoner(onto); } else { //currentReasonerName = "JFact"; JFactFactory reasonerFactory = new JFactFactory(); return reasonerFactory.createReasoner(onto, new SimpleConfiguration()); } /*else { // (OWL2REASONERNAME == PELLET){{ currentReasonerName = "Pellet"; //return new PelletReasoner(onto, // BufferingMode.BUFFERING); PelletReasonerFactory prf = new PelletReasonerFactory(); return prf.getReasonerFactory().createReasoner(onto); }*/ }
hermiT = new Reasoner(rewrittenOntology); tableau = hermiT.getTableau();
Reasoner hermiT = new Reasoner(rewrittenOntology);
conf.reasonerProgressMonitor = new ConsoleProgressMonitor(); conf.ignoreUnsupportedDatatypes = true; reasoner = new Reasoner(conf, ontology); int logicalAxiomCount = ontology.getLogicalAxiomCount(); boolean consistent = reasoner.isConsistent();
status.log(2,"Ontology parsed in "+String.valueOf(parseTime)+" msec."); startTime=System.currentTimeMillis(); Reasoner hermit=new Reasoner(config,ontology); Prefixes prefixes=hermit.getPrefixes(); if (defaultPrefix!=null) {