org.semanticweb.elk.owl.interfaces
Interface ElkAxiom

All Superinterfaces:

ElkObject

All Known Subinterfaces:

ElkAnnotationAssertionAxiom, ElkAnnotationAxiom, ElkAnnotationPropertyDomainAxiom, ElkAnnotationPropertyRangeAxiom, ElkAssertionAxiom, ElkAsymmetricObjectPropertyAxiom, ElkClassAssertionAxiom, ElkClassAxiom, ElkDataPropertyAssertionAxiom, ElkDataPropertyAxiom, ElkDataPropertyDomainAxiom, ElkDataPropertyRangeAxiom, ElkDatatypeDefinitionAxiom, ElkDeclarationAxiom, ElkDifferentIndividualsAxiom, ElkDisjointClassesAxiom, ElkDisjointDataPropertiesAxiom, ElkDisjointObjectPropertiesAxiom, ElkDisjointUnionAxiom, ElkEquivalentClassesAxiom, ElkEquivalentDataPropertiesAxiom, ElkEquivalentObjectPropertiesAxiom, ElkFunctionalDataPropertyAxiom, ElkFunctionalObjectPropertyAxiom, ElkHasKeyAxiom, ElkInverseFunctionalObjectPropertyAxiom, ElkInverseObjectPropertiesAxiom, ElkIrreflexiveObjectPropertyAxiom, ElkNegativeDataPropertyAssertionAxiom, ElkNegativeObjectPropertyAssertionAxiom, ElkObjectPropertyAssertionAxiom, ElkObjectPropertyAxiom, ElkObjectPropertyDomainAxiom, ElkObjectPropertyRangeAxiom, ElkPropertyAssertionAxiom<P,S,O>, ElkPropertyAxiom<P>, ElkPropertyDomainAxiom<P,D>, ElkPropertyRangeAxiom<P,R>, ElkReflexiveObjectPropertyAxiom, ElkSameIndividualAxiom, ElkSubAnnotationPropertyOfAxiom, ElkSubClassOfAxiom, ElkSubDataPropertyOfAxiom, ElkSubObjectPropertyOfAxiom, ElkSWRLRule, ElkSymmetricObjectPropertyAxiom, ElkTransitiveObjectPropertyAxiom

public interface ElkAxiom
extends ElkObject

Corresponds to an axiom in the OWL 2 specification.

Author:

Markus Kroetzsch

Method Summary

<O> O

accept(ElkAxiomVisitor<O> visitor) Accept an ElkAxiomVisitor.

Methods inherited from interface org.semanticweb.elk.owl.interfaces.ElkObject

accept

Method Detail

accept

<O> O accept(ElkAxiomVisitor<O> visitor)

Accept an ElkAxiomVisitor.

Parameters:

visitor - the visitor that can work with this axiom type

Returns:

the output of the visitor