org.semanticweb.elk.owl.interfaces

Interface ElkDisjointUnionAxiom

All Superinterfaces:

ElkAxiom, ElkClassAxiom, ElkObject

public interface ElkDisjointUnionAxiom
extends ElkClassAxiom

Corresponds to an Disjoint Union of Class Expressions Axiom in the OWL 2 specification.

Author:

Markus Kroetzsch

Method Summary

Methods

Modifier and Type	Method and Description
List<? extends ElkClassExpression>	getClassExpressions() Get the list of disjoint class expressions that this axiom refers to.
ElkClass	getDefinedClass() Get the class that is defined to be a disjoint union.

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

getDefinedClass

ElkClass getDefinedClass()

Get the class that is defined to be a disjoint union.

Returns:

class

getClassExpressions

List<? extends ElkClassExpression> getClassExpressions()

Get the list of disjoint 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 disjoint class expressions