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.

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group, Date: 24-Nov-2006

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractOWLDebugger(OWLOntologyManager owlOntologyManager, OWLOntology ontology)

Method Summary

Methods

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)
protected abstract OWLClassExpression	getCurrentClass()
OWLOntology	getOWLOntology()
OWLOntologyManager	getOWLOntologyManager()

Methods inherited from class java.lang.Object

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

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

dispose, getSOSForIncosistentClass

Constructor Detail

AbstractOWLDebugger

protected AbstractOWLDebugger(OWLOntologyManager owlOntologyManager,
                   OWLOntology ontology)

Method Detail

getCurrentClass

protected abstract OWLClassExpression getCurrentClass()
                                               throws OWLException

Throws:

OWLException

getOWLOntology

public OWLOntology getOWLOntology()
                           throws OWLException

Specified by:

getOWLOntology in interface OWLDebugger

Returns:

the OWLOntology that is being debugged.

Throws:

OWLException - if there is any problem

getOWLOntologyManager

public OWLOntologyManager getOWLOntologyManager()

Returns:

the manager

getAllSOSForIncosistentClass

public Set<Set<OWLAxiom>> getAllSOSForIncosistentClass(OWLClassExpression cls)
                                                throws OWLException

Specified by:

getAllSOSForIncosistentClass 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(Set<OWLAxiom> mups,
                           Set<Set<OWLAxiom>> allMups,
                           Set<Set<OWLAxiom>> satPaths,
                           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