it.unibz.inf.ontop.spec.ontology

Interface ObjectPropertyAssertion

All Superinterfaces:

Assertion

All Known Implementing Classes:

ObjectPropertyAssertionImpl

public interface ObjectPropertyAssertion
extends Assertion

Represents ObjectPropertyAssertion from the OWL 2 QL Specification ObjectPropertyAssertion := 'ObjectPropertyAssertion' '(' axiomAnnotations ObjectPropertyExpression sourceIndividual targetIndividual ')' 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
ObjectConstant	getObject()
ObjectPropertyExpression	getProperty()
ObjectConstant	getSubject()

Method Detail

getProperty

ObjectPropertyExpression getProperty()

getSubject

ObjectConstant getSubject()

getObject

ObjectConstant getObject()