| Subinterfaces of ElkObject in org.semanticweb.elk.owl.interfaces |
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
Corresponds to an Annotation Axiom in
the OWL 2 specification. |
interface |
ElkAnnotationProperty
|
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 |
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
Corresponds to an Anonymous
Individuals 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 |
ElkAxiom
Corresponds to an axiom in the OWL 2
specification. |
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
Corresponds to a Class 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 |
ElkClassExpression
Corresponds to a Class Expression in
the OWL 2 specification. |
interface |
ElkDataAllValuesFrom
Corresponds to an Universal
Quantification Data Property Restriction in the OWL 2 specification. |
interface |
ElkDataComplementOf
Corresponds to the complement of a data range in the OWL 2 specification. |
interface |
ElkDataExactCardinality
Corresponds to an exact cardinality
restriction in the OWL 2 specification in the case the qualified data
range is empty. |
interface |
ElkDataExactCardinalityQualified
Corresponds to an exact cardinality
restriction in the OWL 2 specification in the case the qualified data
range is not empty. |
interface |
ElkDataHasValue
Corresponds to an Literal Value
Restriction for Data Properties in the OWL 2 specification. |
interface |
ElkDataIntersectionOf
Corresponds to an Intersection
of Data Ranges in the OWL 2 specification. |
interface |
ElkDataMaxCardinality
Corresponds to an maximum cardinality
restriction in the OWL 2 specification in the case the qualified data
range is empty. |
interface |
ElkDataMaxCardinalityQualified
Corresponds to an maximum cardinality
restriction in the OWL 2 specification in the case the qualified data
range is not empty. |
interface |
ElkDataMinCardinality
Corresponds to an minimum cardinality
restriction in the OWL 2 specification in the case the qualified data
range is empty. |
interface |
ElkDataMinCardinalityQualified
Corresponds to an minimum cardinality
restriction in the OWL 2 specification in the case the qualified data
range is not empty. |
interface |
ElkDataOneOf
Corresponds to an Enumeration of
Literals in the OWL 2 specification. |
interface |
ElkDataProperty
Corresponds to an Data Property 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 |
ElkDataPropertyExpression
Corresponds to an Data Property
Expression in the OWL 2 specification. |
interface |
ElkDataPropertyListRestrictionQualified
Common interface for DataSomeValuesFrom and DataAllValuesFrom
restrictions which can be based on a list of data (not object) property expression. |
interface |
ElkDataPropertyRangeAxiom
Corresponds to an Data Property
Range in the OWL 2 specification. |
interface |
ElkDataRange
Corresponds to a Data Range in the OWL 2
specification. |
interface |
ElkDataSomeValuesFrom
Corresponds to an Existential
Quantification Data Property Restriction in the OWL 2 specification. |
interface |
ElkDatatype
Corresponds to a Datatype in the OWL 2
specification. |
interface |
ElkDatatypeDefinitionAxiom
Corresponds to a Datatype Definitions in the OWL 2 specification. |
interface |
ElkDatatypeRestriction
Corresponds to an Datatype
Restrictions in the OWL 2 specification. |
interface |
ElkDataUnionOf
Corresponds to a Union of Data
Ranges 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 |
ElkEntity
Corresponds to an Entity 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 |
ElkFacetRestriction
Corresponds to a pair of constraining facet and restriction value as used in
OWL 2
Datatype Restrictions. |
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 |
ElkIndividual
Corresponds to an Individual 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 |
ElkLiteral
Corresponds to a Literal in the OWL 2 specification. |
interface |
ElkNamedIndividual
Corresponds to an Named Individuals 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 |
ElkObjectAllValuesFrom
Corresponds to an Universal
Quantification Object Property Restriction in the OWL 2 specification. |
interface |
ElkObjectComplementOf
Corresponds to the complement of a class expression in the OWL 2 specification. |
interface |
ElkObjectExactCardinality
Corresponds to an exact cardinality
restriction in the OWL 2 specification in the case the qualified class
expression is not specified. |
interface |
ElkObjectExactCardinalityQualified
Corresponds to an exact cardinality
restriction in the OWL 2 specification in the case the qualified class
expression is specified. |
interface |
ElkObjectHasSelf
Corresponds to a Self-Restriction in
the OWL 2 specification. |
interface |
ElkObjectHasValue
Corresponds to an Individual
Value Restriction for Object Properties in the OWL 2 specification. |
interface |
ElkObjectIntersectionOf
Corresponds to an Intersection of Class Expressions in the OWL 2 specification. |
interface |
ElkObjectInverseOf
Corresponds to an Inverse Object
Property in the OWL 2 specification. |
interface |
ElkObjectMaxCardinality
Corresponds to an maximum cardinality
restriction in the OWL 2 specification in the case the qualified class
expression is not specified. |
interface |
ElkObjectMaxCardinalityQualified
Corresponds to an maximum cardinality
restriction in the OWL 2 specification in the case the qualified class
expression is specified. |
interface |
ElkObjectMinCardinality
Corresponds to an minimum cardinality
restriction in the OWL 2 specification in the case the qualified class
expression is not specified. |
interface |
ElkObjectMinCardinalityQualified
Corresponds to an minimum cardinality
restriction in the OWL 2 specification in the case the qualified class
expression is specified. |
interface |
ElkObjectOneOf
Corresponds to an Enumeration of
Individuals in the OWL 2 specification. |
interface |
ElkObjectProperty
Corresponds to an Object Property 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 |
ElkObjectPropertyChain
Corresponds to an object property
chains in the OWL 2 specification. |
interface |
ElkObjectPropertyDomainAxiom
Corresponds to an Object Property
Domain in the OWL 2 specification. |
interface |
ElkObjectPropertyExpression
Corresponds to an Object
Property Expression in the OWL 2 specification. |
interface |
ElkObjectPropertyRangeAxiom
Corresponds to an Object Property
Range in the OWL 2 specification. |
interface |
ElkObjectSomeValuesFrom
Corresponds to an Existential
Quantification Object Property Restriction in the OWL 2 specification. |
interface |
ElkObjectUnionOf
Corresponds to a Union of
Class Expressions 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 |
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
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 |
ElkSubObjectPropertyExpression
Corresponds to an sub object property
expressions 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. |