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

Packages that use ElkPropertyAxiom

Package	Description
org.semanticweb.elk.owl.interfaces

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

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

Modifier and Type	Interface and Description
interface	ElkAnnotationPropertyDomainAxiom Corresponds to an Annotation Property Domain in the OWL 2 specification.
interface	ElkAnnotationPropertyRangeAxiom Corresponds to an Annotation Property Range in the OWL 2 specification.
interface	ElkAsymmetricObjectPropertyAxiom Corresponds to a Asymmetric Object Property Axiom in the OWL 2 specification.
interface	ElkDataPropertyAssertionAxiom Corresponds to an positive data property assertion axiom in the OWL 2 specification.
interface	ElkDataPropertyDomainAxiom Corresponds to an Data Property Domain in the OWL 2 specification.
interface	ElkDataPropertyRangeAxiom Corresponds to an Data Property Range in the OWL 2 specification.
interface	ElkFunctionalDataPropertyAxiom Corresponds to a Functional Data Property Axiom in the OWL 2 specification.
interface	ElkFunctionalObjectPropertyAxiom Corresponds to a Functional Object Property Axiom in the OWL 2 specification.
interface	ElkInverseFunctionalObjectPropertyAxiom Corresponds to an Inverse Functional Object Property Axiom in the OWL 2 specification.
interface	ElkIrreflexiveObjectPropertyAxiom Corresponds to a Irreflexive Object Property Axiom in the OWL 2 specification.
interface	ElkNegativeDataPropertyAssertionAxiom Corresponds to an negative data property assertion axiom in the OWL 2 specification.
interface	ElkNegativeObjectPropertyAssertionAxiom Corresponds to an negative object property assertion axiom in the OWL 2 specification.
interface	ElkObjectPropertyAssertionAxiom Corresponds to an positive object property assertion axiom in the OWL 2 specification.
interface	ElkObjectPropertyDomainAxiom Corresponds to an Object Property Domain in the OWL 2 specification.
interface	ElkObjectPropertyRangeAxiom Corresponds to an Object Property Range in the OWL 2 specification.
interface	ElkPropertyAssertionAxiom<P,S,O> /** A generic interface for object and data property assertion axioms.
interface	ElkPropertyDomainAxiom<P,D> A generic interface for for object and data property domain axioms.
interface	ElkPropertyRangeAxiom<P,R> A generic interface for for object and data property range axioms.
interface	ElkReflexiveObjectPropertyAxiom Corresponds to a Reflexive Object Property Axiom in the OWL 2 specification.
interface	ElkSymmetricObjectPropertyAxiom Corresponds to a Symmetric Object Property Axiom in the OWL 2 specification.
interface	ElkTransitiveObjectPropertyAxiom Corresponds to a Transitive Object Property Axiom in the OWL 2 specification.