org.semanticweb.owl.explanation.api

Interface RootDerivedReasoner

All Known Implementing Classes:

CompleteRootDerivedReasoner, StructuralRootDerivedReasoner

public interface RootDerivedReasoner

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 07-Sep-2008

Allows the root unsatisfiable classes to be obtained for a set of ontologies.

Method Summary

Methods

Modifier and Type	Method and Description
Set<org.semanticweb.owlapi.model.OWLClass>	getDependentChildClasses(org.semanticweb.owlapi.model.OWLClass cls)
Set<org.semanticweb.owlapi.model.OWLClass>	getDependentDescendantClasses(org.semanticweb.owlapi.model.OWLClass cls)
Set<org.semanticweb.owlapi.model.OWLClass>	getRootUnsatisfiableClasses() Gets the root unsatisfiable classes.

Method Detail

getRootUnsatisfiableClasses

Set<org.semanticweb.owlapi.model.OWLClass> getRootUnsatisfiableClasses()
                                                                       throws ExplanationException

Gets the root unsatisfiable classes.

Returns:

A set of classes that represent the root unsatisfiable classes

Throws:

ExplanationException

getDependentChildClasses

Set<org.semanticweb.owlapi.model.OWLClass> getDependentChildClasses(org.semanticweb.owlapi.model.OWLClass cls)

getDependentDescendantClasses

Set<org.semanticweb.owlapi.model.OWLClass> getDependentDescendantClasses(org.semanticweb.owlapi.model.OWLClass cls)