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

Packages that use ReasoningTaskDescription

Package	Description
org.semanticweb.HermiT.debugger
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

Modifier and Type	Method and Description
void	Debugger.isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription, boolean result)
void	Debugger.isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)

Uses of ReasoningTaskDescription in org.semanticweb.HermiT.monitor

Methods in org.semanticweb.HermiT.monitor with parameters of type ReasoningTaskDescription

Modifier and Type	Method and Description
void	TableauMonitorAdapter.isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription, boolean result)
void	TableauMonitorFork.isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription, boolean result)
void	CountingMonitor.isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription, boolean result)
void	TableauMonitor.isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription, boolean result)
void	Timer.isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription, boolean result)
void	TableauMonitorForwarder.isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription, boolean result)
void	TableauMonitorAdapter.isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)
void	TableauMonitorFork.isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)
void	CountingMonitor.isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)
void	TableauMonitor.isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)
void	Timer.isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)
void	TableauMonitorForwarder.isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)

Uses of ReasoningTaskDescription in org.semanticweb.HermiT.tableau

Methods in org.semanticweb.HermiT.tableau that return ReasoningTaskDescription

Modifier and Type	Method and Description
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

Modifier and Type	Method and Description
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 loadPermanentABox, boolean loadAdditionalABox, Set<Atom> perTestPositiveFactsNoDependency, Set<Atom> perTestNegativeFactsNoDependency, Set<Atom> perTestPositiveFactsDummyDependency, Set<Atom> perTestNegativeFactsDummyDependency, Map<Term,Node> termsToNodes, 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)