public abstract class AbstractOWLDebugger extends java.lang.Object implements OWLDebugger
Modifier | Constructor and Description |
---|---|
protected |
AbstractOWLDebugger(OWLOntologyManager owlOntologyManager,
OWLOntology ontology) |
Modifier and Type | Method and Description |
---|---|
void |
constructHittingSetTree(java.util.Set<OWLAxiom> mups,
java.util.Set<java.util.Set<OWLAxiom>> allMups,
java.util.Set<java.util.Set<OWLAxiom>> satPaths,
java.util.Set<OWLAxiom> currentPathContents)
This is a recursive method that builds a hitting set tree to obtain all justifications
for an unsatisfiable class.
|
java.util.Set<java.util.Set<OWLAxiom>> |
getAllSOSForIncosistentClass(OWLClassExpression cls) |
protected abstract OWLClassExpression |
getCurrentClass() |
OWLOntology |
getOWLOntology() |
OWLOntologyManager |
getOWLOntologyManager() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
dispose, getSOSForIncosistentClass
protected AbstractOWLDebugger(OWLOntologyManager owlOntologyManager, OWLOntology ontology)
protected abstract OWLClassExpression getCurrentClass() throws OWLException
OWLException
public OWLOntology getOWLOntology() throws OWLException
getOWLOntology
in interface OWLDebugger
OWLOntology
that is being debugged.OWLException
- if there is any problempublic OWLOntologyManager getOWLOntologyManager()
public java.util.Set<java.util.Set<OWLAxiom>> getAllSOSForIncosistentClass(OWLClassExpression cls) throws OWLException
getAllSOSForIncosistentClass
in interface OWLDebugger
cls
- the inconsistent classOWLException
- if there is any problempublic void constructHittingSetTree(java.util.Set<OWLAxiom> mups, java.util.Set<java.util.Set<OWLAxiom>> allMups, java.util.Set<java.util.Set<OWLAxiom>> satPaths, java.util.Set<OWLAxiom> currentPathContents) throws OWLException
mups
- The current justification for the current class. This corresponds to a node
in the hitting set tree.allMups
- All of the MUPS that have been found - this set gets populated over the course
of the tree building process. Initially this should just contain the first justificationsatPaths
- Paths that have been completed.currentPathContents
- The contents of the current path. Initially this should be an
empty set.OWLException
- if there is any problem