it.unibz.inf.ontop.spec.ontology.impl

Class ObjectPropertyExpressionImpl

java.lang.Object

it.unibz.inf.ontop.spec.ontology.impl.ObjectPropertyExpressionImpl

All Implemented Interfaces:

Description, DescriptionBT, ObjectPropertyExpression

public class ObjectPropertyExpressionImpl
extends Object
implements ObjectPropertyExpression

Represents ObjectPropertyExpression from the OWL 2 QL Specification ObjectPropertyExpression := ObjectProperty | InverseObjectProperty InverseObjectProperty := 'ObjectInverseOf' '(' ObjectProperty ')' Support for owl:topObjectProperty and owl:bottomObjectProperty - the inverses of the two coincide with themselves (rule [R6])

Author:

Roman Kontchakov

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
ObjectSomeValuesFrom	getDomain() the domain class expression for the object property
ObjectPropertyExpression	getInverse() the inverse of the object property
org.apache.commons.rdf.api.IRI	getIRI() the IRI of the object property
ObjectSomeValuesFrom	getRange() the range class expression for the object property
int	hashCode()
boolean	isBottom() checks (syntactically, irrespective of any ontology) whether the class or property expression is equivalent to owl:Nothing/owl:BottomObjectProperty/owl:BottomDataProperty
boolean	isInverse() checks whether the property expression is the inverse of an object property
boolean	isTop() checks (syntactically, irrespective of any ontology) whether the class or property expression is equivalent to owl:Thing/owl:TopObjectProperty/owl:TopDataProperty
String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

isInverse

public boolean isInverse()

Description copied from interface: ObjectPropertyExpression

checks whether the property expression is the inverse of an object property

Specified by:

isInverse in interface ObjectPropertyExpression

Returns:

true if the property is the inverse (false otherwise)

getIRI

public org.apache.commons.rdf.api.IRI getIRI()

Description copied from interface: ObjectPropertyExpression

the IRI of the object property

Specified by:

getIRI in interface ObjectPropertyExpression

getInverse

public ObjectPropertyExpression getInverse()

Description copied from interface: ObjectPropertyExpression

the inverse of the object property

(the inverse of an inverted property is the property itself)

(the inverses of owl:topObjectProperty and owl:bottomObjectProperty are the properties themselves)

Specified by:

getInverse in interface ObjectPropertyExpression

Returns:

getDomain

public ObjectSomeValuesFrom getDomain()

Description copied from interface: ObjectPropertyExpression

the domain class expression for the object property

(in DL, the unqualified existential quantifier \exists R for property R)

Specified by:

getDomain in interface ObjectPropertyExpression

Returns:

class expression for the domain

getRange

public ObjectSomeValuesFrom getRange()

Description copied from interface: ObjectPropertyExpression

the range class expression for the object property

(the range of a property coincides with the domain of its inverse)

(in DL, the unqualified existential quantifier \exists R^- for property R)

Specified by:

getRange in interface ObjectPropertyExpression

Returns:

class expression for the range

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

isBottom

public boolean isBottom()

Description copied from interface: DescriptionBT

checks (syntactically, irrespective of any ontology) whether the class or property expression is equivalent to owl:Nothing/owl:BottomObjectProperty/owl:BottomDataProperty

Specified by:

isBottom in interface DescriptionBT

Returns:

true if the expression is equivalent to the smallest element

isTop

public boolean isTop()

Description copied from interface: DescriptionBT

checks (syntactically, irrespective of any ontology) whether the class or property expression is equivalent to owl:Thing/owl:TopObjectProperty/owl:TopDataProperty

Specified by:

isTop in interface DescriptionBT

Returns:

true if the expression is equivalent to largest element