Uses of Interface
org.semanticweb.elk.owl.interfaces.ElkDifferentIndividualsAxiom

Packages that use ElkDifferentIndividualsAxiom

Package	Description
org.semanticweb.elk.owl.interfaces
org.semanticweb.elk.owl.util
org.semanticweb.elk.owl.visitors

Uses of ElkDifferentIndividualsAxiom in org.semanticweb.elk.owl.interfaces

Methods in org.semanticweb.elk.owl.interfaces that return ElkDifferentIndividualsAxiom

Modifier and Type	Method and Description
ElkDifferentIndividualsAxiom	ElkObjectFactory.getDifferentIndividualsAxiom(ElkIndividual firstIndividual, ElkIndividual secondIndividual, ElkIndividual... otherIndividuals) Create an ElkDifferentIndividualsAxiom.
ElkDifferentIndividualsAxiom	ElkObjectFactory.getDifferentIndividualsAxiom(List<? extends ElkIndividual> individuals) Create an ElkDifferentIndividualsAxiom.

Uses of ElkDifferentIndividualsAxiom in org.semanticweb.elk.owl.util

Methods in org.semanticweb.elk.owl.util with parameters of type ElkDifferentIndividualsAxiom

Modifier and Type	Method and Description
String	OwlObjectNameVisitor.visit(ElkDifferentIndividualsAxiom elkDifferentIndividualsAxiom)

Uses of ElkDifferentIndividualsAxiom in org.semanticweb.elk.owl.visitors

Methods in org.semanticweb.elk.owl.visitors with parameters of type ElkDifferentIndividualsAxiom

Modifier and Type	Method and Description
O	ElkAssertionAxiomVisitor.visit(ElkDifferentIndividualsAxiom elkDifferentIndividualsAxiom)