Uses of Class
org.dllearner.core.owl.DifferentIndividualsAxiom

Packages that use DifferentIndividualsAxiom

org.dllearner.core.owl	Classes/Interfaces for representing OWL constructs - see the OWL 2 Structural Specification for details.
org.dllearner.utilities.owl	OWL utility classes (file manipulation, converting between different formats, orderings on OWL structures etc.).

Uses of DifferentIndividualsAxiom in org.dllearner.core.owl

Methods in org.dllearner.core.owl with parameters of type DifferentIndividualsAxiom

void	AssertionalAxiomVisitor.visit(DifferentIndividualsAxiom axiom)

Uses of DifferentIndividualsAxiom in org.dllearner.utilities.owl

Methods in org.dllearner.utilities.owl with parameters of type DifferentIndividualsAxiom

void	OWLAPIAxiomConvertVisitor.visit(DifferentIndividualsAxiom axiom)