org.semanticweb.owl.explanation.impl.rootderived

Class StructuralRootDerivedReasoner

java.lang.Object

org.semanticweb.owl.explanation.impl.rootderived.StructuralRootDerivedReasoner

All Implemented Interfaces:

RootDerivedReasoner

public class StructuralRootDerivedReasoner
extends Object
implements RootDerivedReasoner

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

Constructor Summary

Constructors

Constructor and Description
StructuralRootDerivedReasoner(org.semanticweb.owlapi.model.OWLOntologyManager man, org.semanticweb.owlapi.reasoner.OWLReasoner reasoner, org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory)

Method Summary

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)
org.semanticweb.owlapi.model.OWLOntology	getMergedOntology()
Set<org.semanticweb.owlapi.model.OWLClass>	getRootUnsatisfiableClasses() Gets the root unsatisfiable classes.
void	tarjan(org.semanticweb.owlapi.model.OWLClass cls, int index, Stack<org.semanticweb.owlapi.model.OWLClass> stack, Map<org.semanticweb.owlapi.model.OWLClass,Integer> indexMap, Map<org.semanticweb.owlapi.model.OWLClass,Integer> lowlinkMap, Set<Set<org.semanticweb.owlapi.model.OWLClass>> result, Set<org.semanticweb.owlapi.model.OWLClass> processed, Set<org.semanticweb.owlapi.model.OWLClass> stackClass)

Methods inherited from class java.lang.Object

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

Constructor Detail

StructuralRootDerivedReasoner

public StructuralRootDerivedReasoner(org.semanticweb.owlapi.model.OWLOntologyManager man,
                                     org.semanticweb.owlapi.reasoner.OWLReasoner reasoner,
                                     org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory)

Method Detail

getMergedOntology

public org.semanticweb.owlapi.model.OWLOntology getMergedOntology()
                                                           throws ExplanationException

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

getRootUnsatisfiableClasses

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

Description copied from interface: RootDerivedReasoner

Gets the root unsatisfiable classes.

Specified by:

getRootUnsatisfiableClasses in interface RootDerivedReasoner

Returns:

A set of classes that represent the root unsatisfiable classes

Throws:

ExplanationException

tarjan

public void tarjan(org.semanticweb.owlapi.model.OWLClass cls,
                   int index,
                   Stack<org.semanticweb.owlapi.model.OWLClass> stack,
                   Map<org.semanticweb.owlapi.model.OWLClass,Integer> indexMap,
                   Map<org.semanticweb.owlapi.model.OWLClass,Integer> lowlinkMap,
                   Set<Set<org.semanticweb.owlapi.model.OWLClass>> result,
                   Set<org.semanticweb.owlapi.model.OWLClass> processed,
                   Set<org.semanticweb.owlapi.model.OWLClass> stackClass)