Uses of Class
org.semanticweb.HermiT.Reasoner

Packages that use Reasoner
org.semanticweb.HermiT   
org.semanticweb.HermiT.cli   
org.semanticweb.HermiT.hierarchy   
 

Uses of Reasoner in org.semanticweb.HermiT
 

Constructors in org.semanticweb.HermiT with parameters of type Reasoner
EntailmentChecker(Reasoner reasoner, org.semanticweb.owlapi.model.OWLDataFactory factory)
           
 

Uses of Reasoner in org.semanticweb.HermiT.cli
 

Methods in org.semanticweb.HermiT.cli with parameters of type Reasoner
 void CommandLine.Action.run(Reasoner hermit, CommandLine.StatusOutput status, java.io.PrintWriter output, boolean ignoreOntologyPrefixes)
           
 void CommandLine.DumpPrefixesAction.run(Reasoner hermit, CommandLine.StatusOutput status, java.io.PrintWriter output, boolean ignoreOntologyPrefixes)
           
 void CommandLine.DumpClausesAction.run(Reasoner hermit, CommandLine.StatusOutput status, java.io.PrintWriter output, boolean ignoreOntologyPrefixes)
           
 void CommandLine.ClassifyAction.run(Reasoner hermit, CommandLine.StatusOutput status, java.io.PrintWriter output, boolean ignoreOntologyPrefixes)
           
 void CommandLine.SatisfiabilityAction.run(Reasoner hermit, CommandLine.StatusOutput status, java.io.PrintWriter output, boolean ignoreOntologyPrefixes)
           
 void CommandLine.SupersAction.run(Reasoner hermit, CommandLine.StatusOutput status, java.io.PrintWriter output, boolean ignoreOntologyPrefixes)
           
 void CommandLine.SubsAction.run(Reasoner hermit, CommandLine.StatusOutput status, java.io.PrintWriter output, boolean ignoreOntologyPrefixes)
           
 void CommandLine.EquivalentsAction.run(Reasoner hermit, CommandLine.StatusOutput status, java.io.PrintWriter output, boolean ignoreOntologyPrefixes)
           
 void CommandLine.EntailsAction.run(Reasoner hermit, CommandLine.StatusOutput status, java.io.PrintWriter output, boolean ignoreOntologyPrefixes)
           
 

Uses of Reasoner in org.semanticweb.HermiT.hierarchy
 

Fields in org.semanticweb.HermiT.hierarchy declared as Reasoner
protected  Reasoner InstanceManager.m_reasoner
           
 

Constructors in org.semanticweb.HermiT.hierarchy with parameters of type Reasoner
InstanceManager(InterruptFlag interruptFlag, Reasoner reasoner, Tableau tableau, Hierarchy<AtomicConcept> atomicConceptHierarchy, Hierarchy<Role> objectRoleHierarchy)