Uses of Class
org.semanticweb.HermiT.Reasoner

Packages that use Reasoner

Package	Description
org.semanticweb.HermiT
org.semanticweb.HermiT.hierarchy

Uses of Reasoner in org.semanticweb.HermiT

Constructors in org.semanticweb.HermiT with parameters of type Reasoner

Constructor and Description
EntailmentChecker(Reasoner reasoner, org.semanticweb.owlapi.model.OWLDataFactory factory)

Uses of Reasoner in org.semanticweb.HermiT.hierarchy

Constructors in org.semanticweb.HermiT.hierarchy with parameters of type Reasoner

Constructor and Description
InstanceManager(InterruptFlag interruptFlag, Reasoner reasoner, Hierarchy<AtomicConcept> atomicConceptHierarchy, Hierarchy<Role> objectRoleHierarchy)