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

Packages that use ElkDifferentIndividualsAxiom

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

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

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

O	ElkAssertionAxiomVisitor.visit(ElkDifferentIndividualsAxiom elkDifferentIndividualsAxiom)