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>> |
getAllSOSForInconsistentClass(OWLClassExpression cls)
Gets the all sos for inconsistent class.
|
OWLOntology |
getOWLOntology() |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
dispose, getSOSForInconsistentClass
public OWLOntology getOWLOntology()
getOWLOntology
in interface OWLDebugger
OWLOntology
that is being debugged.@Nonnull public Set<Set<OWLAxiom>> getAllSOSForInconsistentClass(OWLClassExpression cls) throws OWLException
OWLDebugger
getAllSOSForInconsistentClass
in interface OWLDebugger
cls
- the inconsistent classOWLException
- if there is any problempublic void constructHittingSetTree(@Nonnull Set<OWLAxiom> mups, @Nonnull Set<Set<OWLAxiom>> allMups, @Nonnull Set<Set<OWLAxiom>> satPaths, @Nonnull 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 © 2020 The University of Manchester. All rights reserved.