|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use IntegerInverseObjectPropertiesAxiom | |
---|---|
de.tudresden.inf.lat.jcel.ontology.axiom.complex |
Provides interfaces and classes that model complex axioms. |
Uses of IntegerInverseObjectPropertiesAxiom in de.tudresden.inf.lat.jcel.ontology.axiom.complex |
---|
Methods in de.tudresden.inf.lat.jcel.ontology.axiom.complex that return IntegerInverseObjectPropertiesAxiom | |
---|---|
IntegerInverseObjectPropertiesAxiom |
ComplexIntegerAxiomFactoryImpl.createInverseObjectPropertiesAxiom(IntegerObjectPropertyExpression first,
IntegerObjectPropertyExpression second)
|
IntegerInverseObjectPropertiesAxiom |
ComplexIntegerAxiomFactory.createInverseObjectPropertiesAxiom(IntegerObjectPropertyExpression first,
IntegerObjectPropertyExpression second)
Constructs a new inverse object property axiom, declaring that one object property is the inverse of another one. |
Methods in de.tudresden.inf.lat.jcel.ontology.axiom.complex with parameters of type IntegerInverseObjectPropertiesAxiom | |
---|---|
T |
ComplexIntegerAxiomVisitor.visit(IntegerInverseObjectPropertiesAxiom axiom)
Visits an inverse object property axiom. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |