Uses of Class
org.semanticweb.HermiT.tableau.ReasoningTaskDescription

Packages that use ReasoningTaskDescription
org.semanticweb.HermiT.debugger   
org.semanticweb.HermiT.hierarchy   
org.semanticweb.HermiT.monitor   
org.semanticweb.HermiT.tableau   
 

Uses of ReasoningTaskDescription in org.semanticweb.HermiT.debugger
 

Methods in org.semanticweb.HermiT.debugger with parameters of type ReasoningTaskDescription
 void Debugger.isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription, boolean result)
           
 void Debugger.isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)
           
 

Uses of ReasoningTaskDescription in org.semanticweb.HermiT.hierarchy
 

Methods in org.semanticweb.HermiT.hierarchy that return ReasoningTaskDescription
protected  ReasoningTaskDescription QuasiOrderClassificationForRoles.getSatTestDescription(AtomicConcept atomicConcept)
           
protected  ReasoningTaskDescription QuasiOrderClassification.getSatTestDescription(AtomicConcept atomicConcept)
           
protected  ReasoningTaskDescription QuasiOrderClassificationForRoles.getSubsumedByListTestDescription(AtomicConcept subConcept, java.lang.Object[] superconcepts)
           
protected  ReasoningTaskDescription QuasiOrderClassification.getSubsumedByListTestDescription(AtomicConcept subConcept, java.lang.Object[] superconcepts)
           
protected  ReasoningTaskDescription QuasiOrderClassificationForRoles.getSubsumptionTestDescription(AtomicConcept subConcept, AtomicConcept superConcept)
           
protected  ReasoningTaskDescription QuasiOrderClassification.getSubsumptionTestDescription(AtomicConcept subConcept, AtomicConcept superConcept)
           
 

Uses of ReasoningTaskDescription in org.semanticweb.HermiT.monitor
 

Fields in org.semanticweb.HermiT.monitor declared as ReasoningTaskDescription
protected  ReasoningTaskDescription CountingMonitor.m_reasoningTaskDescription
           
 

Methods in org.semanticweb.HermiT.monitor with parameters of type ReasoningTaskDescription
 void Timer.isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription, boolean result)
           
 void TableauMonitorForwarder.isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription, boolean result)
           
 void TableauMonitorFork.isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription, boolean result)
           
 void TableauMonitorAdapter.isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription, boolean result)
           
 void TableauMonitor.isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription, boolean result)
           
 void MemoryConsumptionMonitor.isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription, boolean result)
           
 void CountingMonitor.isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription, boolean result)
           
 void Timer.isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)
           
 void TableauMonitorForwarder.isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)
           
 void TableauMonitorFork.isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)
           
 void TableauMonitorAdapter.isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)
           
 void TableauMonitor.isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)
           
 void MemoryConsumptionMonitor.isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)
           
 void CountingMonitor.isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)
           
 

Uses of ReasoningTaskDescription in org.semanticweb.HermiT.tableau
 

Methods in org.semanticweb.HermiT.tableau that return ReasoningTaskDescription
static ReasoningTaskDescription ReasoningTaskDescription.isABoxSatisfiable()
           
static ReasoningTaskDescription ReasoningTaskDescription.isAxiomEntailed(java.lang.Object axiom)
           
static ReasoningTaskDescription ReasoningTaskDescription.isConceptSatisfiable(java.lang.Object atomicConcept)
           
static ReasoningTaskDescription ReasoningTaskDescription.isConceptSubsumedBy(java.lang.Object atomicSubconcept, java.lang.Object atomicSuperconcept)
           
static ReasoningTaskDescription ReasoningTaskDescription.isConceptSubsumedByList(java.lang.Object atomicSubconcept, java.lang.Object... atomicSuperconcepts)
           
static ReasoningTaskDescription ReasoningTaskDescription.isDataRoleInstanceOf(java.lang.Object atomicRole, java.lang.Object individual1, java.lang.Object individual2)
           
static ReasoningTaskDescription ReasoningTaskDescription.isDomainOf(java.lang.Object domain, java.lang.Object role)
           
static ReasoningTaskDescription ReasoningTaskDescription.isInstanceOf(java.lang.Object atomicConcept, java.lang.Object individual)
           
static ReasoningTaskDescription ReasoningTaskDescription.isObjectRoleInstanceOf(java.lang.Object atomicRole, java.lang.Object individual1, java.lang.Object individual2)
           
static ReasoningTaskDescription ReasoningTaskDescription.isRangeOf(java.lang.Object range, java.lang.Object role)
           
static ReasoningTaskDescription ReasoningTaskDescription.isRoleSatisfiable(java.lang.Object role, boolean isObjectRole)
           
static ReasoningTaskDescription ReasoningTaskDescription.isRoleSubsumedBy(java.lang.Object subrole, java.lang.Object superrole, boolean isObjectRole)
           
static ReasoningTaskDescription ReasoningTaskDescription.isRoleSubsumedByList(java.lang.Object subrole, java.lang.Object... superroles)
           
 

Methods in org.semanticweb.HermiT.tableau with parameters of type ReasoningTaskDescription
 boolean Tableau.isSatisfiable(boolean loadPermanentABox, boolean loadAdditionalABox, java.util.Set<Atom> perTestPositiveFactsNoDependency, java.util.Set<Atom> perTestNegativeFactsNoDependency, java.util.Set<Atom> perTestPositiveFactsDummyDependency, java.util.Set<Atom> perTestNegativeFactsDummyDependency, java.util.Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)
           
 boolean Tableau.isSatisfiable(boolean loadAdditionalABox, java.util.Set<Atom> perTestPositiveFactsNoDependency, java.util.Set<Atom> perTestNegativeFactsNoDependency, java.util.Set<Atom> perTestPositiveFactsDummyDependency, java.util.Set<Atom> perTestNegativeFactsDummyDependency, java.util.Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)