public interface SingleExplanationGenerator
Modifier and Type | Method and Description |
---|---|
java.util.Set<OWLAxiom> |
getExplanation(OWLClassExpression unsatClass)
Get a single explanation for an arbitrary class expression, or empty set
if the given expression is satisfiable.
|
OWLOntology |
getOntology() |
OWLOntologyManager |
getOntologyManager() |
OWLReasoner |
getReasoner() |
OWLReasonerFactory |
getReasonerFactory() |
OWLOntologyManager getOntologyManager()
OWLOntology getOntology()
OWLReasoner getReasoner()
OWLReasonerFactory getReasonerFactory()
java.util.Set<OWLAxiom> getExplanation(OWLClassExpression unsatClass)
unsatClass
- arbitrary class expression whose unsatisfiability will be
explained