Package org.semanticweb.owlapi.debugging

Interface OWLDebugger

All Known Implementing Classes:
AbstractOWLDebugger, BlackBoxOWLDebugger
public interface OWLDebugger
Since:
2.0.0
Author:
Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

  • Method Details

    • getOWLOntology

      OWLOntology getOWLOntology() throws OWLException
      Gets the ontology.
      Returns:
      the OWLOntology that is being debugged.
      Throws:
      OWLException - if there is any problem

    • getSOSForInconsistentClass

      Set<OWLAxiom> getSOSForInconsistentClass(OWLClassExpression cls) throws OWLException
      Gets the SOS for inconsistent class.
      Parameters:
      cls - The class which is inconsistent
      Returns:
      the first set of supporting (SOS) axioms that are responsible for the specified class being inconsistent.
      Throws:
      OWLException - if there is any problem

    • getAllSOSForInconsistentClass

      Set<Set<OWLAxiom>> getAllSOSForInconsistentClass(OWLClassExpression cls) throws OWLException
      Get all SOS for inconsistent class.
      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

    • dispose

      void dispose()
      dispose of resources locked such as reasoners.