interface |
ElkAnnotation
The basic interface for annotation objects in OWL 2 as defined in Section 10 of the
specification
|
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
|
interface |
ElkAnnotationProperty |
interface |
ElkAnnotationPropertyDomainAxiom
|
interface |
ElkAnnotationPropertyRangeAxiom
|
interface |
ElkAnnotationSubject
Either an IRI or an anonymous individual
|
interface |
ElkAnnotationValue
Either an IRI, an anonymous individial, or a literal, as defined in
Section 10 of the specification.
|
interface |
ElkAnonymousIndividual
|
interface |
ElkAssertionAxiom
|
interface |
ElkAsymmetricObjectPropertyAxiom
|
interface |
ElkAxiom
|
interface |
ElkCardinalityRestriction<P>
A generic interface on property restrictions with cardinality constraints.
|
interface |
ElkCardinalityRestrictionQualified<P,F>
A generic interface for restrictions on properties with fillers (qualifiers)
and cardinality constraints.
|
interface |
ElkClass
|
interface |
ElkClassAssertionAxiom
|
interface |
ElkClassAxiom
|
interface |
ElkClassExpression
|
interface |
ElkDataAllValuesFrom
|
interface |
ElkDataComplementOf
|
interface |
ElkDataExactCardinality
|
interface |
ElkDataExactCardinalityQualified
|
interface |
ElkDataHasValue
|
interface |
ElkDataIntersectionOf
|
interface |
ElkDataMaxCardinality
|
interface |
ElkDataMaxCardinalityQualified
|
interface |
ElkDataMinCardinality
|
interface |
ElkDataMinCardinalityQualified
|
interface |
ElkDataOneOf
|
interface |
ElkDataProperty
|
interface |
ElkDataPropertyAssertionAxiom
|
interface |
ElkDataPropertyAxiom
|
interface |
ElkDataPropertyDomainAxiom
|
interface |
ElkDataPropertyExpression
|
interface |
ElkDataPropertyListRestrictionQualified
Common interface for DataSomeValuesFrom and DataAllValuesFrom
restrictions which can be based on a list of data (not object) property expression.
|
interface |
ElkDataPropertyRangeAxiom
|
interface |
ElkDataRange
|
interface |
ElkDataSomeValuesFrom
|
interface |
ElkDatatype
|
interface |
ElkDatatypeDefinitionAxiom
|
interface |
ElkDatatypeRestriction
|
interface |
ElkDataUnionOf
|
interface |
ElkDeclarationAxiom
|
interface |
ElkDifferentIndividualsAxiom
|
interface |
ElkDisjointClassesAxiom
|
interface |
ElkDisjointDataPropertiesAxiom
|
interface |
ElkDisjointObjectPropertiesAxiom
|
interface |
ElkDisjointUnionAxiom
|
interface |
ElkEntity
|
interface |
ElkEquivalentClassesAxiom
|
interface |
ElkEquivalentDataPropertiesAxiom
|
interface |
ElkEquivalentObjectPropertiesAxiom
|
interface |
ElkFacetRestriction
|
interface |
ElkFunctionalDataPropertyAxiom
|
interface |
ElkFunctionalObjectPropertyAxiom
|
interface |
ElkHasKeyAxiom
|
interface |
ElkIndividual
|
interface |
ElkInverseFunctionalObjectPropertyAxiom
|
interface |
ElkInverseObjectPropertiesAxiom
|
interface |
ElkIrreflexiveObjectPropertyAxiom
|
interface |
ElkLiteral
|
interface |
ElkNamedIndividual
|
interface |
ElkNegativeDataPropertyAssertionAxiom
|
interface |
ElkNegativeObjectPropertyAssertionAxiom
|
interface |
ElkObjectAllValuesFrom
|
interface |
ElkObjectComplementOf
|
interface |
ElkObjectExactCardinality
|
interface |
ElkObjectExactCardinalityQualified
|
interface |
ElkObjectHasSelf
|
interface |
ElkObjectHasValue
|
interface |
ElkObjectIntersectionOf
|
interface |
ElkObjectInverseOf
|
interface |
ElkObjectMaxCardinality
|
interface |
ElkObjectMaxCardinalityQualified
|
interface |
ElkObjectMinCardinality
|
interface |
ElkObjectMinCardinalityQualified
|
interface |
ElkObjectOneOf
|
interface |
ElkObjectProperty
|
interface |
ElkObjectPropertyAssertionAxiom
|
interface |
ElkObjectPropertyAxiom
|
interface |
ElkObjectPropertyChain
|
interface |
ElkObjectPropertyDomainAxiom
|
interface |
ElkObjectPropertyExpression
|
interface |
ElkObjectPropertyRangeAxiom
|
interface |
ElkObjectSomeValuesFrom
|
interface |
ElkObjectUnionOf
|
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 |
ElkPropertyRestriction<P>
A generic interface for class expressions with data properties or object
properties.
|
interface |
ElkPropertyRestrictionQualified<P,F>
A generic interface for restrictions on properties with fillers (qualifiers).
|
interface |
ElkReflexiveObjectPropertyAxiom
|
interface |
ElkSameIndividualAxiom
|
interface |
ElkSubAnnotationPropertyOfAxiom
|
interface |
ElkSubClassOfAxiom
|
interface |
ElkSubDataPropertyOfAxiom
|
interface |
ElkSubObjectPropertyExpression
|
interface |
ElkSubObjectPropertyOfAxiom
|
interface |
ElkSWRLRule
A dummy interface for SWRL rules.
|
interface |
ElkSymmetricObjectPropertyAxiom
|
interface |
ElkTransitiveObjectPropertyAxiom
|