org.semanticweb.owlapi.inference
Interface OWLClassReasoner

All Superinterfaces:
OWLReasonerBase, OWLSatisfiabilityChecker
All Known Subinterfaces:
MonitorableOWLReasoner, OWLReasoner
All Known Implementing Classes:
DIGReasoner, MonitorableOWLReasonerAdapter, NullReasoner, OWLReasonerAdapter, OWLReasonerMediator, ToldClassHierarchyReasoner

public interface OWLClassReasoner
extends OWLSatisfiabilityChecker

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 25-Oct-2006


Method Summary
 java.util.Set<java.util.Set<OWLClass>> getAncestorClasses(OWLClassExpression clsC)
          Returns the collection of all superclasses of the given class expression.
 java.util.Set<java.util.Set<OWLClass>> getDescendantClasses(OWLClassExpression clsC)
          Returns the collection of all subclasses of the given class expression.
 java.util.Set<OWLClass> getEquivalentClasses(OWLClassExpression clsC)
          Returns the collection of (named) classes which are equivalent to the given class expression.
 java.util.Set<java.util.Set<OWLClass>> getSubClasses(OWLClassExpression clsC)
          Returns the collection of (named) most general subclasses of the given class expression.
 java.util.Set<java.util.Set<OWLClass>> getSuperClasses(OWLClassExpression clsC)
          Returns the collection of (named) most specific superclasses of the given class expression.
 java.util.Set<OWLClass> getUnsatisfiableClasses()
          A convenience methods for obtaining all classes which are unsatisfiable.
 boolean isEquivalentClass(OWLClassExpression clsC, OWLClassExpression clsD)
          Checks whether the first class is equivalent to the second class
 boolean isSubClassOf(OWLClassExpression clsC, OWLClassExpression clsD)
          Checks whether the first class is a subclass of the second class
 
Methods inherited from interface org.semanticweb.owlapi.inference.OWLSatisfiabilityChecker
isSatisfiable
 
Methods inherited from interface org.semanticweb.owlapi.inference.OWLReasonerBase
classify, clearOntologies, dispose, getLoadedOntologies, isClassified, isDefined, isDefined, isDefined, isDefined, isRealised, loadOntologies, realise, unloadOntologies
 

Method Detail

isSubClassOf

boolean isSubClassOf(OWLClassExpression clsC,
                     OWLClassExpression clsD)
                     throws OWLReasonerException
Checks whether the first class is a subclass of the second class

Returns:
true if the first class is a subclass of the second class
Throws:
OWLReasonerException

isEquivalentClass

boolean isEquivalentClass(OWLClassExpression clsC,
                          OWLClassExpression clsD)
                          throws OWLReasonerException
Checks whether the first class is equivalent to the second class

Returns:
true if the first class is equivalent to the second class, or false if the first class is not equivalent to the second class
Throws:
OWLReasonerException

getSuperClasses

java.util.Set<java.util.Set<OWLClass>> getSuperClasses(OWLClassExpression clsC)
                                                       throws OWLReasonerException
Returns the collection of (named) most specific superclasses of the given class expression. The result of this will be a set of sets, where each set in the collection represents an equivalence class.

Throws:
OWLReasonerException

getAncestorClasses

java.util.Set<java.util.Set<OWLClass>> getAncestorClasses(OWLClassExpression clsC)
                                                          throws OWLReasonerException
Returns the collection of all superclasses of the given class expression. The result of this will be a set of sets, where each set in the collection represents an equivalence class.

Throws:
OWLReasonerException

getSubClasses

java.util.Set<java.util.Set<OWLClass>> getSubClasses(OWLClassExpression clsC)
                                                     throws OWLReasonerException
Returns the collection of (named) most general subclasses of the given class expression. The result of this will be a set of sets, where each set in the collection represents an equivalence class.

Throws:
OWLReasonerException

getDescendantClasses

java.util.Set<java.util.Set<OWLClass>> getDescendantClasses(OWLClassExpression clsC)
                                                            throws OWLReasonerException
Returns the collection of all subclasses of the given class expression. The result of this will be a set of sets, where each set in the collection represents an equivalence class.

Throws:
OWLReasonerException

getEquivalentClasses

java.util.Set<OWLClass> getEquivalentClasses(OWLClassExpression clsC)
                                             throws OWLReasonerException
Returns the collection of (named) classes which are equivalent to the given class expression.

Throws:
OWLReasonerException

getUnsatisfiableClasses

java.util.Set<OWLClass> getUnsatisfiableClasses()
                                                throws OWLReasonerException
A convenience methods for obtaining all classes which are unsatisfiable.

Returns:
A set of classes which are inconsistent.
Throws:
OWLReasonerException