Package org.semanticweb.elk.owl.interfaces

Interface Summary

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<P>	A generic interface on property restrictions with cardinality constraints.
ElkCardinalityRestrictionQualified<P,F>	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.
ElkObjectFactory	Interface that provides methods for creating instances of ElkObjects.
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<P,S,O>	/** A generic interface for object and data property assertion axioms.
ElkPropertyAxiom<P>	A generic interface for axioms with data properties or object properties.
ElkPropertyDomainAxiom<P,D>	A generic interface for for object and data property domain axioms.
ElkPropertyRangeAxiom<P,R>	A generic interface for for object and data property range axioms.
ElkPropertyRestriction<P>	A generic interface for class expressions with data properties or object properties.
ElkPropertyRestrictionQualified<P,F>	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.