org.semanticweb.owl.explanation.impl.rootderived

Class CompleteRootDerivedReasoner

java.lang.Object

org.semanticweb.owl.explanation.impl.rootderived.CompleteRootDerivedReasoner

All Implemented Interfaces:

RootDerivedReasoner

public class CompleteRootDerivedReasoner
extends Object
implements RootDerivedReasoner

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 20-Oct-2009

Constructor Summary

Constructors

Constructor and Description
CompleteRootDerivedReasoner(org.semanticweb.owlapi.model.OWLOntologyManager manager, org.semanticweb.owlapi.reasoner.OWLReasoner baseReasoner, org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory)

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.
static void	main(String[] args)

Methods inherited from class java.lang.Object

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

Constructor Detail

CompleteRootDerivedReasoner

public CompleteRootDerivedReasoner(org.semanticweb.owlapi.model.OWLOntologyManager manager,
                           org.semanticweb.owlapi.reasoner.OWLReasoner baseReasoner,
                           org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory)

Method Detail

getRootUnsatisfiableClasses

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

Gets the root unsatisfiable classes.

Specified by:

getRootUnsatisfiableClasses in interface RootDerivedReasoner

Returns:

A set of classes that represent the root unsatisfiable classes

Throws:

ExplanationException

getDependentChildClasses

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

Specified by:

getDependentChildClasses in interface RootDerivedReasoner

getDependentDescendantClasses

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

Specified by:

getDependentDescendantClasses in interface RootDerivedReasoner

main

public static void main(String[] args)