Uses of Interface
org.semanticweb.elk.owl.interfaces.ElkAxiom

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

Uses of ElkAxiom in org.semanticweb.elk.owl.interfaces
 

Subinterfaces of ElkAxiom in org.semanticweb.elk.owl.interfaces
 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 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 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 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 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 ElkDataPropertyRangeAxiom
          Corresponds to an Data Property Range in the OWL 2 specification.
 interface ElkDatatypeDefinitionAxiom
          Corresponds to a Datatype Definitions 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 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 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 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 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 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 ElkObjectPropertyDomainAxiom
          Corresponds to an Object Property Domain in the OWL 2 specification.
 interface ElkObjectPropertyRangeAxiom
          Corresponds to an Object Property Range 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 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 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.
 

Uses of ElkAxiom in org.semanticweb.elk.owl.visitors
 

Methods in org.semanticweb.elk.owl.visitors with parameters of type ElkAxiom
 void ElkAxiomProcessor.visit(ElkAxiom elkAxiom)
           
 



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