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

Packages that use org.semanticweb.elk.owl.interfaces
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
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
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
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
ElkObject
           
 

Classes in org.semanticweb.elk.owl.interfaces used by org.semanticweb.elk.owl.util
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
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.
 



Copyright © 2011-2013 Department of Computer Science, University of Oxford. All Rights Reserved.