| Methods in org.semanticweb.elk.owl.interfaces with parameters of type ElkObjectPropertyExpression |
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. |