uk.ac.manchester.cs.owl.owlapi

Class OWLObjectInverseOfImpl

java.lang.Object

uk.ac.manchester.cs.owl.owlapi.OWLObjectImplWithoutEntityAndAnonCaching

uk.ac.manchester.cs.owl.owlapi.OWLPropertyExpressionImpl

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

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

All Implemented Interfaces:

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

public class OWLObjectInverseOfImpl
extends OWLObjectPropertyExpressionImpl
implements OWLObjectInverseOf

Since:

2.0.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

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.

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)
void	addAnonymousIndividualsToSet(Set<OWLAnonymousIndividual> anons)
void	addSignatureEntitiesToSet(Set<OWLEntity> entities)
OWLObjectProperty	asOWLObjectProperty() If the property is a named object property then this method will obtain the property as such.
boolean	equals(Object obj)
OWLObjectProperty	getInverse() Gets the property expression that this is the inverse of.
OWLObjectPropertyExpression	getInverseProperty() Obtains the property that corresponds to the inverse of this property.
OWLObjectProperty	getNamedProperty() Get the named object property used in this property expression.
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

getSimplified, isDataPropertyExpression, isObjectPropertyExpression

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

compareTo, containsEntityInSignature, getAnnotationPropertiesInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

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

getSimplified

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

isDataPropertyExpression, isObjectPropertyExpression

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

getNestedClassExpressions, isBottomEntity, isIndividual, isIRI, isTopEntity, toString

Methods inherited from interface java.lang.Comparable

compareTo

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

getSignature

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

containsEntityInSignature

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

getAnonymousIndividuals

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

getClassesInSignature

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

getObjectPropertiesInSignature

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

getDataPropertiesInSignature

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

getIndividualsInSignature

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

getDatatypesInSignature

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

getAnnotationPropertiesInSignature

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

isAnonymous, isNamed

Property Detail

asOWLObject

public OWLObjectProperty asOWLObjectProperty

Specified by:

asOWLObjectProperty in interface OWLObjectPropertyExpression

Returns:

The property as an OWLObjectProperty if possible.

isOWLTopObject

public boolean isOWLTopObjectProperty

Gets the value of the property oWLTopObjectProperty.

Specified by:

isOWLTopObjectProperty in interface OWLPropertyExpression

Returns:

true if this property is the owl:topObjectProperty otherwise false

isOWLBottomObject

public boolean isOWLBottomObjectProperty

Gets the value of the property oWLBottomObjectProperty.

Specified by:

isOWLBottomObjectProperty in interface OWLPropertyExpression

Returns:

true if this property is the owl:bottomObjectProperty otherwise false

isOWLTopData

public boolean isOWLTopDataProperty

Gets the value of the property oWLTopDataProperty.

Specified by:

isOWLTopDataProperty in interface OWLPropertyExpression

Returns:

true if this property is the owl:topDataProperty otherwise false

isOWLBottomData

public boolean isOWLBottomDataProperty

Gets the value of the property oWLBottomDataProperty.

Specified by:

isOWLBottomDataProperty in interface OWLPropertyExpression

Returns:

true if this property is the owl:bottomDataProperty otherwise false

Constructor Detail

OWLObjectInverseOfImpl

public OWLObjectInverseOfImpl(@Nonnull
                              OWLObjectPropertyExpression inverseProperty)

Parameters:

inverseProperty - property to invert

Method Detail

addSignatureEntitiesToSet

public void addSignatureEntitiesToSet(Set<OWLEntity> entities)

Specified by:

addSignatureEntitiesToSet in interface HasIncrementalSignatureGenerationSupport

Parameters:

entities - entity set where entities will be added

addAnonymousIndividualsToSet

public void addAnonymousIndividualsToSet(Set<OWLAnonymousIndividual> anons)

Specified by:

addAnonymousIndividualsToSet in interface HasIncrementalSignatureGenerationSupport

Parameters:

anons - anonymous individuals set where individuals will be added

getInverseProperty

@Nonnull
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.

getInverse

public OWLObjectProperty 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.

getNamedProperty

@Nonnull
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 PE = inv(P) otherwise PE.

equals

public boolean equals(Object obj)

Overrides:

equals in class OWLObjectPropertyExpressionImpl

accept

public void accept(@Nonnull
                   OWLPropertyExpressionVisitor visitor)

Specified by:

accept in interface OWLPropertyExpression

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

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

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 or isNamed methods 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.

isOWLTopObjectProperty

public boolean isOWLTopObjectProperty()

Gets the value of the property oWLTopObjectProperty.

Specified by:

isOWLTopObjectProperty in interface OWLPropertyExpression

Returns:

true if this property is the owl:topObjectProperty otherwise false

isOWLBottomObjectProperty

public boolean isOWLBottomObjectProperty()

Gets the value of the property oWLBottomObjectProperty.

Specified by:

isOWLBottomObjectProperty in interface OWLPropertyExpression

Returns:

true if this property is the owl:bottomObjectProperty otherwise false

isOWLTopDataProperty

public boolean isOWLTopDataProperty()

Gets the value of the property oWLTopDataProperty.

Specified by:

isOWLTopDataProperty in interface OWLPropertyExpression

Returns:

true if this property is the owl:topDataProperty otherwise false

isOWLBottomDataProperty

public boolean isOWLBottomDataProperty()

Gets the value of the property oWLBottomDataProperty.

Specified by:

isOWLBottomDataProperty in interface OWLPropertyExpression

Returns:

true if this property is the owl:bottomDataProperty otherwise false