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