org.semanticweb.elk.owl.interfaces
Interface ElkClassExpression

All Superinterfaces:

ElkObject

All Known Subinterfaces:

ElkCardinalityRestriction<P>, ElkCardinalityRestrictionQualified<P,F>, ElkClass, ElkDataAllValuesFrom, ElkDataExactCardinality, ElkDataExactCardinalityQualified, ElkDataHasValue, ElkDataMaxCardinality, ElkDataMaxCardinalityQualified, ElkDataMinCardinality, ElkDataMinCardinalityQualified, ElkDataPropertyListRestrictionQualified, ElkDataSomeValuesFrom, ElkObjectAllValuesFrom, ElkObjectComplementOf, ElkObjectExactCardinality, ElkObjectExactCardinalityQualified, ElkObjectHasSelf, ElkObjectHasValue, ElkObjectIntersectionOf, ElkObjectMaxCardinality, ElkObjectMaxCardinalityQualified, ElkObjectMinCardinality, ElkObjectMinCardinalityQualified, ElkObjectOneOf, ElkObjectSomeValuesFrom, ElkObjectUnionOf, ElkPropertyRestriction<P>, ElkPropertyRestrictionQualified<P,F>

All Known Implementing Classes:

PredefinedElkClass

public interface ElkClassExpression
extends ElkObject

Corresponds to a Class Expression in the OWL 2 specification.

Author:

Markus Kroetzsch

Method Summary

<O> O

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

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

accept

Method Detail

accept

<O> O accept(ElkClassExpressionVisitor<O> visitor)

Accept an ElkClassExpressionVisitor.

Parameters:

visitor - the visitor that can work with this axiom type

Returns:

the output of the visitor