interface |
ElkAsymmetricObjectPropertyAxiom
|
interface |
ElkDisjointObjectPropertiesAxiom
|
interface |
ElkEquivalentObjectPropertiesAxiom
|
interface |
ElkFunctionalObjectPropertyAxiom
|
interface |
ElkInverseFunctionalObjectPropertyAxiom
|
interface |
ElkInverseObjectPropertiesAxiom
|
interface |
ElkIrreflexiveObjectPropertyAxiom
|
interface |
ElkObjectPropertyDomainAxiom
|
interface |
ElkObjectPropertyRangeAxiom
|
interface |
ElkReflexiveObjectPropertyAxiom
|
interface |
ElkSubObjectPropertyOfAxiom
|
interface |
ElkSymmetricObjectPropertyAxiom
|
interface |
ElkTransitiveObjectPropertyAxiom
|