public org.semanticweb.owlapi.reasoner.OWLReasoner createNonBufferingReasoner(OWLOntology ontology, OWLReasonerConfiguration config)
{
return(new com.clarkparsia.pellet.owlapiv3.PelletReasoner(ontology, config, BufferingMode.NON_BUFFERING));
}
public org.semanticweb.owlapi.reasoner.OWLReasoner createNonBufferingReasoner(OWLOntology ontology, 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));
}
