org.semanticweb.elk.owl.interfaces
Interface ElkClassAxiom

All Superinterfaces:

ElkAxiom, ElkObject

All Known Subinterfaces:

ElkDisjointClassesAxiom, ElkDisjointUnionAxiom, ElkEquivalentClassesAxiom, ElkSubClassOfAxiom

public interface ElkClassAxiom
extends ElkAxiom

Corresponds to a Class Expression Axiom in the OWL 2 specification.

Author:

Markus Kroetzsch

Method Summary

<O> O

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

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(ElkClassAxiomVisitor<O> visitor)

Accept an ElkClassAxiomVisitor.

Parameters:

visitor - the visitor that can work with this axiom type

Returns:

the output of the visitor