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

Properties

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 Determines if this is the owl:bottomDataProperty.
boolean	isOWLBottomObject Determines if this is the owl:bottomObjectProperty.
boolean	isOWLTopData Determines if this is the owl:topDataProperty.
boolean	isOWLTopObject Determines if this is the owl:topObjectProperty.

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

Methods

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() Determines if this is the owl:bottomDataProperty.
boolean	isOWLBottomObjectProperty() Determines if this is the owl:bottomObjectProperty.
boolean	isOWLTopDataProperty() Determines if this is the owl:topDataProperty.
boolean	isOWLTopObjectProperty() Determines if this is the owl:topObjectProperty.

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

Property Detail

asOWLObject

Specified by:

asOWLObjectProperty in interface OWLObjectPropertyExpression

Returns:

The property as an OWLObjectProperty if possible.

isOWLTopObject

Specified by:

isOWLTopObjectProperty in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

Returns:

true if this property is the owl:topObjectProperty otherwise false

isOWLBottomObject

Specified by:

isOWLBottomObjectProperty in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

Returns:

true if this property is the owl:bottomObjectProperty otherwise false

isOWLTopData

Specified by:

isOWLTopDataProperty in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

Returns:

true if this property is the owl:topDataProperty otherwise false

isOWLBottomData

Specified by:

isOWLBottomDataProperty in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

Returns:

true if this property is the owl:bottomDataProperty otherwise false

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

Returns:

The property as an OWLObjectProperty if possible.

compareObjectOfSameType

protected int compareObjectOfSameType(OWLObject object)

Specified by:

compareObjectOfSameType in class OWLObjectImpl

isOWLTopObjectProperty

public boolean isOWLTopObjectProperty()

Description copied from interface: OWLPropertyExpression

Determines if this is the owl:topObjectProperty.

Specified by:

isOWLTopObjectProperty in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

Returns:

true if this property is the owl:topObjectProperty otherwise false

isOWLBottomObjectProperty

public boolean isOWLBottomObjectProperty()

Description copied from interface: OWLPropertyExpression

Determines if this is the owl:bottomObjectProperty.

Specified by:

isOWLBottomObjectProperty in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

Returns:

true if this property is the owl:bottomObjectProperty otherwise false

isOWLTopDataProperty

public boolean isOWLTopDataProperty()

Description copied from interface: OWLPropertyExpression

Determines if this is the owl:topDataProperty.

Specified by:

isOWLTopDataProperty in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

Returns:

true if this property is the owl:topDataProperty otherwise false

isOWLBottomDataProperty

public boolean isOWLBottomDataProperty()

Description copied from interface: OWLPropertyExpression

Determines if this is the owl:bottomDataProperty.

Specified by:

isOWLBottomDataProperty in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

Returns:

true if this property is the owl:bottomDataProperty otherwise false