Uses of Class
com.clarkparsia.modularity.IncrementalReasoner

Packages that use IncrementalReasoner

Package	Description
com.clarkparsia.modularity

Uses of IncrementalReasoner in com.clarkparsia.modularity

Methods in com.clarkparsia.modularity that return IncrementalReasoner

Modifier and Type	Method and Description
IncrementalReasoner	IncrementalReasoner.copy()
IncrementalReasoner	IncrementalReasonerConfiguration.createIncrementalReasoner()
IncrementalReasoner	IncrementalReasonerConfiguration.createIncrementalReasoner(org.semanticweb.owlapi.model.OWLOntology ont)
IncrementalReasoner	IncremantalReasonerFactory.createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)
IncrementalReasoner	IncremantalReasonerFactory.createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
IncrementalReasoner	IncremantalReasonerFactory.createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)
IncrementalReasoner	IncremantalReasonerFactory.createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)

Constructors in com.clarkparsia.modularity with parameters of type IncrementalReasoner

Constructor and Description
EntailmentChecker(IncrementalReasoner reasoner)