Uses of Interface
it.unibz.inf.ontop.spec.ontology.ObjectPropertyAssertion

Packages that use ObjectPropertyAssertion

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

Uses of ObjectPropertyAssertion in it.unibz.inf.ontop.spec.ontology

Methods in it.unibz.inf.ontop.spec.ontology that return ObjectPropertyAssertion

Modifier and Type	Method and Description
ObjectPropertyAssertion	ABoxAssertionSupplier.createObjectPropertyAssertion(String op, ObjectConstant o1, ObjectConstant o2) Creates an object property assertion (ensures that the property is not inverse by swapping arguments if necessary) (implements rule [O4])

Methods in it.unibz.inf.ontop.spec.ontology that return types with arguments of type ObjectPropertyAssertion

Modifier and Type	Method and Description
com.google.common.collect.ImmutableList<ObjectPropertyAssertion>	OntologyABox.getObjectPropertyAssertions()

Uses of ObjectPropertyAssertion in it.unibz.inf.ontop.spec.ontology.impl

Classes in it.unibz.inf.ontop.spec.ontology.impl that implement ObjectPropertyAssertion

Modifier and Type

Class and Description

class

ObjectPropertyAssertionImpl Represents ObjectPropertyAssertion from 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

Methods in it.unibz.inf.ontop.spec.ontology.impl that return ObjectPropertyAssertion

Modifier and Type	Method and Description
static ObjectPropertyAssertion	OntologyBuilderImpl.createObjectPropertyAssertion(ObjectPropertyExpression ope, ObjectConstant o1, ObjectConstant o2) Creates an object property assertion