org.semanticweb.owl.util
Class OWLReasonerMediator

java.lang.Object
  org.semanticweb.owl.util.OWLReasonerMediator

All Implemented Interfaces:

OWLClassReasoner, OWLConsistencyChecker, OWLIndividualReasoner, OWLPropertyReasoner, OWLReasoner, OWLReasonerBase, OWLSatisfiabilityChecker

public class OWLReasonerMediator
extends java.lang.Object
implements OWLReasoner

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Apr-2007

Acts as mediator with an OWLReasoner. The mediator provides several useful layers of client implementation functionality and insulation on top of basic reasoner functionality. For example, autoloading and unloading of imports, silent undefined entity handling etc.

Field Summary

static boolean

SILENT_UNDEFINED_ENTITY_HANDLING_DEFAULT_VALUE

Constructor Summary

OWLReasonerMediator(OWLReasoner kernel)

Method Summary

boolean	checkDefined(OWLDataPropertyExpression prop)
boolean	checkDefined(OWLDescription description)
boolean	checkDefined(OWLIndividual individual)
boolean	checkDefined(OWLObjectPropertyExpression prop)
void	classify() Asks the reasoner to classify the ontology.
void	clearOntologies() Clears the reasoner.
void	dispose() Disposes of and cleans up any resources used by this reasoner.
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<OWLDataProperty>>	getAncestorProperties(OWLDataProperty property)
java.util.Set<java.util.Set<OWLObjectProperty>>	getAncestorProperties(OWLObjectProperty property)
java.util.Map<OWLDataProperty,java.util.Set<OWLConstant>>	getDataPropertyRelationships(OWLIndividual individual)
java.util.Set<java.util.Set<OWLClass>>	getDescendantClasses(OWLDescription clsC) Returns the collection of all subclasses of the given description.
java.util.Set<java.util.Set<OWLDataProperty>>	getDescendantProperties(OWLDataProperty property)
java.util.Set<java.util.Set<OWLObjectProperty>>	getDescendantProperties(OWLObjectProperty property)
java.util.Set<java.util.Set<OWLDescription>>	getDomains(OWLDataProperty property)
java.util.Set<java.util.Set<OWLDescription>>	getDomains(OWLObjectProperty property) Gets the domains of a particular property.
java.util.Set<OWLClass>	getEquivalentClasses(OWLDescription clsC) Returns the collection of (named) classes which are equivalent to the given description.
java.util.Set<OWLDataProperty>	getEquivalentProperties(OWLDataProperty property)
java.util.Set<OWLObjectProperty>	getEquivalentProperties(OWLObjectProperty property)
java.util.Set<OWLClass>	getInconsistentClasses() A convenience methods for obtaining all classes which are inconsistent.
java.util.Set<OWLIndividual>	getIndividuals(OWLDescription clsC, boolean direct)
java.util.Set<java.util.Set<OWLObjectProperty>>	getInverseProperties(OWLObjectProperty property)
OWLReasoner	getKernel() Gets the real reasoner that this mediator wraps
java.util.Set<OWLOntology>	getLoadedOntologies() Gets the ontologies that have been loaded into this reasoner.
java.util.Map<OWLObjectProperty,java.util.Set<OWLIndividual>>	getObjectPropertyRelationships(OWLIndividual individual)
java.util.Set<OWLDataRange>	getRanges(OWLDataProperty property)
java.util.Set<OWLDescription>	getRanges(OWLObjectProperty property)
java.util.Set<OWLIndividual>	getRelatedIndividuals(OWLIndividual subject, OWLObjectPropertyExpression property)
java.util.Set<OWLConstant>	getRelatedValues(OWLIndividual subject, OWLDataPropertyExpression property)
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<OWLDataProperty>>	getSubProperties(OWLDataProperty property)
java.util.Set<java.util.Set<OWLObjectProperty>>	getSubProperties(OWLObjectProperty property)
java.util.Set<java.util.Set<OWLClass>>	getSuperClasses(OWLDescription clsC) Returns the collection of (named) most specific superclasses of the given description.
java.util.Set<java.util.Set<OWLDataProperty>>	getSuperProperties(OWLDataProperty property)
java.util.Set<java.util.Set<OWLObjectProperty>>	getSuperProperties(OWLObjectProperty property)
java.util.Set<java.util.Set<OWLClass>>	getTypes(OWLIndividual individual, boolean direct)
boolean	hasDataPropertyRelationship(OWLIndividual subject, OWLDataPropertyExpression property, OWLConstant object)
boolean	hasObjectPropertyRelationship(OWLIndividual subject, OWLObjectPropertyExpression property, OWLIndividual object)
boolean	hasType(OWLIndividual individual, OWLDescription type, boolean direct)
boolean	isAntiSymmetric(OWLObjectProperty property)
boolean	isClassified() Determines if the reasoner has classified the ontology.
boolean	isConsistent(OWLOntology ontology) Checks to see if the ontology that have been loaded into the reasoner are consistent in combination.
boolean	isDefined(OWLClass cls) Determines if the specified class is defined in the reasoner.
boolean	isDefined(OWLDataProperty prop) Determines if the specified property is defined in the reasoner.
boolean	isDefined(OWLIndividual ind) Determines if the specified individual is defined in the reasoner.
boolean	isDefined(OWLObjectProperty prop) Determines if the specified property is defined in the reasoner.
boolean	isEquivalentClass(OWLDescription clsC, OWLDescription clsD) Checks whether the first class is equivalent to the second class
boolean	isFunctional(OWLDataProperty property)
boolean	isFunctional(OWLObjectProperty property)
boolean	isInverseFunctional(OWLObjectProperty property)
boolean	isIrreflexive(OWLObjectProperty property)
boolean	isRealised() Determines if the types of individuals have been computed by this reasoner (if supported).
boolean	isReflexive(OWLObjectProperty property)
boolean	isSatisfiable(OWLDescription description) Determines if the specified class is satisfiable.
boolean	isSilentUndefinedEntityHandlingEnabled() Determines if undefined entities are handled silently.
boolean	isSubClassOf(OWLDescription clsC, OWLDescription clsD) Checks whether the first class is a subclass of the second class
boolean	isSymmetric(OWLObjectProperty property)
boolean	isTransitive(OWLObjectProperty property)
boolean	isUndefinedClassesSatisfiable() If an isSatisfiable ask is performed on an undefined class then the return value of this method will be equal to the return value of the asks request.
void	loadOntologies(java.util.Set<OWLOntology> ontologies) Loads the specified ontologies.
void	realise() Asks the reasoner to compute the types of individuals (if supported).
void	setSilentUndefinedEntityHandling(boolean silentUndefinedEntityHandling) Sets the undefined entity handling behaviour.
void	setUndefinedClassesSatisfiable(boolean b)
java.lang.String	toString()
void	unloadOntologies(java.util.Set<OWLOntology> ontologies) Unloads the specified ontologies from this reasoner.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

SILENT_UNDEFINED_ENTITY_HANDLING_DEFAULT_VALUE

public static final boolean SILENT_UNDEFINED_ENTITY_HANDLING_DEFAULT_VALUE

See Also:

Constant Field Values

Constructor Detail

OWLReasonerMediator

public OWLReasonerMediator(OWLReasoner kernel)

Method Detail

getKernel

public OWLReasoner getKernel()

Gets the real reasoner that this mediator wraps

isSilentUndefinedEntityHandlingEnabled

public boolean isSilentUndefinedEntityHandlingEnabled()

Determines if undefined entities are handled silently. An undefined entity is a class, property or individual which the reasoner does not know about. If asks are performed on undefined entities then there are two possibilities: 1) An UndefinedEntityException is thrown, or 2) The undefined entity is handled silently and a "null" response is returned.

Generally speaking, if silent undefined entity handling is enabled then all asks operations which return Sets and Maps will return empty Sets and empty Maps if the asks request references an undefined entity. For example, if getSubClasses asks for the subclasses of an undefined entity then an empty Set will be returned. Most methods which have boolean return values will return false, for example isType will return false if the individual is undefined, or the class description which is the type references an undefined entity. The exception to this is the isSatisfiable asks request which will return the value set by setUndefinedClassesSatisfiable.

Returns:

true if silent undefined entity handling is enabled, otherwise false. If undefined entity handling is not enabled then asks requests that reference undefined entities will most likely throw UndefinedEntityExceptions.

setSilentUndefinedEntityHandling

public void setSilentUndefinedEntityHandling(boolean silentUndefinedEntityHandling)

Sets the undefined entity handling behaviour.

Parameters:

silentUndefinedEntityHandling - true if undefined entities should be handled silently, otherwise false.

isUndefinedClassesSatisfiable

public boolean isUndefinedClassesSatisfiable()

If an isSatisfiable ask is performed on an undefined class then the return value of this method will be equal to the return value of the asks request.

Returns:

true if undefined classes should be regarded as being satisfiable, false if undefined classes should be regarded as being unsatisfiable.

setUndefinedClassesSatisfiable

public void setUndefinedClassesSatisfiable(boolean b)

checkDefined

public boolean checkDefined(OWLDescription description)
                     throws OWLReasonerException

Throws:

OWLReasonerException

checkDefined

public boolean checkDefined(OWLObjectPropertyExpression prop)
                     throws OWLReasonerException

Throws:

OWLReasonerException

checkDefined

public boolean checkDefined(OWLDataPropertyExpression prop)
                     throws OWLReasonerException

Throws:

OWLReasonerException

checkDefined

public boolean checkDefined(OWLIndividual individual)
                     throws OWLReasonerException

Throws:

OWLReasonerException

isConsistent

public boolean isConsistent(OWLOntology ontology)
                     throws OWLReasonerException

Description copied from interface: OWLConsistencyChecker

Checks to see if the ontology that have been loaded into the reasoner are consistent in combination.

Specified by:

isConsistent in interface OWLConsistencyChecker

Parameters:

ontology - Implementations should ignore this parameter. It is here for legacy reasons.

Returns:

true if the loaded ontologies in combination are consistent, or false if the loaded ontologies in combination are not consistent.

Throws:

OWLReasonerException

loadOntologies

public void loadOntologies(java.util.Set<OWLOntology> ontologies)
                    throws OWLReasonerException

Description copied from interface: OWLReasonerBase

Loads the specified ontologies. The reasoner will then take into consideration the logical axioms in each ontology. Note that this methods does not load any ontologies in the imports closure - all imports must be loaded explicitly.

Specified by:

loadOntologies in interface OWLReasonerBase

Parameters:

ontologies - The ontolgies to be loaded.

Throws:

OWLReasonerException

isClassified

public boolean isClassified()
                     throws OWLReasonerException

Description copied from interface: OWLReasonerBase

Determines if the reasoner has classified the ontology.

Specified by:

isClassified in interface OWLReasonerBase

Returns:

true if the ontology has been classified, or false if the ontology has not been classified.

Throws:

OWLReasonerException

classify

public void classify()
              throws OWLReasonerException

Description copied from interface: OWLReasonerBase

Asks the reasoner to classify the ontology. If the ontology has been classified then this method may not have any effect.

Specified by:

classify in interface OWLReasonerBase

Throws:

OWLReasonerException

isRealised

public boolean isRealised()
                   throws OWLReasonerException

Description copied from interface: OWLReasonerBase

Determines if the types of individuals have been computed by this reasoner (if supported).

Specified by:

isRealised in interface OWLReasonerBase

Returns:

true is the types of individuals have been computed, otherwise false.

Throws:

OWLReasonerException

realise

public void realise()
             throws OWLReasonerException

Description copied from interface: OWLReasonerBase

Asks the reasoner to compute the types of individuals (if supported). If realisation is not supported then this method will have no effect.

Specified by:

realise in interface OWLReasonerBase

Throws:

OWLReasonerException

isDefined

public boolean isDefined(OWLClass cls)
                  throws OWLReasonerException

Description copied from interface: OWLReasonerBase

Determines if the specified class is defined in the reasoner. If a class is defined then the reasoner "knows" about it, if a class is not defined then the reasoner doesn't know about it.

Specified by:

isDefined in interface OWLReasonerBase

Parameters:

cls - The class to check for.

Returns:

true if the class is defined in the reasoner, or false if the class is not defined in the reasoner.

Throws:

OWLReasonerException

isDefined

public boolean isDefined(OWLObjectProperty prop)
                  throws OWLReasonerException

Description copied from interface: OWLReasonerBase

Determines if the specified property is defined in the reasoner. If a property is defined then the reasoner "knows" about it, if a property is not defined then the reasoner doesn't know about it.

Specified by:

isDefined in interface OWLReasonerBase

Parameters:

prop - The property to check for.

Returns:

true if the property is defined in the reasoner, or false if the property is not defined in the reasoner.

Throws:

OWLReasonerException

isDefined

public boolean isDefined(OWLDataProperty prop)
                  throws OWLReasonerException

Description copied from interface: OWLReasonerBase

Determines if the specified property is defined in the reasoner. If a property is defined then the reasoner "knows" about it, if a property is not defined then the reasoner doesn't know about it.

Specified by:

isDefined in interface OWLReasonerBase

Parameters:

prop - The property to check for.

Returns:

true if the property is defined in the reasoner, or false if the property is not defined in the reasoner.

Throws:

OWLReasonerException

isDefined

public boolean isDefined(OWLIndividual ind)
                  throws OWLReasonerException

Description copied from interface: OWLReasonerBase

Determines if the specified individual is defined in the reasoner. If an individual is defined then the reasoner "knows" about it, if a individual is not defined then the reasoner doesn't know about it.

Specified by:

isDefined in interface OWLReasonerBase

Parameters:

ind - The individual to check for.

Returns:

true if the individual is defined in the reasoner, or false if the individual is not defined in the reasoner.

Throws:

OWLReasonerException

getLoadedOntologies

public java.util.Set<OWLOntology> getLoadedOntologies()

Description copied from interface: OWLReasonerBase

Gets the ontologies that have been loaded into this reasoner.

Specified by:

getLoadedOntologies in interface OWLReasonerBase

unloadOntologies

public void unloadOntologies(java.util.Set<OWLOntology> ontologies)
                      throws OWLReasonerException

Description copied from interface: OWLReasonerBase

Unloads the specified ontologies from this reasoner.

Specified by:

unloadOntologies in interface OWLReasonerBase

Parameters:

ontologies - The ontologies to be unloaded.

Throws:

OWLReasonerException

clearOntologies

public void clearOntologies()
                     throws OWLReasonerException

Description copied from interface: OWLReasonerBase

Clears the reasoner. All loaded ontologies will be unloaded.

Specified by:

clearOntologies in interface OWLReasonerBase

Throws:

OWLReasonerException

dispose

public void dispose()
             throws OWLReasonerException

Description copied from interface: OWLReasonerBase

Disposes of and cleans up any resources used by this reasoner.

Specified by:

dispose in interface OWLReasonerBase

Throws:

OWLReasonerException

isSubClassOf

public boolean isSubClassOf(OWLDescription clsC,
                            OWLDescription clsD)
                     throws OWLReasonerException

Description copied from interface: OWLClassReasoner

Checks whether the first class is a subclass of the second class

Specified by:

isSubClassOf in interface OWLClassReasoner

Returns:

true if the first class is a subclass of the second class

Throws:

OWLReasonerException

isEquivalentClass

public boolean isEquivalentClass(OWLDescription clsC,
                                 OWLDescription clsD)
                          throws OWLReasonerException

Description copied from interface: OWLClassReasoner

Checks whether the first class is equivalent to the second class

Specified by:

isEquivalentClass in interface OWLClassReasoner

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

public java.util.Set<java.util.Set<OWLClass>> getSuperClasses(OWLDescription clsC)
                                                       throws OWLReasonerException

Description copied from interface: OWLClassReasoner

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.

Specified by:

getSuperClasses in interface OWLClassReasoner

Throws:

OWLReasonerException

getAncestorClasses

public java.util.Set<java.util.Set<OWLClass>> getAncestorClasses(OWLDescription clsC)
                                                          throws OWLReasonerException

Description copied from interface: OWLClassReasoner

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.

Specified by:

getAncestorClasses in interface OWLClassReasoner

Throws:

OWLReasonerException

getSubClasses

public java.util.Set<java.util.Set<OWLClass>> getSubClasses(OWLDescription clsC)
                                                     throws OWLReasonerException

Description copied from interface: OWLClassReasoner

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.

Specified by:

getSubClasses in interface OWLClassReasoner

Throws:

OWLReasonerException

getDescendantClasses

public java.util.Set<java.util.Set<OWLClass>> getDescendantClasses(OWLDescription clsC)
                                                            throws OWLReasonerException

Description copied from interface: OWLClassReasoner

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.

Specified by:

getDescendantClasses in interface OWLClassReasoner

Throws:

OWLReasonerException

getEquivalentClasses

public java.util.Set<OWLClass> getEquivalentClasses(OWLDescription clsC)
                                             throws OWLReasonerException

Description copied from interface: OWLClassReasoner

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

Specified by:

getEquivalentClasses in interface OWLClassReasoner

Throws:

OWLReasonerException

getInconsistentClasses

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

Description copied from interface: OWLClassReasoner

A convenience methods for obtaining all classes which are inconsistent.

Specified by:

getInconsistentClasses in interface OWLClassReasoner

Returns:

A set of classes which are inconsistent.

Throws:

OWLReasonerException

isSatisfiable

public boolean isSatisfiable(OWLDescription description)
                      throws OWLReasonerException

Description copied from interface: OWLSatisfiabilityChecker

Determines if the specified class is satisfiable.

Specified by:

isSatisfiable in interface OWLSatisfiabilityChecker

Throws:

OWLReasonerException

getTypes

public java.util.Set<java.util.Set<OWLClass>> getTypes(OWLIndividual individual,
                                                       boolean direct)
                                                throws OWLReasonerException

Specified by:

getTypes in interface OWLIndividualReasoner

Throws:

OWLReasonerException

getIndividuals

public java.util.Set<OWLIndividual> getIndividuals(OWLDescription clsC,
                                                   boolean direct)
                                            throws OWLReasonerException

Specified by:

getIndividuals in interface OWLIndividualReasoner

Throws:

OWLReasonerException

getObjectPropertyRelationships

public java.util.Map<OWLObjectProperty,java.util.Set<OWLIndividual>> getObjectPropertyRelationships(OWLIndividual individual)
                                                                                             throws OWLReasonerException

Specified by:

getObjectPropertyRelationships in interface OWLIndividualReasoner

Throws:

OWLReasonerException

getDataPropertyRelationships

public java.util.Map<OWLDataProperty,java.util.Set<OWLConstant>> getDataPropertyRelationships(OWLIndividual individual)
                                                                                       throws OWLReasonerException

Specified by:

getDataPropertyRelationships in interface OWLIndividualReasoner

Throws:

OWLReasonerException

hasType

public boolean hasType(OWLIndividual individual,
                       OWLDescription type,
                       boolean direct)
                throws OWLReasonerException

Specified by:

hasType in interface OWLIndividualReasoner

Throws:

OWLReasonerException

hasObjectPropertyRelationship

public boolean hasObjectPropertyRelationship(OWLIndividual subject,
                                             OWLObjectPropertyExpression property,
                                             OWLIndividual object)
                                      throws OWLReasonerException

Specified by:

hasObjectPropertyRelationship in interface OWLIndividualReasoner

Throws:

OWLReasonerException

hasDataPropertyRelationship

public boolean hasDataPropertyRelationship(OWLIndividual subject,
                                           OWLDataPropertyExpression property,
                                           OWLConstant object)
                                    throws OWLReasonerException

Specified by:

hasDataPropertyRelationship in interface OWLIndividualReasoner

Throws:

OWLReasonerException

getRelatedIndividuals

public java.util.Set<OWLIndividual> getRelatedIndividuals(OWLIndividual subject,
                                                          OWLObjectPropertyExpression property)
                                                   throws OWLReasonerException

Specified by:

getRelatedIndividuals in interface OWLIndividualReasoner

Throws:

OWLReasonerException

getRelatedValues

public java.util.Set<OWLConstant> getRelatedValues(OWLIndividual subject,
                                                   OWLDataPropertyExpression property)
                                            throws OWLReasonerException

Specified by:

getRelatedValues in interface OWLIndividualReasoner

Throws:

OWLReasonerException

getSuperProperties

public java.util.Set<java.util.Set<OWLObjectProperty>> getSuperProperties(OWLObjectProperty property)
                                                                   throws OWLReasonerException

Specified by:

getSuperProperties in interface OWLPropertyReasoner

Throws:

OWLReasonerException

getSubProperties

public java.util.Set<java.util.Set<OWLObjectProperty>> getSubProperties(OWLObjectProperty property)
                                                                 throws OWLReasonerException

Specified by:

getSubProperties in interface OWLPropertyReasoner

Throws:

OWLReasonerException

getAncestorProperties

public java.util.Set<java.util.Set<OWLObjectProperty>> getAncestorProperties(OWLObjectProperty property)
                                                                      throws OWLReasonerException

Specified by:

getAncestorProperties in interface OWLPropertyReasoner

Throws:

OWLReasonerException

getDescendantProperties

public java.util.Set<java.util.Set<OWLObjectProperty>> getDescendantProperties(OWLObjectProperty property)
                                                                        throws OWLReasonerException

Specified by:

getDescendantProperties in interface OWLPropertyReasoner

Throws:

OWLReasonerException

getInverseProperties

public java.util.Set<java.util.Set<OWLObjectProperty>> getInverseProperties(OWLObjectProperty property)
                                                                     throws OWLReasonerException

Specified by:

getInverseProperties in interface OWLPropertyReasoner

Throws:

OWLReasonerException

getEquivalentProperties

public java.util.Set<OWLObjectProperty> getEquivalentProperties(OWLObjectProperty property)
                                                         throws OWLReasonerException

Specified by:

getEquivalentProperties in interface OWLPropertyReasoner

Throws:

OWLReasonerException

getDomains

public java.util.Set<java.util.Set<OWLDescription>> getDomains(OWLObjectProperty property)
                                                        throws OWLReasonerException

Description copied from interface: OWLPropertyReasoner

Gets the domains of a particular property. A domain class, A, of a property, P, is a named class such that A is an ancestor of \exists p Top ("p some Thing").

Specified by:

getDomains in interface OWLPropertyReasoner

Parameters:

property - The property whose domains are to be retrieved.

Returns:

The domains of the property. A set of sets of (named) equivalence classes.

Throws:

OWLReasonerException - If there is a problem with the reasoner.

getRanges

public java.util.Set<OWLDescription> getRanges(OWLObjectProperty property)
                                        throws OWLReasonerException

Specified by:

getRanges in interface OWLPropertyReasoner

Throws:

OWLReasonerException

isFunctional

public boolean isFunctional(OWLObjectProperty property)
                     throws OWLReasonerException

Specified by:

isFunctional in interface OWLPropertyReasoner

Throws:

OWLReasonerException

isInverseFunctional

public boolean isInverseFunctional(OWLObjectProperty property)
                            throws OWLReasonerException

Specified by:

isInverseFunctional in interface OWLPropertyReasoner

Throws:

OWLReasonerException

isSymmetric

public boolean isSymmetric(OWLObjectProperty property)
                    throws OWLReasonerException

Specified by:

isSymmetric in interface OWLPropertyReasoner

Throws:

OWLReasonerException

isTransitive

public boolean isTransitive(OWLObjectProperty property)
                     throws OWLReasonerException

Specified by:

isTransitive in interface OWLPropertyReasoner

Throws:

OWLReasonerException

isReflexive

public boolean isReflexive(OWLObjectProperty property)
                    throws OWLReasonerException

Specified by:

isReflexive in interface OWLPropertyReasoner

Throws:

OWLReasonerException

isIrreflexive

public boolean isIrreflexive(OWLObjectProperty property)
                      throws OWLReasonerException

Specified by:

isIrreflexive in interface OWLPropertyReasoner

Throws:

OWLReasonerException

isAntiSymmetric

public boolean isAntiSymmetric(OWLObjectProperty property)
                        throws OWLReasonerException

Specified by:

isAntiSymmetric in interface OWLPropertyReasoner

Throws:

OWLReasonerException

getSuperProperties

public java.util.Set<java.util.Set<OWLDataProperty>> getSuperProperties(OWLDataProperty property)
                                                                 throws OWLReasonerException

Specified by:

getSuperProperties in interface OWLPropertyReasoner

Throws:

OWLReasonerException

getSubProperties

public java.util.Set<java.util.Set<OWLDataProperty>> getSubProperties(OWLDataProperty property)
                                                               throws OWLReasonerException

Specified by:

getSubProperties in interface OWLPropertyReasoner

Throws:

OWLReasonerException

getAncestorProperties

public java.util.Set<java.util.Set<OWLDataProperty>> getAncestorProperties(OWLDataProperty property)
                                                                    throws OWLReasonerException

Specified by:

getAncestorProperties in interface OWLPropertyReasoner

Throws:

OWLReasonerException

getDescendantProperties

public java.util.Set<java.util.Set<OWLDataProperty>> getDescendantProperties(OWLDataProperty property)
                                                                      throws OWLReasonerException

Specified by:

getDescendantProperties in interface OWLPropertyReasoner

Throws:

OWLReasonerException

getEquivalentProperties

public java.util.Set<OWLDataProperty> getEquivalentProperties(OWLDataProperty property)
                                                       throws OWLReasonerException

Specified by:

getEquivalentProperties in interface OWLPropertyReasoner

Throws:

OWLReasonerException

getDomains

public java.util.Set<java.util.Set<OWLDescription>> getDomains(OWLDataProperty property)
                                                        throws OWLReasonerException

Specified by:

getDomains in interface OWLPropertyReasoner

Throws:

OWLReasonerException

getRanges

public java.util.Set<OWLDataRange> getRanges(OWLDataProperty property)
                                      throws OWLReasonerException

Specified by:

getRanges in interface OWLPropertyReasoner

Throws:

OWLReasonerException

isFunctional

public boolean isFunctional(OWLDataProperty property)
                     throws OWLReasonerException

Specified by:

isFunctional in interface OWLPropertyReasoner

Throws:

OWLReasonerException

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object