org.semanticweb.elk.owl.interfaces

Interface ElkObjectOneOf

All Superinterfaces:

ElkClassExpression, ElkObject

public interface ElkObjectOneOf
extends ElkClassExpression

Corresponds to an Enumeration of Individuals in the OWL 2 specification.

Author:

Markus Kroetzsch

Method Summary

Methods

Modifier and Type	Method and Description
List<? extends ElkIndividual>	getIndividuals() Get the list of individuals that this expression refers to.

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

accept

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

accept

Method Detail

getIndividuals

List<? extends ElkIndividual> getIndividuals()

Get the list of individuals that this expression refers to. The order of individuals does not affect the semantics but it is relevant to the syntax of OWL.

Returns:

list of individuals