|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |