uk.ac.manchester.cs.owl.owlapi

Class OWLObjectInverseOfImpl

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

uk.ac.manchester.cs.owl.owlapi.OWLObjectInverseOfImpl

All Implemented Interfaces:

Serializable, Comparable<OWLObject>, HasAnonymousIndividuals, HasClassesInSignature, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasSignature, OWLObject, OWLObjectInverseOf, OWLObjectPropertyExpression, OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>, SWRLPredicate

public class OWLObjectInverseOfImpl
extends OWLObjectPropertyExpressionImpl
implements OWLObjectInverseOf

Author:

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

See Also:

Serialized Form

Property Summary

Type	Property and Description
OWLObjectProperty	asOWLObject If the property is a named object property then this method will obtain the property as such.
boolean	isOWLBottomData Gets the value of the property oWLBottomDataProperty.
boolean	isOWLBottomObject Gets the value of the property oWLBottomObjectProperty.
boolean	isOWLTopData Gets the value of the property oWLTopDataProperty.
boolean	isOWLTopObject Gets the value of the property oWLTopObjectProperty.

Field Summary

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

NO_ANNOTATIONS, OWL_THING

Constructor Summary

Constructors

Constructor and Description
OWLObjectInverseOfImpl(OWLObjectPropertyExpression inverseProperty)

Method Summary

Modifier and Type	Method and Description
void	accept(OWLObjectVisitor visitor) Accepts a visitor
<O> O	accept(OWLObjectVisitorEx<O> visitor) Accepts a 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.
protected int	compareObjectOfSameType(OWLObject object)
boolean	equals(Object obj)
OWLObjectPropertyExpression	getInverse() Gets the property expression that this is the inverse of.
protected Set<? extends OWLSubPropertyAxiom<OWLObjectPropertyExpression>>	getSubPropertyAxiomsForRHS(OWLOntology ont)
boolean	isAnonymous() Determines if this property expression is anonymous.
boolean	isOWLBottomDataProperty() Gets the value of the property oWLBottomDataProperty.
boolean	isOWLBottomObjectProperty() Gets the value of the property oWLBottomObjectProperty.
boolean	isOWLTopDataProperty() Gets the value of the property oWLTopDataProperty.
boolean	isOWLTopObjectProperty() Gets the value of the property oWLTopObjectProperty.

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

getDisjointPropertiesAxioms, getDomainAxioms, getEquivalentPropertiesAxioms, getInverseProperty, getInverses, getInverses, getNamedProperty, getRangeAxioms, getSimplified, getSubPropertyAxioms, isAsymmetric, isAsymmetric, isDataPropertyExpression, isFunctional, isFunctional, isInverseFunctional, isInverseFunctional, isIrreflexive, isIrreflexive, isObjectPropertyExpression, isReflexive, isReflexive, isSymmetric, isSymmetric, isTransitive, isTransitive

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

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

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

compareLists, compareSets, compareTo, containsEntityInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, 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

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

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

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

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

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

Methods inherited from interface java.lang.Comparable

compareTo

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

containsEntityInSignature

Property Detail

asOWLObject

public OWLObjectProperty asOWLObjectProperty

Specified by:

asOWLObjectProperty in interface OWLObjectPropertyExpression

isOWLTopObject

public boolean isOWLTopObjectProperty

Gets the value of the property oWLTopObjectProperty.

Specified by:

isOWLTopObjectProperty in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

isOWLBottomObject

public boolean isOWLBottomObjectProperty

Gets the value of the property oWLBottomObjectProperty.

Specified by:

isOWLBottomObjectProperty in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

isOWLTopData

public boolean isOWLTopDataProperty

Gets the value of the property oWLTopDataProperty.

Specified by:

isOWLTopDataProperty in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

isOWLBottomData

public boolean isOWLBottomDataProperty

Gets the value of the property oWLBottomDataProperty.

Specified by:

isOWLBottomDataProperty in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

Constructor Detail

OWLObjectInverseOfImpl

public OWLObjectInverseOfImpl(OWLObjectPropertyExpression inverseProperty)

Parameters:

inverseProperty - property to invert

Method Detail

getInverse

public OWLObjectPropertyExpression getInverse()

Description copied from interface: OWLObjectInverseOf

Gets the property expression that this is the inverse of.

Specified by:

getInverse in interface OWLObjectInverseOf

Returns:

The object property expression such that this object property expression is an inverse of it.

equals

public boolean equals(Object obj)

Overrides:

equals in class OWLObjectPropertyExpressionImpl

getSubPropertyAxiomsForRHS

protected Set<? extends OWLSubPropertyAxiom<OWLObjectPropertyExpression>> getSubPropertyAxiomsForRHS(OWLOntology ont)

Specified by:

getSubPropertyAxiomsForRHS in class OWLPropertyExpressionImpl<OWLClassExpression,OWLObjectPropertyExpression>

accept

public void accept(OWLPropertyExpressionVisitor visitor)

Specified by:

accept in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

Parameters:

visitor - visitor to accept

accept

public void accept(OWLObjectVisitor visitor)

Description copied from interface: OWLObject

Accepts a visitor

Specified by:

accept in interface OWLObject

Parameters:

visitor - The visitor

accept

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

Specified by:

accept in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

Type Parameters:

O - visitor return type

Parameters:

visitor - visitor to accept

Returns:

visitor value

accept

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

Description copied from interface: OWLObject

Accepts a visitor

Specified by:

accept in interface OWLObject

Type Parameters:

O - visitor return type

Parameters:

visitor - The visitor

Returns:

visitor value

isAnonymous

public boolean isAnonymous()

Description copied from interface: OWLPropertyExpression

Determines if this property expression is anonymous.

Specified by:

isAnonymous in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

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

compareObjectOfSameType

protected int compareObjectOfSameType(OWLObject object)

Specified by:

compareObjectOfSameType in class OWLObjectImpl

isOWLTopObjectProperty

public boolean isOWLTopObjectProperty()

Gets the value of the property oWLTopObjectProperty.

Specified by:

isOWLTopObjectProperty in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

isOWLBottomObjectProperty

public boolean isOWLBottomObjectProperty()

Gets the value of the property oWLBottomObjectProperty.

Specified by:

isOWLBottomObjectProperty in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

isOWLTopDataProperty

public boolean isOWLTopDataProperty()

Gets the value of the property oWLTopDataProperty.

Specified by:

isOWLTopDataProperty in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

isOWLBottomDataProperty

public boolean isOWLBottomDataProperty()

Gets the value of the property oWLBottomDataProperty.

Specified by:

isOWLBottomDataProperty in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>