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

Packages that use ElkAxiom

Package	Description
org.semanticweb.elk.owl.interfaces
org.semanticweb.elk.owl.visitors

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

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

Modifier and Type	Interface and Description
interface	ElkAnnotationAssertionAxiom Annotation assertion axiom as defined in Section 10.2.1 of the specification Note that the superclass of AnnotationAssertion is AnnotationAxiom, not AssertionAxiom.
interface	ElkAnnotationAxiom Corresponds to an Annotation Axiom in the OWL 2 specification.
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	ElkAssertionAxiom Corresponds to a Assertions in the OWL 2 specification.
interface	ElkAsymmetricObjectPropertyAxiom Corresponds to a Asymmetric Object Property Axiom in the OWL 2 specification.
interface	ElkClassAssertionAxiom Corresponds to an class assertion axiom in the OWL 2 specification.
interface	ElkClassAxiom Corresponds to a Class Expression Axiom in the OWL 2 specification.
interface	ElkDataPropertyAssertionAxiom Corresponds to an positive data property assertion axiom in the OWL 2 specification.
interface	ElkDataPropertyAxiom Corresponds to an Data Property 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	ElkDatatypeDefinitionAxiom Corresponds to a Datatype Definitions in the OWL 2 specification.
interface	ElkDeclarationAxiom Corresponds to a Declaration Axiom in the OWL 2 specification.
interface	ElkDifferentIndividualsAxiom Corresponds to an individual inequality axiom in the OWL 2 specification.
interface	ElkDisjointClassesAxiom Corresponds to an Disjoint Classes Axiom in the OWL 2 specification.
interface	ElkDisjointDataPropertiesAxiom Corresponds to an Disjoint Data Properties Axiom in the OWL 2 specification.
interface	ElkDisjointObjectPropertiesAxiom Corresponds to an Disjoint Object Properties Axiom in the OWL 2 specification.
interface	ElkDisjointUnionAxiom Corresponds to an Disjoint Union of Class Expressions Axiom in the OWL 2 specification.
interface	ElkEquivalentClassesAxiom Corresponds to an Equivalent Class Axiom in the OWL 2 specification.
interface	ElkEquivalentDataPropertiesAxiom Corresponds to an Equivalent Data Properties Axiom in the OWL 2 specification.
interface	ElkEquivalentObjectPropertiesAxiom Corresponds to an Equivalent Object Properties Axiom 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	ElkHasKeyAxiom Corresponds to a Keys in the OWL 2 specification.
interface	ElkInverseFunctionalObjectPropertyAxiom Corresponds to an Inverse Functional Object Property Axiom in the OWL 2 specification.
interface	ElkInverseObjectPropertiesAxiom Corresponds to an Inverse Object Properties 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	ElkObjectPropertyAxiom Corresponds to an Object Property 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	ElkPropertyAxiom<P> A generic interface for axioms with data properties or object properties.
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	ElkSameIndividualAxiom Corresponds to an individual equality axiom in the OWL 2 specification.
interface	ElkSubAnnotationPropertyOfAxiom Corresponds to an Annotation Subproperty Axiom in the OWL 2 specification.
interface	ElkSubClassOfAxiom Corresponds to a Subclass Axiom in the OWL 2 specification.
interface	ElkSubDataPropertyOfAxiom Corresponds to an Data Subproperty Axiom in the OWL 2 specification.
interface	ElkSubObjectPropertyOfAxiom Corresponds to an Object Subproperty Axiom in the OWL 2 specification.
interface	ElkSWRLRule A dummy interface for SWRL rules.
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.

Uses of ElkAxiom in org.semanticweb.elk.owl.visitors

Methods in org.semanticweb.elk.owl.visitors with parameters of type ElkAxiom

Modifier and Type	Method and Description
void	ElkAxiomProcessor.visit(ElkAxiom elkAxiom)