org.semanticweb.elk.owl.interfaces
Interface ElkEquivalentClassesAxiom

All Superinterfaces:

ElkAxiom, ElkClassAxiom, ElkObject

public interface ElkEquivalentClassesAxiom
extends ElkClassAxiom

Corresponds to an Equivalent Class Axiom in the OWL 2 specification.

Author:

Markus Kroetzsch

Method Summary

List<? extends ElkClassExpression>

getClassExpressions() Get the list of equivalent class expressions that this axiom refers to.

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

accept

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

accept

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

accept

Method Detail

getClassExpressions

List<? extends ElkClassExpression> getClassExpressions()

Get the list of equivalent class expressions that this axiom refers to. The order of class expressions does not affect the semantics but it is relevant to the syntax of OWL.

Returns:

list of equivalent class expressions