Uses of Interface
org.semanticweb.elk.owl.interfaces.ElkObjectPropertyExpression

Packages that use ElkObjectPropertyExpression

Package	Description
org.semanticweb.elk.owl.interfaces

Uses of ElkObjectPropertyExpression in org.semanticweb.elk.owl.interfaces

Subinterfaces of ElkObjectPropertyExpression in org.semanticweb.elk.owl.interfaces

Modifier and Type	Interface and Description
interface	ElkObjectInverseOf Corresponds to an Inverse Object Property in the OWL 2 specification.
interface	ElkObjectProperty Corresponds to an Object Property in the OWL 2 specification.

Methods in org.semanticweb.elk.owl.interfaces that return ElkObjectPropertyExpression

Modifier and Type	Method and Description
ElkObjectPropertyExpression	ElkInverseObjectPropertiesAxiom.getFirstObjectPropertyExpression() Get the first object property that this axiom refers to.
ElkObjectPropertyExpression	ElkInverseObjectPropertiesAxiom.getSecondObjectPropertyExpression() Get the second object property that this axiom refers to.
ElkObjectPropertyExpression	ElkSubObjectPropertyOfAxiom.getSuperObjectPropertyExpression() Get the super object property expression of this axiom.

Methods in org.semanticweb.elk.owl.interfaces that return types with arguments of type ElkObjectPropertyExpression

Modifier and Type	Method and Description
List<? extends ElkObjectPropertyExpression>	ElkDisjointObjectPropertiesAxiom.getObjectPropertyExpressions() Get the list of disjoint object property expressions that this axiom refers to.
Set<ElkObjectPropertyExpression>	ElkHasKeyAxiom.getObjectPropertyExpressions()
List<? extends ElkObjectPropertyExpression>	ElkEquivalentObjectPropertiesAxiom.getObjectPropertyExpressions() Get the list of equivalent object property expressions that this axiom refers to.
List<? extends ElkObjectPropertyExpression>	ElkObjectPropertyChain.getObjectPropertyExpressions() Get the list of object property expressions that this expression refers to.

Methods in org.semanticweb.elk.owl.interfaces with parameters of type ElkObjectPropertyExpression

Modifier and Type	Method and Description
ElkAsymmetricObjectPropertyAxiom	ElkObjectFactory.getAsymmetricObjectPropertyAxiom(ElkObjectPropertyExpression objectPropertyExpression) Create an ElkAsymmetricObjectPropertyAxiom.
ElkDisjointObjectPropertiesAxiom	ElkObjectFactory.getDisjointObjectPropertiesAxiom(ElkObjectPropertyExpression firstObjectPropertyExpression, ElkObjectPropertyExpression secondObjectPropertyExpression, ElkObjectPropertyExpression... otherObjectPropertyExpressions) Create an ElkDisjointObjectPropertiesAxiom.
ElkDisjointObjectPropertiesAxiom	ElkObjectFactory.getDisjointObjectPropertiesAxiom(ElkObjectPropertyExpression firstObjectPropertyExpression, ElkObjectPropertyExpression secondObjectPropertyExpression, ElkObjectPropertyExpression... otherObjectPropertyExpressions) Create an ElkDisjointObjectPropertiesAxiom.
ElkEquivalentObjectPropertiesAxiom	ElkObjectFactory.getEquivalentObjectPropertiesAxiom(ElkObjectPropertyExpression firstObjectPropertyExpression, ElkObjectPropertyExpression secondObjectPropertyExpression, ElkObjectPropertyExpression... otherObjectPropertyExpressions) Create an ElkEquivalentObjectPropertiesAxiom.
ElkEquivalentObjectPropertiesAxiom	ElkObjectFactory.getEquivalentObjectPropertiesAxiom(ElkObjectPropertyExpression firstObjectPropertyExpression, ElkObjectPropertyExpression secondObjectPropertyExpression, ElkObjectPropertyExpression... otherObjectPropertyExpressions) Create an ElkEquivalentObjectPropertiesAxiom.
ElkFunctionalObjectPropertyAxiom	ElkObjectFactory.getFunctionalObjectPropertyAxiom(ElkObjectPropertyExpression objectPropertyExpression) Create an ElkFunctionalObjectPropertyAxiom.
ElkInverseFunctionalObjectPropertyAxiom	ElkObjectFactory.getInverseFunctionalObjectPropertyAxiom(ElkObjectPropertyExpression objectPropertyExpression) Create an ElkInverseFunctionalObjectPropertyAxiom.
ElkInverseObjectPropertiesAxiom	ElkObjectFactory.getInverseObjectPropertiesAxiom(ElkObjectPropertyExpression firstObjectPropertyExpression, ElkObjectPropertyExpression secondObjectPropertyExpression) Create an ElkInverseObjectPropertiesAxiom.
ElkIrreflexiveObjectPropertyAxiom	ElkObjectFactory.getIrreflexiveObjectPropertyAxiom(ElkObjectPropertyExpression objectPropertyExpression) Create an ElkIrreflexiveObjectPropertyAxiom.
ElkNegativeObjectPropertyAssertionAxiom	ElkObjectFactory.getNegativeObjectPropertyAssertionAxiom(ElkObjectPropertyExpression objectPropertyExpression, ElkIndividual firstIndividual, ElkIndividual secondIndividual) Create an ElkNegativeObjectPropertyAssertionAxiom.
ElkObjectAllValuesFrom	ElkObjectFactory.getObjectAllValuesFrom(ElkObjectPropertyExpression objectPropertyExpression, ElkClassExpression classExpression) Create an ElkObjectAllValuesFrom.
ElkObjectExactCardinality	ElkObjectFactory.getObjectExactCardinality(ElkObjectPropertyExpression objectPropertyExpression, int cardinality) Create an ElkObjectExactCardinality.
ElkObjectExactCardinalityQualified	ElkObjectFactory.getObjectExactCardinalityQualified(ElkObjectPropertyExpression objectPropertyExpression, int cardinality, ElkClassExpression classExpression) Create an ElkObjectExactCardinalityQualified.
ElkObjectHasSelf	ElkObjectFactory.getObjectHasSelf(ElkObjectPropertyExpression objectPropertyExpression) Create an ElkObjectHasSelf.
ElkObjectHasValue	ElkObjectFactory.getObjectHasValue(ElkObjectPropertyExpression objectPropertyExpression, ElkIndividual individual) Create an ElkObjectHasValue.
ElkObjectMaxCardinality	ElkObjectFactory.getObjectMaxCardinality(ElkObjectPropertyExpression objectPropertyExpression, int cardinality) Create an ElkObjectMaxCardinality.
ElkObjectMaxCardinalityQualified	ElkObjectFactory.getObjectMaxCardinalityQualified(ElkObjectPropertyExpression objectPropertyExpression, int cardinality, ElkClassExpression classExpression) Create an ElkObjectMaxCardinalityQualified.
ElkObjectMinCardinality	ElkObjectFactory.getObjectMinCardinality(ElkObjectPropertyExpression objectPropertyExpression, int cardinality) Create an ElkObjectMinCardinality.
ElkObjectMinCardinalityQualified	ElkObjectFactory.getObjectMinCardinalityQualified(ElkObjectPropertyExpression objectPropertyExpression, int cardinality, ElkClassExpression classExpression) Create an ElkObjectMinCardinalityQualified.
ElkObjectPropertyAssertionAxiom	ElkObjectFactory.getObjectPropertyAssertionAxiom(ElkObjectPropertyExpression objectPropertyExpression, ElkIndividual firstIndividual, ElkIndividual secondIndividual) Create an ElkObjectPropertyAssertionAxiom.
ElkObjectPropertyDomainAxiom	ElkObjectFactory.getObjectPropertyDomainAxiom(ElkObjectPropertyExpression objectPropertyExpression, ElkClassExpression classExpression) Create an ElkObjectPropertyDomainAxiom.
ElkObjectPropertyRangeAxiom	ElkObjectFactory.getObjectPropertyRangeAxiom(ElkObjectPropertyExpression objectPropertyExpression, ElkClassExpression classExpression) Create an ElkObjectPropertyRangeAxiom.
ElkObjectSomeValuesFrom	ElkObjectFactory.getObjectSomeValuesFrom(ElkObjectPropertyExpression objectPropertyExpression, ElkClassExpression classExpression) Create an ElkObjectSomeValuesFrom.
ElkReflexiveObjectPropertyAxiom	ElkObjectFactory.getReflexiveObjectPropertyAxiom(ElkObjectPropertyExpression objectPropertyExpression) Create an ElkReflexiveObjectPropertyAxiom.
ElkSubObjectPropertyOfAxiom	ElkObjectFactory.getSubObjectPropertyOfAxiom(ElkSubObjectPropertyExpression subObjectPropertyExpression, ElkObjectPropertyExpression superObjectPropertyExpression) Create an ElkSubObjectPropertyOfAxiom.
ElkSymmetricObjectPropertyAxiom	ElkObjectFactory.getSymmetricObjectPropertyAxiom(ElkObjectPropertyExpression objectPropertyExpression) Create an ElkSymmetricObjectPropertyAxiom.
ElkTransitiveObjectPropertyAxiom	ElkObjectFactory.getTransitiveObjectPropertyAxiom(ElkObjectPropertyExpression objectPropertyExpression) Create an ElkTransitiveObjectPropertyAxiom.

Method parameters in org.semanticweb.elk.owl.interfaces with type arguments of type ElkObjectPropertyExpression

Modifier and Type	Method and Description
ElkDisjointObjectPropertiesAxiom	ElkObjectFactory.getDisjointObjectPropertiesAxiom(List<? extends ElkObjectPropertyExpression> disjointObjectPropertyExpressions) Create an ElkDisjointObjectPropertiesAxiom.
ElkEquivalentObjectPropertiesAxiom	ElkObjectFactory.getEquivalentObjectPropertiesAxiom(List<? extends ElkObjectPropertyExpression> equivalentObjectPropertyExpressions) Create an ElkEquivalentObjectPropertiesAxiom.
ElkHasKeyAxiom	ElkObjectFactory.getHasKeyAxiom(ElkClassExpression classExpr, Set<ElkObjectPropertyExpression> objectPEs, Set<ElkDataPropertyExpression> dataPEs) Create an ElkHasKeyAxiom
ElkObjectPropertyChain	ElkObjectFactory.getObjectPropertyChain(List<? extends ElkObjectPropertyExpression> objectPropertyExpressions) Create an ElkObjectPropertyChain.