public abstract class AbstractOWLDebugger extends Object implements OWLDebugger
Modifier and Type | Method and Description |
---|---|
void |
constructHittingSetTree(Set<OWLAxiom> mups,
Set<Set<OWLAxiom>> allMups,
Set<Set<OWLAxiom>> satPaths,
Set<OWLAxiom> currentPathContents)
This is a recursive method that builds a hitting set tree to obtain all
justifications for an unsatisfiable class.
|
Set<Set<OWLAxiom>> |
getAllSOSForIncosistentClass(OWLClassExpression cls) |
OWLOntology |
getOWLOntology() |
OWLOntologyManager |
getOWLOntologyManager() |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
dispose, getSOSForIncosistentClass
public OWLOntology getOWLOntology() throws OWLException
getOWLOntology
in interface OWLDebugger
OWLOntology
that is being debugged.OWLException
- if there is any problempublic OWLOntologyManager getOWLOntologyManager()
public Set<Set<OWLAxiom>> getAllSOSForIncosistentClass(OWLClassExpression cls) throws OWLException
getAllSOSForIncosistentClass
in interface OWLDebugger
cls
- the inconsistent classOWLException
- if there is any problempublic void constructHittingSetTree(Set<OWLAxiom> mups, Set<Set<OWLAxiom>> allMups, Set<Set<OWLAxiom>> satPaths, 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 problemCopyright © 2017 The University of Manchester. All Rights Reserved.