uk.ac.manchester.cs.owl.owlapi
Class OWLObjectPropertyExpressionImpl

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

All Implemented Interfaces:

java.lang.Comparable<OWLObject>, OWLObject, OWLObjectPropertyExpression, OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>, SWRLPredicate

Direct Known Subclasses:

OWLObjectInverseOfImpl, OWLObjectPropertyImpl

public abstract class OWLObjectPropertyExpressionImpl
extends OWLPropertyExpressionImpl<OWLClassExpression,OWLObjectPropertyExpression>
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)
protected java.util.Set<? extends OWLNaryPropertyAxiom<OWLObjectPropertyExpression>>	getDisjointPropertiesAxioms(OWLOntology ontology)
protected java.util.Set<? extends OWLPropertyDomainAxiom>	getDomainAxioms(OWLOntology ontology)
protected java.util.Set<? extends OWLNaryPropertyAxiom<OWLObjectPropertyExpression>>	getEquivalentPropertiesAxioms(OWLOntology ontology)
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.
protected java.util.Set<? extends OWLPropertyRangeAxiom<OWLObjectPropertyExpression,OWLClassExpression>>	getRangeAxioms(OWLOntology ontology)
OWLObjectPropertyExpression	getSimplified() Returns this property in its simplified form.
protected java.util.Set<? extends OWLSubPropertyAxiom<OWLObjectPropertyExpression>>	getSubPropertyAxioms(OWLOntology ontology)
boolean	isAsymmetric(OWLOntology ontology)
boolean	isAsymmetric(java.util.Set<OWLOntology> ontologies)
boolean	isDataPropertyExpression()
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	isObjectPropertyExpression()
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.owlapi.OWLPropertyExpressionImpl

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

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

compareObjectOfSameType, compareSets, compareTo, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, isBottomEntity, isTopEntity, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

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

asOWLObjectProperty

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

accept, accept, getDisjointProperties, getDisjointProperties, getDomains, getDomains, getEquivalentProperties, getEquivalentProperties, getRanges, getRanges, getSubProperties, getSubProperties, getSuperProperties, getSuperProperties, isAnonymous, isOWLBottomDataProperty, isOWLBottomObjectProperty, isOWLTopDataProperty, isOWLTopObjectProperty

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

accept, accept, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity

Methods inherited from interface java.lang.Comparable

compareTo

Constructor Detail

OWLObjectPropertyExpressionImpl

public OWLObjectPropertyExpressionImpl(OWLDataFactory dataFactory)

Method Detail

getDomainAxioms

protected java.util.Set<? extends OWLPropertyDomainAxiom> getDomainAxioms(OWLOntology ontology)

Specified by:

getDomainAxioms in class OWLPropertyExpressionImpl<OWLClassExpression,OWLObjectPropertyExpression>

isObjectPropertyExpression

public boolean isObjectPropertyExpression()

Specified by:

isObjectPropertyExpression in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

isDataPropertyExpression

public boolean isDataPropertyExpression()

Specified by:

isDataPropertyExpression in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

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<OWLClassExpression,OWLObjectPropertyExpression>

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<OWLClassExpression,OWLObjectPropertyExpression>

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

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

getRangeAxioms

protected java.util.Set<? extends OWLPropertyRangeAxiom<OWLObjectPropertyExpression,OWLClassExpression>> getRangeAxioms(OWLOntology ontology)

Specified by:

getRangeAxioms in class OWLPropertyExpressionImpl<OWLClassExpression,OWLObjectPropertyExpression>

getSubPropertyAxioms

protected java.util.Set<? extends OWLSubPropertyAxiom<OWLObjectPropertyExpression>> getSubPropertyAxioms(OWLOntology ontology)

Specified by:

getSubPropertyAxioms in class OWLPropertyExpressionImpl<OWLClassExpression,OWLObjectPropertyExpression>

getEquivalentPropertiesAxioms

protected java.util.Set<? extends OWLNaryPropertyAxiom<OWLObjectPropertyExpression>> getEquivalentPropertiesAxioms(OWLOntology ontology)

Specified by:

getEquivalentPropertiesAxioms in class OWLPropertyExpressionImpl<OWLClassExpression,OWLObjectPropertyExpression>

getDisjointPropertiesAxioms

protected java.util.Set<? extends OWLNaryPropertyAxiom<OWLObjectPropertyExpression>> getDisjointPropertiesAxioms(OWLOntology ontology)

Specified by:

getDisjointPropertiesAxioms in class OWLPropertyExpressionImpl<OWLClassExpression,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<OWLClassExpression,OWLObjectPropertyExpression>

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.