Uses of Package
org.semanticweb.elk.owl.interfaces

Packages that use org.semanticweb.elk.owl.interfaces

Package	Description
org.semanticweb.elk.owl.interfaces
org.semanticweb.elk.owl.iris
org.semanticweb.elk.owl.predefined
org.semanticweb.elk.owl.printers
org.semanticweb.elk.owl.util
org.semanticweb.elk.owl.visitors

Classes in org.semanticweb.elk.owl.interfaces used by org.semanticweb.elk.owl.interfaces

Class and Description
ElkAnnotation The basic interface for annotation objects in OWL 2 as defined in Section 10 of the specification
ElkAnnotationAssertionAxiom Annotation assertion axiom as defined in Section 10.2.1 of the specification Note that the superclass of AnnotationAssertion is AnnotationAxiom, not AssertionAxiom.
ElkAnnotationAxiom Corresponds to an Annotation Axiom in the OWL 2 specification.
ElkAnnotationProperty
ElkAnnotationPropertyDomainAxiom Corresponds to an Annotation Property Domain in the OWL 2 specification.
ElkAnnotationPropertyRangeAxiom Corresponds to an Annotation Property Range in the OWL 2 specification.
ElkAnnotationSubject Either an IRI or an anonymous individual
ElkAnnotationValue Either an IRI, an anonymous individial, or a literal, as defined in Section 10 of the specification.
ElkAnonymousIndividual Corresponds to an Anonymous Individuals in the OWL 2 specification.
ElkAssertionAxiom Corresponds to a Assertions in the OWL 2 specification.
ElkAsymmetricObjectPropertyAxiom Corresponds to a Asymmetric Object Property Axiom in the OWL 2 specification.
ElkAxiom Corresponds to an axiom in the OWL 2 specification.
ElkCardinalityRestriction A generic interface on property restrictions with cardinality constraints.
ElkCardinalityRestrictionQualified A generic interface for restrictions on properties with fillers (qualifiers) and cardinality constraints.
ElkClass Corresponds to a Class in the OWL 2 specification.
ElkClassAssertionAxiom Corresponds to an class assertion axiom in the OWL 2 specification.
ElkClassAxiom Corresponds to a Class Expression Axiom in the OWL 2 specification.
ElkClassExpression Corresponds to a Class Expression in the OWL 2 specification.
ElkDataAllValuesFrom Corresponds to an Universal Quantification Data Property Restriction in the OWL 2 specification.
ElkDataComplementOf Corresponds to the complement of a data range in the OWL 2 specification.
ElkDataExactCardinality Corresponds to an exact cardinality restriction in the OWL 2 specification in the case the qualified data range is empty.
ElkDataExactCardinalityQualified Corresponds to an exact cardinality restriction in the OWL 2 specification in the case the qualified data range is not empty.
ElkDataHasValue Corresponds to an Literal Value Restriction for Data Properties in the OWL 2 specification.
ElkDataIntersectionOf Corresponds to an Intersection of Data Ranges in the OWL 2 specification.
ElkDataMaxCardinality Corresponds to an maximum cardinality restriction in the OWL 2 specification in the case the qualified data range is empty.
ElkDataMaxCardinalityQualified Corresponds to an maximum cardinality restriction in the OWL 2 specification in the case the qualified data range is not empty.
ElkDataMinCardinality Corresponds to an minimum cardinality restriction in the OWL 2 specification in the case the qualified data range is empty.
ElkDataMinCardinalityQualified Corresponds to an minimum cardinality restriction in the OWL 2 specification in the case the qualified data range is not empty.
ElkDataOneOf Corresponds to an Enumeration of Literals in the OWL 2 specification.
ElkDataProperty Corresponds to an Data Property in the OWL 2 specification.
ElkDataPropertyAssertionAxiom Corresponds to an positive data property assertion axiom in the OWL 2 specification.
ElkDataPropertyAxiom Corresponds to an Data Property Axiom in the OWL 2 specification.
ElkDataPropertyDomainAxiom Corresponds to an Data Property Domain in the OWL 2 specification.
ElkDataPropertyExpression Corresponds to an Data Property Expression in the OWL 2 specification.
ElkDataPropertyListRestrictionQualified Common interface for DataSomeValuesFrom and DataAllValuesFrom restrictions which can be based on a list of data (not object) property expression.
ElkDataPropertyRangeAxiom Corresponds to an Data Property Range in the OWL 2 specification.
ElkDataRange Corresponds to a Data Range in the OWL 2 specification.
ElkDataSomeValuesFrom Corresponds to an Existential Quantification Data Property Restriction in the OWL 2 specification.
ElkDatatype Corresponds to a Datatype in the OWL 2 specification.
ElkDatatypeDefinitionAxiom Corresponds to a Datatype Definitions in the OWL 2 specification.
ElkDatatypeRestriction Corresponds to an Datatype Restrictions in the OWL 2 specification.
ElkDataUnionOf Corresponds to a Union of Data Ranges in the OWL 2 specification.
ElkDeclarationAxiom Corresponds to a Declaration Axiom in the OWL 2 specification.
ElkDifferentIndividualsAxiom Corresponds to an individual inequality axiom in the OWL 2 specification.
ElkDisjointClassesAxiom Corresponds to an Disjoint Classes Axiom in the OWL 2 specification.
ElkDisjointDataPropertiesAxiom Corresponds to an Disjoint Data Properties Axiom in the OWL 2 specification.
ElkDisjointObjectPropertiesAxiom Corresponds to an Disjoint Object Properties Axiom in the OWL 2 specification.
ElkDisjointUnionAxiom Corresponds to an Disjoint Union of Class Expressions Axiom in the OWL 2 specification.
ElkEntity Corresponds to an Entity in the OWL 2 specification.
ElkEquivalentClassesAxiom Corresponds to an Equivalent Class Axiom in the OWL 2 specification.
ElkEquivalentDataPropertiesAxiom Corresponds to an Equivalent Data Properties Axiom in the OWL 2 specification.
ElkEquivalentObjectPropertiesAxiom Corresponds to an Equivalent Object Properties Axiom in the OWL 2 specification.
ElkFacetRestriction Corresponds to a pair of constraining facet and restriction value as used in OWL 2 Datatype Restrictions.
ElkFunctionalDataPropertyAxiom Corresponds to a Functional Data Property Axiom in the OWL 2 specification.
ElkFunctionalObjectPropertyAxiom Corresponds to a Functional Object Property Axiom in the OWL 2 specification.
ElkHasKeyAxiom Corresponds to a Keys in the OWL 2 specification.
ElkIndividual Corresponds to an Individual in the OWL 2 specification.
ElkInverseFunctionalObjectPropertyAxiom Corresponds to an Inverse Functional Object Property Axiom in the OWL 2 specification.
ElkInverseObjectPropertiesAxiom Corresponds to an Inverse Object Properties Axiom in the OWL 2 specification.
ElkIrreflexiveObjectPropertyAxiom Corresponds to a Irreflexive Object Property Axiom in the OWL 2 specification.
ElkLiteral Corresponds to a Literal in the OWL 2 specification.
ElkNamedIndividual Corresponds to an Named Individuals in the OWL 2 specification.
ElkNegativeDataPropertyAssertionAxiom Corresponds to an negative data property assertion axiom in the OWL 2 specification.
ElkNegativeObjectPropertyAssertionAxiom Corresponds to an negative object property assertion axiom in the OWL 2 specification.
ElkObject
ElkObjectAllValuesFrom Corresponds to an Universal Quantification Object Property Restriction in the OWL 2 specification.
ElkObjectComplementOf Corresponds to the complement of a class expression in the OWL 2 specification.
ElkObjectExactCardinality Corresponds to an exact cardinality restriction in the OWL 2 specification in the case the qualified class expression is not specified.
ElkObjectExactCardinalityQualified Corresponds to an exact cardinality restriction in the OWL 2 specification in the case the qualified class expression is specified.
ElkObjectHasSelf Corresponds to a Self-Restriction in the OWL 2 specification.
ElkObjectHasValue Corresponds to an Individual Value Restriction for Object Properties in the OWL 2 specification.
ElkObjectIntersectionOf Corresponds to an Intersection of Class Expressions in the OWL 2 specification.
ElkObjectInverseOf Corresponds to an Inverse Object Property in the OWL 2 specification.
ElkObjectMaxCardinality Corresponds to an maximum cardinality restriction in the OWL 2 specification in the case the qualified class expression is not specified.
ElkObjectMaxCardinalityQualified Corresponds to an maximum cardinality restriction in the OWL 2 specification in the case the qualified class expression is specified.
ElkObjectMinCardinality Corresponds to an minimum cardinality restriction in the OWL 2 specification in the case the qualified class expression is not specified.
ElkObjectMinCardinalityQualified Corresponds to an minimum cardinality restriction in the OWL 2 specification in the case the qualified class expression is specified.
ElkObjectOneOf Corresponds to an Enumeration of Individuals in the OWL 2 specification.
ElkObjectProperty Corresponds to an Object Property in the OWL 2 specification.
ElkObjectPropertyAssertionAxiom Corresponds to an positive object property assertion axiom in the OWL 2 specification.
ElkObjectPropertyAxiom Corresponds to an Object Property Axiom in the OWL 2 specification.
ElkObjectPropertyChain Corresponds to an object property chains in the OWL 2 specification.
ElkObjectPropertyDomainAxiom Corresponds to an Object Property Domain in the OWL 2 specification.
ElkObjectPropertyExpression Corresponds to an Object Property Expression in the OWL 2 specification.
ElkObjectPropertyRangeAxiom Corresponds to an Object Property Range in the OWL 2 specification.
ElkObjectSomeValuesFrom Corresponds to an Existential Quantification Object Property Restriction in the OWL 2 specification.
ElkObjectUnionOf Corresponds to a Union of Class Expressions in the OWL 2 specification.
ElkPropertyAssertionAxiom /** A generic interface for object and data property assertion axioms.
ElkPropertyAxiom A generic interface for axioms with data properties or object properties.
ElkPropertyDomainAxiom A generic interface for for object and data property domain axioms.
ElkPropertyRangeAxiom A generic interface for for object and data property range axioms.
ElkPropertyRestriction A generic interface for class expressions with data properties or object properties.
ElkPropertyRestrictionQualified A generic interface for restrictions on properties with fillers (qualifiers).
ElkReflexiveObjectPropertyAxiom Corresponds to a Reflexive Object Property Axiom in the OWL 2 specification.
ElkSameIndividualAxiom Corresponds to an individual equality axiom in the OWL 2 specification.
ElkSubAnnotationPropertyOfAxiom Corresponds to an Annotation Subproperty Axiom in the OWL 2 specification.
ElkSubClassOfAxiom Corresponds to a Subclass Axiom in the OWL 2 specification.
ElkSubDataPropertyOfAxiom Corresponds to an Data Subproperty Axiom in the OWL 2 specification.
ElkSubObjectPropertyExpression Corresponds to an sub object property expressions in the OWL 2 specification.
ElkSubObjectPropertyOfAxiom Corresponds to an Object Subproperty Axiom in the OWL 2 specification.
ElkSWRLRule A dummy interface for SWRL rules.
ElkSymmetricObjectPropertyAxiom Corresponds to a Symmetric Object Property Axiom in the OWL 2 specification.
ElkTransitiveObjectPropertyAxiom Corresponds to a Transitive Object Property Axiom in the OWL 2 specification.

Classes in org.semanticweb.elk.owl.interfaces used by org.semanticweb.elk.owl.iris

Class and Description
ElkAnnotationSubject Either an IRI or an anonymous individual
ElkAnnotationValue Either an IRI, an anonymous individial, or a literal, as defined in Section 10 of the specification.
ElkObject

Classes in org.semanticweb.elk.owl.interfaces used by org.semanticweb.elk.owl.predefined

Class and Description
ElkClass Corresponds to a Class in the OWL 2 specification.
ElkClassExpression Corresponds to a Class Expression in the OWL 2 specification.
ElkEntity Corresponds to an Entity in the OWL 2 specification.
ElkObject

Classes in org.semanticweb.elk.owl.interfaces used by org.semanticweb.elk.owl.printers

Class and Description
ElkObject

Classes in org.semanticweb.elk.owl.interfaces used by org.semanticweb.elk.owl.util

Class and Description
ElkAnnotation The basic interface for annotation objects in OWL 2 as defined in Section 10 of the specification
ElkAnnotationAssertionAxiom Annotation assertion axiom as defined in Section 10.2.1 of the specification Note that the superclass of AnnotationAssertion is AnnotationAxiom, not AssertionAxiom.
ElkAnnotationProperty
ElkAnnotationPropertyDomainAxiom Corresponds to an Annotation Property Domain in the OWL 2 specification.
ElkAnnotationPropertyRangeAxiom Corresponds to an Annotation Property Range in the OWL 2 specification.
ElkAnonymousIndividual Corresponds to an Anonymous Individuals in the OWL 2 specification.
ElkAsymmetricObjectPropertyAxiom Corresponds to a Asymmetric Object Property Axiom in the OWL 2 specification.
ElkClass Corresponds to a Class in the OWL 2 specification.
ElkClassAssertionAxiom Corresponds to an class assertion axiom in the OWL 2 specification.
ElkDataAllValuesFrom Corresponds to an Universal Quantification Data Property Restriction in the OWL 2 specification.
ElkDataComplementOf Corresponds to the complement of a data range in the OWL 2 specification.
ElkDataExactCardinality Corresponds to an exact cardinality restriction in the OWL 2 specification in the case the qualified data range is empty.
ElkDataExactCardinalityQualified Corresponds to an exact cardinality restriction in the OWL 2 specification in the case the qualified data range is not empty.
ElkDataHasValue Corresponds to an Literal Value Restriction for Data Properties in the OWL 2 specification.
ElkDataIntersectionOf Corresponds to an Intersection of Data Ranges in the OWL 2 specification.
ElkDataMaxCardinality Corresponds to an maximum cardinality restriction in the OWL 2 specification in the case the qualified data range is empty.
ElkDataMaxCardinalityQualified Corresponds to an maximum cardinality restriction in the OWL 2 specification in the case the qualified data range is not empty.
ElkDataMinCardinality Corresponds to an minimum cardinality restriction in the OWL 2 specification in the case the qualified data range is empty.
ElkDataMinCardinalityQualified Corresponds to an minimum cardinality restriction in the OWL 2 specification in the case the qualified data range is not empty.
ElkDataOneOf Corresponds to an Enumeration of Literals in the OWL 2 specification.
ElkDataProperty Corresponds to an Data Property in the OWL 2 specification.
ElkDataPropertyAssertionAxiom Corresponds to an positive data property assertion axiom in the OWL 2 specification.
ElkDataPropertyDomainAxiom Corresponds to an Data Property Domain in the OWL 2 specification.
ElkDataPropertyRangeAxiom Corresponds to an Data Property Range in the OWL 2 specification.
ElkDataSomeValuesFrom Corresponds to an Existential Quantification Data Property Restriction in the OWL 2 specification.
ElkDatatype Corresponds to a Datatype in the OWL 2 specification.
ElkDatatypeDefinitionAxiom Corresponds to a Datatype Definitions in the OWL 2 specification.
ElkDatatypeRestriction Corresponds to an Datatype Restrictions in the OWL 2 specification.
ElkDataUnionOf Corresponds to a Union of Data Ranges in the OWL 2 specification.
ElkDeclarationAxiom Corresponds to a Declaration Axiom in the OWL 2 specification.
ElkDifferentIndividualsAxiom Corresponds to an individual inequality axiom in the OWL 2 specification.
ElkDisjointClassesAxiom Corresponds to an Disjoint Classes Axiom in the OWL 2 specification.
ElkDisjointDataPropertiesAxiom Corresponds to an Disjoint Data Properties Axiom in the OWL 2 specification.
ElkDisjointObjectPropertiesAxiom Corresponds to an Disjoint Object Properties Axiom in the OWL 2 specification.
ElkDisjointUnionAxiom Corresponds to an Disjoint Union of Class Expressions Axiom in the OWL 2 specification.
ElkEquivalentClassesAxiom Corresponds to an Equivalent Class Axiom in the OWL 2 specification.
ElkEquivalentDataPropertiesAxiom Corresponds to an Equivalent Data Properties Axiom in the OWL 2 specification.
ElkEquivalentObjectPropertiesAxiom Corresponds to an Equivalent Object Properties Axiom in the OWL 2 specification.
ElkFacetRestriction Corresponds to a pair of constraining facet and restriction value as used in OWL 2 Datatype Restrictions.
ElkFunctionalDataPropertyAxiom Corresponds to a Functional Data Property Axiom in the OWL 2 specification.
ElkFunctionalObjectPropertyAxiom Corresponds to a Functional Object Property Axiom in the OWL 2 specification.
ElkHasKeyAxiom Corresponds to a Keys in the OWL 2 specification.
ElkInverseFunctionalObjectPropertyAxiom Corresponds to an Inverse Functional Object Property Axiom in the OWL 2 specification.
ElkInverseObjectPropertiesAxiom Corresponds to an Inverse Object Properties Axiom in the OWL 2 specification.
ElkIrreflexiveObjectPropertyAxiom Corresponds to a Irreflexive Object Property Axiom in the OWL 2 specification.
ElkLiteral Corresponds to a Literal in the OWL 2 specification.
ElkNamedIndividual Corresponds to an Named Individuals in the OWL 2 specification.
ElkNegativeDataPropertyAssertionAxiom Corresponds to an negative data property assertion axiom in the OWL 2 specification.
ElkNegativeObjectPropertyAssertionAxiom Corresponds to an negative object property assertion axiom in the OWL 2 specification.
ElkObject
ElkObjectAllValuesFrom Corresponds to an Universal Quantification Object Property Restriction in the OWL 2 specification.
ElkObjectComplementOf Corresponds to the complement of a class expression in the OWL 2 specification.
ElkObjectExactCardinality Corresponds to an exact cardinality restriction in the OWL 2 specification in the case the qualified class expression is not specified.
ElkObjectExactCardinalityQualified Corresponds to an exact cardinality restriction in the OWL 2 specification in the case the qualified class expression is specified.
ElkObjectHasSelf Corresponds to a Self-Restriction in the OWL 2 specification.
ElkObjectHasValue Corresponds to an Individual Value Restriction for Object Properties in the OWL 2 specification.
ElkObjectIntersectionOf Corresponds to an Intersection of Class Expressions in the OWL 2 specification.
ElkObjectInverseOf Corresponds to an Inverse Object Property in the OWL 2 specification.
ElkObjectMaxCardinality Corresponds to an maximum cardinality restriction in the OWL 2 specification in the case the qualified class expression is not specified.
ElkObjectMaxCardinalityQualified Corresponds to an maximum cardinality restriction in the OWL 2 specification in the case the qualified class expression is specified.
ElkObjectMinCardinality Corresponds to an minimum cardinality restriction in the OWL 2 specification in the case the qualified class expression is not specified.
ElkObjectMinCardinalityQualified Corresponds to an minimum cardinality restriction in the OWL 2 specification in the case the qualified class expression is specified.
ElkObjectOneOf Corresponds to an Enumeration of Individuals in the OWL 2 specification.
ElkObjectProperty Corresponds to an Object Property in the OWL 2 specification.
ElkObjectPropertyAssertionAxiom Corresponds to an positive object property assertion axiom in the OWL 2 specification.
ElkObjectPropertyChain Corresponds to an object property chains in the OWL 2 specification.
ElkObjectPropertyDomainAxiom Corresponds to an Object Property Domain in the OWL 2 specification.
ElkObjectPropertyRangeAxiom Corresponds to an Object Property Range in the OWL 2 specification.
ElkObjectSomeValuesFrom Corresponds to an Existential Quantification Object Property Restriction in the OWL 2 specification.
ElkObjectUnionOf Corresponds to a Union of Class Expressions in the OWL 2 specification.
ElkReflexiveObjectPropertyAxiom Corresponds to a Reflexive Object Property Axiom in the OWL 2 specification.
ElkSameIndividualAxiom Corresponds to an individual equality axiom in the OWL 2 specification.
ElkSubAnnotationPropertyOfAxiom Corresponds to an Annotation Subproperty Axiom in the OWL 2 specification.
ElkSubClassOfAxiom Corresponds to a Subclass Axiom in the OWL 2 specification.
ElkSubDataPropertyOfAxiom Corresponds to an Data Subproperty Axiom in the OWL 2 specification.
ElkSubObjectPropertyOfAxiom Corresponds to an Object Subproperty Axiom in the OWL 2 specification.
ElkSWRLRule A dummy interface for SWRL rules.
ElkSymmetricObjectPropertyAxiom Corresponds to a Symmetric Object Property Axiom in the OWL 2 specification.
ElkTransitiveObjectPropertyAxiom Corresponds to a Transitive Object Property Axiom in the OWL 2 specification.

Classes in org.semanticweb.elk.owl.interfaces used by org.semanticweb.elk.owl.visitors

Class and Description
ElkAnnotation The basic interface for annotation objects in OWL 2 as defined in Section 10 of the specification
ElkAnnotationAssertionAxiom Annotation assertion axiom as defined in Section 10.2.1 of the specification Note that the superclass of AnnotationAssertion is AnnotationAxiom, not AssertionAxiom.
ElkAnnotationProperty
ElkAnnotationPropertyDomainAxiom Corresponds to an Annotation Property Domain in the OWL 2 specification.
ElkAnnotationPropertyRangeAxiom Corresponds to an Annotation Property Range in the OWL 2 specification.
ElkAnonymousIndividual Corresponds to an Anonymous Individuals in the OWL 2 specification.
ElkAsymmetricObjectPropertyAxiom Corresponds to a Asymmetric Object Property Axiom in the OWL 2 specification.
ElkAxiom Corresponds to an axiom in the OWL 2 specification.
ElkClass Corresponds to a Class in the OWL 2 specification.
ElkClassAssertionAxiom Corresponds to an class assertion axiom in the OWL 2 specification.
ElkDataAllValuesFrom Corresponds to an Universal Quantification Data Property Restriction in the OWL 2 specification.
ElkDataComplementOf Corresponds to the complement of a data range in the OWL 2 specification.
ElkDataExactCardinality Corresponds to an exact cardinality restriction in the OWL 2 specification in the case the qualified data range is empty.
ElkDataExactCardinalityQualified Corresponds to an exact cardinality restriction in the OWL 2 specification in the case the qualified data range is not empty.
ElkDataHasValue Corresponds to an Literal Value Restriction for Data Properties in the OWL 2 specification.
ElkDataIntersectionOf Corresponds to an Intersection of Data Ranges in the OWL 2 specification.
ElkDataMaxCardinality Corresponds to an maximum cardinality restriction in the OWL 2 specification in the case the qualified data range is empty.
ElkDataMaxCardinalityQualified Corresponds to an maximum cardinality restriction in the OWL 2 specification in the case the qualified data range is not empty.
ElkDataMinCardinality Corresponds to an minimum cardinality restriction in the OWL 2 specification in the case the qualified data range is empty.
ElkDataMinCardinalityQualified Corresponds to an minimum cardinality restriction in the OWL 2 specification in the case the qualified data range is not empty.
ElkDataOneOf Corresponds to an Enumeration of Literals in the OWL 2 specification.
ElkDataProperty Corresponds to an Data Property in the OWL 2 specification.
ElkDataPropertyAssertionAxiom Corresponds to an positive data property assertion axiom in the OWL 2 specification.
ElkDataPropertyDomainAxiom Corresponds to an Data Property Domain in the OWL 2 specification.
ElkDataPropertyRangeAxiom Corresponds to an Data Property Range in the OWL 2 specification.
ElkDataSomeValuesFrom Corresponds to an Existential Quantification Data Property Restriction in the OWL 2 specification.
ElkDatatype Corresponds to a Datatype in the OWL 2 specification.
ElkDatatypeDefinitionAxiom Corresponds to a Datatype Definitions in the OWL 2 specification.
ElkDatatypeRestriction Corresponds to an Datatype Restrictions in the OWL 2 specification.
ElkDataUnionOf Corresponds to a Union of Data Ranges in the OWL 2 specification.
ElkDeclarationAxiom Corresponds to a Declaration Axiom in the OWL 2 specification.
ElkDifferentIndividualsAxiom Corresponds to an individual inequality axiom in the OWL 2 specification.
ElkDisjointClassesAxiom Corresponds to an Disjoint Classes Axiom in the OWL 2 specification.
ElkDisjointDataPropertiesAxiom Corresponds to an Disjoint Data Properties Axiom in the OWL 2 specification.
ElkDisjointObjectPropertiesAxiom Corresponds to an Disjoint Object Properties Axiom in the OWL 2 specification.
ElkDisjointUnionAxiom Corresponds to an Disjoint Union of Class Expressions Axiom in the OWL 2 specification.
ElkEquivalentClassesAxiom Corresponds to an Equivalent Class Axiom in the OWL 2 specification.
ElkEquivalentDataPropertiesAxiom Corresponds to an Equivalent Data Properties Axiom in the OWL 2 specification.
ElkEquivalentObjectPropertiesAxiom Corresponds to an Equivalent Object Properties Axiom in the OWL 2 specification.
ElkFacetRestriction Corresponds to a pair of constraining facet and restriction value as used in OWL 2 Datatype Restrictions.
ElkFunctionalDataPropertyAxiom Corresponds to a Functional Data Property Axiom in the OWL 2 specification.
ElkFunctionalObjectPropertyAxiom Corresponds to a Functional Object Property Axiom in the OWL 2 specification.
ElkHasKeyAxiom Corresponds to a Keys in the OWL 2 specification.
ElkInverseFunctionalObjectPropertyAxiom Corresponds to an Inverse Functional Object Property Axiom in the OWL 2 specification.
ElkInverseObjectPropertiesAxiom Corresponds to an Inverse Object Properties Axiom in the OWL 2 specification.
ElkIrreflexiveObjectPropertyAxiom Corresponds to a Irreflexive Object Property Axiom in the OWL 2 specification.
ElkLiteral Corresponds to a Literal in the OWL 2 specification.
ElkNamedIndividual Corresponds to an Named Individuals in the OWL 2 specification.
ElkNegativeDataPropertyAssertionAxiom Corresponds to an negative data property assertion axiom in the OWL 2 specification.
ElkNegativeObjectPropertyAssertionAxiom Corresponds to an negative object property assertion axiom in the OWL 2 specification.
ElkObjectAllValuesFrom Corresponds to an Universal Quantification Object Property Restriction in the OWL 2 specification.
ElkObjectComplementOf Corresponds to the complement of a class expression in the OWL 2 specification.
ElkObjectExactCardinality Corresponds to an exact cardinality restriction in the OWL 2 specification in the case the qualified class expression is not specified.
ElkObjectExactCardinalityQualified Corresponds to an exact cardinality restriction in the OWL 2 specification in the case the qualified class expression is specified.
ElkObjectHasSelf Corresponds to a Self-Restriction in the OWL 2 specification.
ElkObjectHasValue Corresponds to an Individual Value Restriction for Object Properties in the OWL 2 specification.
ElkObjectIntersectionOf Corresponds to an Intersection of Class Expressions in the OWL 2 specification.
ElkObjectInverseOf Corresponds to an Inverse Object Property in the OWL 2 specification.
ElkObjectMaxCardinality Corresponds to an maximum cardinality restriction in the OWL 2 specification in the case the qualified class expression is not specified.
ElkObjectMaxCardinalityQualified Corresponds to an maximum cardinality restriction in the OWL 2 specification in the case the qualified class expression is specified.
ElkObjectMinCardinality Corresponds to an minimum cardinality restriction in the OWL 2 specification in the case the qualified class expression is not specified.
ElkObjectMinCardinalityQualified Corresponds to an minimum cardinality restriction in the OWL 2 specification in the case the qualified class expression is specified.
ElkObjectOneOf Corresponds to an Enumeration of Individuals in the OWL 2 specification.
ElkObjectProperty Corresponds to an Object Property in the OWL 2 specification.
ElkObjectPropertyAssertionAxiom Corresponds to an positive object property assertion axiom in the OWL 2 specification.
ElkObjectPropertyChain Corresponds to an object property chains in the OWL 2 specification.
ElkObjectPropertyDomainAxiom Corresponds to an Object Property Domain in the OWL 2 specification.
ElkObjectPropertyRangeAxiom Corresponds to an Object Property Range in the OWL 2 specification.
ElkObjectSomeValuesFrom Corresponds to an Existential Quantification Object Property Restriction in the OWL 2 specification.
ElkObjectUnionOf Corresponds to a Union of Class Expressions in the OWL 2 specification.
ElkReflexiveObjectPropertyAxiom Corresponds to a Reflexive Object Property Axiom in the OWL 2 specification.
ElkSameIndividualAxiom Corresponds to an individual equality axiom in the OWL 2 specification.
ElkSubAnnotationPropertyOfAxiom Corresponds to an Annotation Subproperty Axiom in the OWL 2 specification.
ElkSubClassOfAxiom Corresponds to a Subclass Axiom in the OWL 2 specification.
ElkSubDataPropertyOfAxiom Corresponds to an Data Subproperty Axiom in the OWL 2 specification.
ElkSubObjectPropertyOfAxiom Corresponds to an Object Subproperty Axiom in the OWL 2 specification.
ElkSWRLRule A dummy interface for SWRL rules.
ElkSymmetricObjectPropertyAxiom Corresponds to a Symmetric Object Property Axiom in the OWL 2 specification.
ElkTransitiveObjectPropertyAxiom Corresponds to a Transitive Object Property Axiom in the OWL 2 specification.