uk.ac.manchester.cs.owl
Class OWLObjectPropertyInverseImpl

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

All Implemented Interfaces:

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

public class OWLObjectPropertyInverseImpl
extends OWLObjectPropertyExpressionImpl
implements OWLObjectPropertyInverse

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

Constructor Summary

OWLObjectPropertyInverseImpl(OWLDataFactory dataFactory, OWLObjectPropertyExpression inverseProperty)

Method Summary

void	accept(OWLObjectVisitor visitor)
<O> O	accept(OWLObjectVisitorEx<O> visitor)
void	accept(OWLPropertyExpressionVisitor visitor)
<O> O	accept(OWLPropertyExpressionVisitorEx<O> visitor)
OWLObjectProperty	asOWLObjectProperty() If the property is a named object property then this method will obtain the property as such.
boolean	equals(java.lang.Object obj)
OWLObjectPropertyExpression	getInverse() Gets the property expression that this is the inverse of.
boolean	isAnonymous() Determines if this property expression is anonymous.

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

getInverseProperty, getInverses, getInverses, getNamedProperty, getSimplified, isAntiSymmetric, isAntiSymmetric, isAsymmetric, isAsymmetric, isFunctional, isFunctional, isInverseFunctional, isInverseFunctional, isIrreflexive, isIrreflexive, isReflexive, isReflexive, isSymmetric, isSymmetric, isTransitive, isTransitive

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

getInverseProperty, getInverses, getInverses, getNamedProperty, getSimplified, isAntiSymmetric, isAntiSymmetric, isAsymmetric, isAsymmetric, isInverseFunctional, isInverseFunctional, isIrreflexive, isIrreflexive, isReflexive, isReflexive, isSymmetric, isSymmetric, isTransitive, isTransitive

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

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

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

getSignature

Methods inherited from interface java.lang.Comparable

compareTo

Constructor Detail

OWLObjectPropertyInverseImpl

public OWLObjectPropertyInverseImpl(OWLDataFactory dataFactory,
                                    OWLObjectPropertyExpression inverseProperty)

Method Detail

getInverse

public OWLObjectPropertyExpression getInverse()

Description copied from interface: OWLObjectPropertyInverse

Gets the property expression that this is the inverse of.

Specified by:

getInverse in interface OWLObjectPropertyInverse

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class OWLObjectPropertyExpressionImpl

accept

public void accept(OWLPropertyExpressionVisitor visitor)

Specified by:

accept in interface OWLPropertyExpression<OWLObjectPropertyExpression,OWLDescription>

accept

public void accept(OWLObjectVisitor visitor)

Specified by:

accept in interface OWLObject

accept

public <O> O accept(OWLPropertyExpressionVisitorEx<O> visitor)

Specified by:

accept in interface OWLPropertyExpression<OWLObjectPropertyExpression,OWLDescription>

accept

public <O> O accept(OWLObjectVisitorEx<O> visitor)

Specified by:

accept in interface OWLObject

isAnonymous

public boolean isAnonymous()

Description copied from interface: OWLPropertyExpression

Determines if this property expression is anonymous.

Specified by:

isAnonymous in interface OWLPropertyExpression<OWLObjectPropertyExpression,OWLDescription>

Returns:

true if the property expression is anonymous (because it is the inverse of a property). false if this property is a named object property or named data property.

asOWLObjectProperty

public OWLObjectProperty asOWLObjectProperty()

Description copied from interface: OWLObjectPropertyExpression

If the property is a named object property then this method will obtain the property as such. The general pattern of use is that the isAnonymous method should first be used to determine if the property is named (i.e. not an object property expression such as inv(p)). If the property is named then this method may be used to obtain the property as a named property without casting.

Specified by:

asOWLObjectProperty in interface OWLObjectPropertyExpression

Returns:

The property as an OWLObjectProperty if possible.