uk.ac.manchester.cs.owl
Class OWLObjectPropertyExpressionImpl

java.lang.Object
  uk.ac.manchester.cs.owl.OWLObjectImpl
      uk.ac.manchester.cs.owl.OWLPropertyExpressionImpl<OWLObjectPropertyExpression,OWLDescription>
          uk.ac.manchester.cs.owl.OWLObjectPropertyExpressionImpl

All Implemented Interfaces:

java.lang.Comparable<OWLObject>, OWLObject, OWLObjectPropertyExpression, OWLPropertyExpression<OWLObjectPropertyExpression,OWLDescription>

Direct Known Subclasses:

OWLObjectPropertyImpl, OWLObjectPropertyInverseImpl

public abstract class OWLObjectPropertyExpressionImpl
extends OWLPropertyExpressionImpl<OWLObjectPropertyExpression,OWLDescription>
implements OWLObjectPropertyExpression

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

Constructor Summary

OWLObjectPropertyExpressionImpl(OWLDataFactory dataFactory)

Method Summary

boolean	equals(java.lang.Object obj)
OWLObjectPropertyExpression	getInverseProperty() Obtains the property that corresponds to the inverse of this property.
java.util.Set<OWLObjectPropertyExpression>	getInverses(OWLOntology ontology)
java.util.Set<OWLObjectPropertyExpression>	getInverses(java.util.Set<OWLOntology> ontologies)
OWLObjectProperty	getNamedProperty() Get the named object property used in this property expression.
OWLObjectPropertyExpression	getSimplified() Returns this property in its simplified form.
boolean	isAntiSymmetric(OWLOntology ontology)
boolean	isAntiSymmetric(java.util.Set<OWLOntology> ontologies)
boolean	isAsymmetric(OWLOntology ontology)
boolean	isAsymmetric(java.util.Set<OWLOntology> ontologies)
boolean	isFunctional(OWLOntology ontology) Determines if this property is functional in the specified ontology
boolean	isFunctional(java.util.Set<OWLOntology> ontologies) Determines if the property is functional because there is an axiom in one of the specified ontologies that assert this to be the case.
boolean	isInverseFunctional(OWLOntology ontology) Determines if the specified ontology specifies that this property is inverse functional.
boolean	isInverseFunctional(java.util.Set<OWLOntology> ontologies)
boolean	isIrreflexive(OWLOntology ontology)
boolean	isIrreflexive(java.util.Set<OWLOntology> ontologies)
boolean	isReflexive(OWLOntology ontology)
boolean	isReflexive(java.util.Set<OWLOntology> ontologies)
boolean	isSymmetric(OWLOntology ontology)
boolean	isSymmetric(java.util.Set<OWLOntology> ontologies)
boolean	isTransitive(OWLOntology ontology)
boolean	isTransitive(java.util.Set<OWLOntology> ontologies)

Methods inherited from class uk.ac.manchester.cs.owl.OWLPropertyExpressionImpl

getDisjointProperties, getDisjointProperties, getDomains, getDomains, getEquivalentProperties, getEquivalentProperties, getRanges, getRanges, getSubProperties, getSubProperties, getSuperProperties, getSuperProperties

Methods inherited from class uk.ac.manchester.cs.owl.OWLObjectImpl

compareTo, getOWLDataFactory, getSignature, hashCode, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.semanticweb.owl.model.OWLObjectPropertyExpression

asOWLObjectProperty

Methods inherited from interface org.semanticweb.owl.model.OWLPropertyExpression

accept, accept, getDisjointProperties, getDisjointProperties, getDomains, getDomains, getEquivalentProperties, getEquivalentProperties, getRanges, getRanges, getSubProperties, getSubProperties, getSuperProperties, getSuperProperties, isAnonymous

Methods inherited from interface org.semanticweb.owl.model.OWLObject

accept, accept, getSignature

Methods inherited from interface java.lang.Comparable

compareTo

Constructor Detail

OWLObjectPropertyExpressionImpl

public OWLObjectPropertyExpressionImpl(OWLDataFactory dataFactory)

Method Detail

isFunctional

public boolean isFunctional(OWLOntology ontology)

Description copied from interface: OWLPropertyExpression

Determines if this property is functional in the specified ontology

Specified by:

isFunctional in interface OWLPropertyExpression<OWLObjectPropertyExpression,OWLDescription>

Parameters:

ontology - The ontology to be tested for a functional property axiom.

Returns:

true if the specified ontology contains an axiom stating that the property is functional, other wise false.

isFunctional

public boolean isFunctional(java.util.Set<OWLOntology> ontologies)

Description copied from interface: OWLPropertyExpression

Determines if the property is functional because there is an axiom in one of the specified ontologies that assert this to be the case.

Specified by:

isFunctional in interface OWLPropertyExpression<OWLObjectPropertyExpression,OWLDescription>

Parameters:

ontologies - The ontologies which will be searched for axioms which specify that this property is fuctional.

Returns:

true if the property is functional, or false if the property is not functional.

isInverseFunctional

public boolean isInverseFunctional(OWLOntology ontology)

Description copied from interface: OWLObjectPropertyExpression

Determines if the specified ontology specifies that this property is inverse functional.

Specified by:

isInverseFunctional in interface OWLObjectPropertyExpression

Parameters:

ontology - The ontology to be tested for an inverse functional property axiom.

Returns:

true if the property is inverse functional, or false if the property is not inverse functional.

isInverseFunctional

public boolean isInverseFunctional(java.util.Set<OWLOntology> ontologies)

Specified by:

isInverseFunctional in interface OWLObjectPropertyExpression

isSymmetric

public boolean isSymmetric(OWLOntology ontology)

Specified by:

isSymmetric in interface OWLObjectPropertyExpression

isSymmetric

public boolean isSymmetric(java.util.Set<OWLOntology> ontologies)

Specified by:

isSymmetric in interface OWLObjectPropertyExpression

isAntiSymmetric

public boolean isAntiSymmetric(OWLOntology ontology)

Specified by:

isAntiSymmetric in interface OWLObjectPropertyExpression

isAntiSymmetric

public boolean isAntiSymmetric(java.util.Set<OWLOntology> ontologies)

Specified by:

isAntiSymmetric in interface OWLObjectPropertyExpression

isAsymmetric

public boolean isAsymmetric(OWLOntology ontology)

Specified by:

isAsymmetric in interface OWLObjectPropertyExpression

isAsymmetric

public boolean isAsymmetric(java.util.Set<OWLOntology> ontologies)

Specified by:

isAsymmetric in interface OWLObjectPropertyExpression

isReflexive

public boolean isReflexive(OWLOntology ontology)

Specified by:

isReflexive in interface OWLObjectPropertyExpression

isReflexive

public boolean isReflexive(java.util.Set<OWLOntology> ontologies)

Specified by:

isReflexive in interface OWLObjectPropertyExpression

isIrreflexive

public boolean isIrreflexive(OWLOntology ontology)

Specified by:

isIrreflexive in interface OWLObjectPropertyExpression

isIrreflexive

public boolean isIrreflexive(java.util.Set<OWLOntology> ontologies)

Specified by:

isIrreflexive in interface OWLObjectPropertyExpression

isTransitive

public boolean isTransitive(OWLOntology ontology)

Specified by:

isTransitive in interface OWLObjectPropertyExpression

isTransitive

public boolean isTransitive(java.util.Set<OWLOntology> ontologies)

Specified by:

isTransitive in interface OWLObjectPropertyExpression

getInverses

public java.util.Set<OWLObjectPropertyExpression> getInverses(OWLOntology ontology)

Specified by:

getInverses in interface OWLObjectPropertyExpression

getInverses

public java.util.Set<OWLObjectPropertyExpression> getInverses(java.util.Set<OWLOntology> ontologies)

Specified by:

getInverses in interface OWLObjectPropertyExpression

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class OWLPropertyExpressionImpl<OWLObjectPropertyExpression,OWLDescription>

getSimplified

public OWLObjectPropertyExpression getSimplified()

Description copied from interface: OWLObjectPropertyExpression

Returns this property in its simplified form.

Specified by:

getSimplified in interface OWLObjectPropertyExpression

Returns:

Let p be a property name and PE an object property expression. The simplification, 'simp', is defined as follows: simp(p) = p simp(inv(p)) = inv(p) simp(inv(inv(PE)) = simp(PE)

getInverseProperty

public OWLObjectPropertyExpression getInverseProperty()

Description copied from interface: OWLObjectPropertyExpression

Obtains the property that corresponds to the inverse of this property.

Specified by:

getInverseProperty in interface OWLObjectPropertyExpression

Returns:

The inverse of this property. Note that this property will not necessarily be in the simplest form.

getNamedProperty

public OWLObjectProperty getNamedProperty()

Description copied from interface: OWLObjectPropertyExpression

Get the named object property used in this property expression.

Specified by:

getNamedProperty in interface OWLObjectPropertyExpression

Returns:

P if simp(PE) = inv(P) or P if simp(PE) = P.