org.semanticweb.kaon2.api.owl.axioms
Interface DifferentIndividuals

All Superinterfaces:

Axiom

public interface DifferentIndividuals
extends Axiom

Represents an axiom specifying that individuals are different.

Method Summary

java.util.Set<Individual>

getIndividuals() Returns the set of invididuals that are different.

Methods inherited from interface org.semanticweb.kaon2.api.Axiom

accept, toString

Method Detail

getIndividuals

java.util.Set<Individual> getIndividuals()

Returns the set of invididuals that are different.

Returns:

the set of different individuals