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

Packages that use ObjectPropertyExpression

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

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

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

Modifier and Type	Method and Description
ObjectPropertyExpression	OntologyBuilder.createAuxiliaryObjectProperty() create an auxiliary object property (auxiliary properties result from ontology normalization)
ObjectPropertyExpression	OntologyBuilder.declareObjectProperty(org.apache.commons.rdf.api.IRI iri)
ObjectPropertyExpression	ObjectPropertyExpression.getInverse() the inverse of the object property
ObjectPropertyExpression	ObjectSomeValuesFrom.getProperty()
ObjectPropertyExpression	ObjectPropertyAssertion.getProperty()

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

Modifier and Type	Method and Description
com.google.common.collect.ImmutableList<NaryAxiom<ObjectPropertyExpression>>	ClassifiedTBox.disjointObjectProperties()
com.google.common.collect.ImmutableSet<ObjectPropertyExpression>	ClassifiedTBox.functionalObjectProperties()
com.google.common.collect.ImmutableSet<ObjectPropertyExpression>	ClassifiedTBox.irreflexiveObjectProperties()
OntologyVocabularyCategory<ObjectPropertyExpression>	ClassifiedTBox.objectProperties() object properties
OntologyVocabularyCategory<ObjectPropertyExpression>	OntologyBuilder.objectProperties()
EquivalencesDAG<ObjectPropertyExpression>	ClassifiedTBox.objectPropertiesDAG()
com.google.common.collect.ImmutableSet<ObjectPropertyExpression>	ClassifiedTBox.reflexiveObjectProperties()

Methods in it.unibz.inf.ontop.spec.ontology with parameters of type ObjectPropertyExpression

Modifier and Type	Method and Description
void	OntologyBuilder.addDisjointObjectPropertiesAxiom(ObjectPropertyExpression... properties)
void	OntologyBuilder.addFunctionalObjectPropertyAxiom(ObjectPropertyExpression prop)
void	OntologyBuilder.addIrreflexiveObjectPropertyAxiom(ObjectPropertyExpression ope)
void	OntologyBuilder.addObjectPropertyAssertion(ObjectPropertyExpression ope, ObjectConstant o1, ObjectConstant o2) inserts an object property assertion (ensures that the property is not inverse by swapping arguments if necessary) (does nothing if ope is the top property, cf.
void	OntologyBuilder.addReflexiveObjectPropertyAxiom(ObjectPropertyExpression ope)
void	OntologyBuilder.addSubPropertyOfAxiom(ObjectPropertyExpression included, ObjectPropertyExpression including)

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

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

Modifier and Type	Class and Description
class	ObjectPropertyExpressionImpl 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])

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

Modifier and Type	Method and Description
ObjectPropertyExpression	OntologyBuilderImpl.createAuxiliaryObjectProperty()
ObjectPropertyExpression	OntologyBuilderImpl.declareObjectProperty(org.apache.commons.rdf.api.IRI iri)
ObjectPropertyExpression	ObjectPropertyExpressionImpl.getInverse()
ObjectPropertyExpression	ObjectSomeValuesFromImpl.getProperty()
ObjectPropertyExpression	ObjectPropertyAssertionImpl.getProperty()

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

Modifier and Type	Method and Description
com.google.common.collect.ImmutableList<NaryAxiom<ObjectPropertyExpression>>	ClassifiedTBoxImpl.disjointObjectProperties()
com.google.common.collect.ImmutableSet<ObjectPropertyExpression>	ClassifiedTBoxImpl.functionalObjectProperties()
com.google.common.collect.ImmutableSet<ObjectPropertyExpression>	OntologyImpl.UnclassifiedOntologyTBox.getAuxiliaryObjectProperties()
com.google.common.collect.ImmutableList<NaryAxiom<ObjectPropertyExpression>>	OntologyImpl.UnclassifiedOntologyTBox.getDisjointObjectPropertiesAxioms()
com.google.common.collect.ImmutableSet<ObjectPropertyExpression>	OntologyImpl.UnclassifiedOntologyTBox.getFunctionalObjectProperties()
com.google.common.collect.ImmutableSet<ObjectPropertyExpression>	OntologyImpl.UnclassifiedOntologyTBox.getIrreflexiveObjectPropertyAxioms()
org.jgrapht.graph.DefaultDirectedGraph<ObjectPropertyExpression,org.jgrapht.graph.DefaultEdge>	ClassifiedTBoxImpl.getObjectPropertyGraph() Deprecated.
com.google.common.collect.ImmutableSet<ObjectPropertyExpression>	OntologyImpl.UnclassifiedOntologyTBox.getReflexiveObjectPropertyAxioms()
com.google.common.collect.ImmutableList<BinaryAxiom<ObjectPropertyExpression>>	OntologyImpl.UnclassifiedOntologyTBox.getSubObjectPropertyAxioms()
com.google.common.collect.ImmutableSet<ObjectPropertyExpression>	ClassifiedTBoxImpl.irreflexiveObjectProperties()
OntologyVocabularyCategory<ObjectPropertyExpression>	OntologyBuilderImpl.objectProperties()
OntologyVocabularyCategory<ObjectPropertyExpression>	ClassifiedTBoxImpl.objectProperties()
OntologyVocabularyCategory<ObjectPropertyExpression>	OntologyImpl.UnclassifiedOntologyTBox.objectProperties()
EquivalencesDAG<ObjectPropertyExpression>	ClassifiedTBoxImpl.objectPropertiesDAG()
com.google.common.collect.ImmutableSet<ObjectPropertyExpression>	ClassifiedTBoxImpl.reflexiveObjectProperties()

Methods in it.unibz.inf.ontop.spec.ontology.impl with parameters of type ObjectPropertyExpression

Modifier and Type	Method and Description
void	OntologyBuilderImpl.addDisjointObjectPropertiesAxiom(ObjectPropertyExpression... opes) Normalizes and adds object property disjointness axiom
void	OntologyBuilderImpl.addFunctionalObjectPropertyAxiom(ObjectPropertyExpression prop)
void	OntologyBuilderImpl.addIrreflexiveObjectPropertyAxiom(ObjectPropertyExpression ope) Normalizes and adds an irreflexive object property axiom
void	OntologyBuilderImpl.addObjectPropertyAssertion(ObjectPropertyExpression ope, ObjectConstant o1, ObjectConstant o)
void	OntologyBuilderImpl.addReflexiveObjectPropertyAxiom(ObjectPropertyExpression ope) Normalizes and adds a reflexive object property axiom
void	OntologyBuilderImpl.addSubPropertyOfAxiom(ObjectPropertyExpression ope1, ObjectPropertyExpression ope2) Normalizes and adds an object subproperty axiom
static ObjectPropertyAssertion	OntologyBuilderImpl.createObjectPropertyAssertion(ObjectPropertyExpression ope, ObjectConstant o1, ObjectConstant o2) Creates an object property assertion