public org.semanticweb.owlapi.reasoner.OWLReasoner createReasoner(OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config) { org.semanticweb.HermiT.Configuration configuration = new org.semanticweb.HermiT.Configuration(); configuration.reasonerProgressMonitor = config.getProgressMonitor(); configuration.throwInconsistentOntologyException = false; return(new org.semanticweb.HermiT.Reasoner(configuration, ontology)); }
public org.semanticweb.owlapi.reasoner.OWLReasoner createReasoner(OWLOntology ontology) { var config = new org.semanticweb.HermiT.Configuration(); config.reasonerProgressMonitor = progrMonitor; config.throwInconsistentOntologyException = false; return(new org.semanticweb.HermiT.Reasoner(config, ontology)); }