org.semanticweb.elk.owl.interfaces
Interface ElkDifferentIndividualsAxiom

All Superinterfaces:

ElkAssertionAxiom, ElkAxiom, ElkObject

public interface ElkDifferentIndividualsAxiom
extends ElkAssertionAxiom

Corresponds to an individual inequality axiom in the OWL 2 specification.

Author:

Markus Kroetzsch

Method Summary

List<? extends ElkIndividual>

getIndividuals() Get the list of individuals that this axiom refers to.

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

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

getIndividuals

List<? extends ElkIndividual> getIndividuals()

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

Returns:

list of individuals