Uses of Interface
org.semanticweb.owl.model.OWLDifferentIndividualsAxiom

Packages that use OWLDifferentIndividualsAxiom

org.semanticweb.owl.impl.model	A basic implementation of the OWL API.
org.semanticweb.owl.io.abstract_syntax	Simple renderer that writes ontologies in OWL Abstract Syntax.
org.semanticweb.owl.model	An API for OWL.
org.semanticweb.owl.model.helper	Helper classes for the OWL API.
uk.ac.man.cs.img.owl.io.dig1_0
uk.ac.man.cs.img.owl.io.fact	Simple renderer that writes ontologies in FaCT Lisp.
uk.ac.man.cs.img.owl.io.factplus	Simple renderer that writes ontologies in FaCT Lisp.
uk.ac.man.cs.img.owl.io.html
uk.ac.man.cs.img.owl.io.tptp	Simple renderer that writes ontologies as TPTP.

Uses of OWLDifferentIndividualsAxiom in org.semanticweb.owl.impl.model

Classes in org.semanticweb.owl.impl.model that implement OWLDifferentIndividualsAxiom

class

OWLDifferentIndividualsAxiomImpl An axiom asserting that a number of individuals are different.

Methods in org.semanticweb.owl.impl.model that return OWLDifferentIndividualsAxiom

OWLDifferentIndividualsAxiom

OWLDataFactoryImpl.getOWLDifferentIndividualsAxiom(Set set)

Uses of OWLDifferentIndividualsAxiom in org.semanticweb.owl.io.abstract_syntax

Methods in org.semanticweb.owl.io.abstract_syntax with parameters of type OWLDifferentIndividualsAxiom

void	RenderingVisitor.visit(OWLDifferentIndividualsAxiom ax)

Uses of OWLDifferentIndividualsAxiom in org.semanticweb.owl.model

Methods in org.semanticweb.owl.model that return OWLDifferentIndividualsAxiom

OWLDifferentIndividualsAxiom

OWLDataFactory.getOWLDifferentIndividualsAxiom(Set set)

Methods in org.semanticweb.owl.model with parameters of type OWLDifferentIndividualsAxiom

void	OWLObjectVisitor.visit(OWLDifferentIndividualsAxiom node)
void	OWLIndividualAxiomVisitor.visit(OWLDifferentIndividualsAxiom axiom)

Uses of OWLDifferentIndividualsAxiom in org.semanticweb.owl.model.helper

Methods in org.semanticweb.owl.model.helper with parameters of type OWLDifferentIndividualsAxiom

void	OWLObjectVisitorAdapter.visit(OWLDifferentIndividualsAxiom node)
void	OWLIndividualAxiomVisitorAdapter.visit(OWLDifferentIndividualsAxiom node)
void	OWLEntityCollector.visit(OWLDifferentIndividualsAxiom node)
void	ExceptionThrowingOWLObjectVisitorAdapter.visit(OWLDifferentIndividualsAxiom node)

Uses of OWLDifferentIndividualsAxiom in uk.ac.man.cs.img.owl.io.dig1_0

Methods in uk.ac.man.cs.img.owl.io.dig1_0 with parameters of type OWLDifferentIndividualsAxiom

void	RenderingVisitor.visit(OWLDifferentIndividualsAxiom ax)

Uses of OWLDifferentIndividualsAxiom in uk.ac.man.cs.img.owl.io.fact

Methods in uk.ac.man.cs.img.owl.io.fact with parameters of type OWLDifferentIndividualsAxiom

void	RenderingVisitor.visit(OWLDifferentIndividualsAxiom ax)

Uses of OWLDifferentIndividualsAxiom in uk.ac.man.cs.img.owl.io.factplus

Methods in uk.ac.man.cs.img.owl.io.factplus with parameters of type OWLDifferentIndividualsAxiom

void	RenderingVisitor.visit(OWLDifferentIndividualsAxiom ax)

Uses of OWLDifferentIndividualsAxiom in uk.ac.man.cs.img.owl.io.html

Methods in uk.ac.man.cs.img.owl.io.html with parameters of type OWLDifferentIndividualsAxiom

void	RenderingVisitor.visit(OWLDifferentIndividualsAxiom ax)

Uses of OWLDifferentIndividualsAxiom in uk.ac.man.cs.img.owl.io.tptp

Methods in uk.ac.man.cs.img.owl.io.tptp with parameters of type OWLDifferentIndividualsAxiom

void	RenderingVisitor.visit(OWLDifferentIndividualsAxiom ax)
void	AxiomRenderer.visit(OWLDifferentIndividualsAxiom ax)