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, Object[] superconcepts)
           
protected  ReasoningTaskDescription QuasiOrderClassification.getSubsumedByListTestDescription(AtomicConcept subConcept, 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(Object axiom)
           
static ReasoningTaskDescription ReasoningTaskDescription.isConceptSatisfiable(Object atomicConcept)
           
static ReasoningTaskDescription ReasoningTaskDescription.isConceptSubsumedBy(Object atomicSubconcept, Object atomicSuperconcept)
           
static ReasoningTaskDescription ReasoningTaskDescription.isConceptSubsumedByList(Object atomicSubconcept, Object... atomicSuperconcepts)
           
static ReasoningTaskDescription ReasoningTaskDescription.isDataRoleInstanceOf(Object atomicRole, Object individual1, Object individual2)
           
static ReasoningTaskDescription ReasoningTaskDescription.isDomainOf(Object domain, Object role)
           
static ReasoningTaskDescription ReasoningTaskDescription.isInstanceOf(Object atomicConcept, Object individual)
           
static ReasoningTaskDescription ReasoningTaskDescription.isObjectRoleInstanceOf(Object atomicRole, Object individual1, Object individual2)
           
static ReasoningTaskDescription ReasoningTaskDescription.isRangeOf(Object range, Object role)
           
static ReasoningTaskDescription ReasoningTaskDescription.isRoleSatisfiable(Object role, boolean isObjectRole)
           
static ReasoningTaskDescription ReasoningTaskDescription.isRoleSubsumedBy(Object subrole, Object superrole, boolean isObjectRole)
           
static ReasoningTaskDescription ReasoningTaskDescription.isRoleSubsumedByList(Object subrole, Object... superroles)
           
 

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



Copyright © 2012. All Rights Reserved.