Package org.semanticweb.owlapi.debugging

Class AbstractOWLDebugger

java.lang.Object

org.semanticweb.owlapi.debugging.AbstractOWLDebugger

All Implemented Interfaces:

OWLDebugger

Direct Known Subclasses:

BlackBoxOWLDebugger

public abstract class AbstractOWLDebugger
extends Object
implements OWLDebugger

An abstract debugger which provides common infrastructure for finding multiple justification. This functionality relies on a concrete implementation of a debugger that can compute a minimal set of axioms that cause the unsatisfiability.

Since:

2.0.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

Method Summary

Modifier and Type	Method	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 incosistent class.
OWLOntology	getOWLOntology()	Gets the oWL ontology.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.semanticweb.owlapi.debugging.OWLDebugger

dispose, getSOSForInconsistentClass

Method Detail

getOWLOntology

public OWLOntology getOWLOntology()

Description copied from interface: OWLDebugger

Gets the oWL ontology.

Specified by:

getOWLOntology in interface OWLDebugger

Returns:

the OWLOntology that is being debugged.

getAllSOSForInconsistentClass

@Nonnull
public Set<Set<OWLAxiom>> getAllSOSForInconsistentClass(OWLClassExpression cls)
                                                 throws OWLException

Description copied from interface: OWLDebugger

Gets the all sos for incosistent class.

Specified by:

getAllSOSForInconsistentClass in interface OWLDebugger

Parameters:

cls - the inconsistent class

Returns:

all sets of supporting axioms that are responsible for the specified class being inconsistent

Throws:

OWLException - if there is any problem

constructHittingSetTree

public void constructHittingSetTree(@Nonnull
                                    Set<OWLAxiom> mups,
                                    @Nonnull
                                    Set<Set<OWLAxiom>> allMups,
                                    @Nonnull
                                    Set<Set<OWLAxiom>> satPaths,
                                    @Nonnull
                                    Set<OWLAxiom> currentPathContents)
                             throws OWLException

This is a recursive method that builds a hitting set tree to obtain all justifications for an unsatisfiable class.

Parameters:

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 justification

satPaths - Paths that have been completed.

currentPathContents - The contents of the current path. Initially this should be an empty set.

Throws:

OWLException - if there is any problem