org.semanticweb.elk.owl.interfaces

Interface ElkAssertionAxiom

All Superinterfaces:

ElkAxiom, ElkObject

All Known Subinterfaces:

ElkClassAssertionAxiom, ElkDataPropertyAssertionAxiom, ElkDifferentIndividualsAxiom, ElkNegativeDataPropertyAssertionAxiom, ElkNegativeObjectPropertyAssertionAxiom, ElkObjectPropertyAssertionAxiom, ElkPropertyAssertionAxiom<P,S,O>, ElkSameIndividualAxiom

public interface ElkAssertionAxiom
extends ElkAxiom

Corresponds to a Assertions in the OWL 2 specification.

Author:

Markus Kroetzsch

Method Summary

Methods

Modifier and Type	Method and Description
<O> O	accept(ElkAssertionAxiomVisitor<O> visitor) Accept an ElkAssertionAxiomVisitor.

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

accept

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

accept

Method Detail

accept

<O> O accept(ElkAssertionAxiomVisitor<O> visitor)

Accept an ElkAssertionAxiomVisitor.

Parameters:

visitor - the visitor that can work with this axiom type

Returns:

the output of the visitor