it.unibz.inf.ontop.spec.ontology

Interface ObjectPropertyExpression

All Superinterfaces:

Description, DescriptionBT

All Known Implementing Classes:

ObjectPropertyExpressionImpl

public interface ObjectPropertyExpression
extends DescriptionBT

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

Author:

Roman Kontchakov

Method Summary

Modifier and Type	Method and Description
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
boolean	isInverse() checks whether the property expression is the inverse of an object property

Methods inherited from interface it.unibz.inf.ontop.spec.ontology.DescriptionBT

isBottom, isTop

Method Detail

isInverse

boolean isInverse()

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

Returns:

true if the property is the inverse (false otherwise)

getIRI

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

the IRI of the object property

getInverse

ObjectPropertyExpression getInverse()

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)

Returns:

getDomain

ObjectSomeValuesFrom getDomain()

the domain class expression for the object property

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

Returns:

class expression for the domain

getRange

ObjectSomeValuesFrom getRange()

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)

Returns:

class expression for the range