org.semanticweb.owl.inference
Interface OWLClassReasoner

All Superinterfaces:

OWLReasonerBase, OWLSatisfiabilityChecker

All Known Subinterfaces:

MonitorableOWLReasoner, OWLReasoner

All Known Implementing Classes:

DIGReasoner, MonitorableOWLReasonerAdapter, 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(OWLDescription clsC) Returns the collection of all superclasses of the given description.
java.util.Set<java.util.Set<OWLClass>>	getDescendantClasses(OWLDescription clsC) Returns the collection of all subclasses of the given description.
java.util.Set<OWLClass>	getEquivalentClasses(OWLDescription clsC) Returns the collection of (named) classes which are equivalent to the given description.
java.util.Set<OWLClass>	getInconsistentClasses() A convenience methods for obtaining all classes which are inconsistent.
java.util.Set<java.util.Set<OWLClass>>	getSubClasses(OWLDescription clsC) Returns the collection of (named) most general subclasses of the given description.
java.util.Set<java.util.Set<OWLClass>>	getSuperClasses(OWLDescription clsC) Returns the collection of (named) most specific superclasses of the given description.
boolean	isEquivalentClass(OWLDescription clsC, OWLDescription clsD) Checks whether the first class is equivalent to the second class
boolean	isSubClassOf(OWLDescription clsC, OWLDescription clsD) Checks whether the first class is a subclass of the second class

Methods inherited from interface org.semanticweb.owl.inference.OWLSatisfiabilityChecker

isSatisfiable

Methods inherited from interface org.semanticweb.owl.inference.OWLReasonerBase

classify, clearOntologies, dispose, getLoadedOntologies, isClassified, isDefined, isDefined, isDefined, isDefined, isRealised, loadOntologies, realise, unloadOntologies

Method Detail

isSubClassOf

boolean isSubClassOf(OWLDescription clsC,
                     OWLDescription 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(OWLDescription clsC,
                          OWLDescription 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(OWLDescription clsC)
                                                       throws OWLReasonerException

Returns the collection of (named) most specific superclasses of the given description. 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(OWLDescription clsC)
                                                          throws OWLReasonerException

Returns the collection of all superclasses of the given description. 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(OWLDescription clsC)
                                                     throws OWLReasonerException

Returns the collection of (named) most general subclasses of the given description. 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(OWLDescription clsC)
                                                            throws OWLReasonerException

Returns the collection of all subclasses of the given description. 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(OWLDescription clsC)
                                             throws OWLReasonerException

Returns the collection of (named) classes which are equivalent to the given description.

Throws:

OWLReasonerException

getInconsistentClasses

java.util.Set<OWLClass> getInconsistentClasses()
                                               throws OWLReasonerException

A convenience methods for obtaining all classes which are inconsistent.

Returns:

A set of classes which are inconsistent.

Throws:

OWLReasonerException