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

Packages that use OWLDifferentIndividualsAxiom

de.uulm.ecs.ai.owl.krssrenderer
org.coode.manchesterowlsyntax
org.coode.owl.functionalrenderer
org.coode.owl.latex
org.coode.owl.rdf.model
org.coode.owlapi.owlxml.renderer
org.semanticweb.owl.debugging
org.semanticweb.owl.model
org.semanticweb.owl.util
uk.ac.manchester.cs.owl
uk.ac.manchester.cs.owl.dlsyntax
uk.ac.manchester.cs.owl.inference.dig11
uk.ac.manchester.cs.owl.mansyntaxrenderer

Uses of OWLDifferentIndividualsAxiom in de.uulm.ecs.ai.owl.krssrenderer

Methods in de.uulm.ecs.ai.owl.krssrenderer with parameters of type OWLDifferentIndividualsAxiom

void	KRSS2OWLObjectRenderer.visit(OWLDifferentIndividualsAxiom axiom)

Uses of OWLDifferentIndividualsAxiom in org.coode.manchesterowlsyntax

Methods in org.coode.manchesterowlsyntax that return OWLDifferentIndividualsAxiom

OWLDifferentIndividualsAxiom

ManchesterOWLSyntaxEditorParser.parseDifferentIndividuals()

Uses of OWLDifferentIndividualsAxiom in org.coode.owl.functionalrenderer

Methods in org.coode.owl.functionalrenderer with parameters of type OWLDifferentIndividualsAxiom

void	OWLObjectRenderer.visit(OWLDifferentIndividualsAxiom axiom)

Uses of OWLDifferentIndividualsAxiom in org.coode.owl.latex

Methods in org.coode.owl.latex with parameters of type OWLDifferentIndividualsAxiom

void	LatexObjectVisitor.visit(OWLDifferentIndividualsAxiom axiom)

Uses of OWLDifferentIndividualsAxiom in org.coode.owl.rdf.model

Methods in org.coode.owl.rdf.model with parameters of type OWLDifferentIndividualsAxiom

void	AbstractTranslator.visit(OWLDifferentIndividualsAxiom axiom)

Uses of OWLDifferentIndividualsAxiom in org.coode.owlapi.owlxml.renderer

Methods in org.coode.owlapi.owlxml.renderer with parameters of type OWLDifferentIndividualsAxiom

void	OWLXMLObjectRenderer.visit(OWLDifferentIndividualsAxiom axiom)

Uses of OWLDifferentIndividualsAxiom in org.semanticweb.owl.debugging

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

void	DebuggerDescriptionGenerator.visit(OWLDifferentIndividualsAxiom axiom)

Uses of OWLDifferentIndividualsAxiom in org.semanticweb.owl.model

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

static AxiomType<OWLDifferentIndividualsAxiom>

AxiomType.DIFFERENT_INDIVIDUALS

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

OWLDifferentIndividualsAxiom	OWLDataFactory.getOWLDifferentIndividualsAxiom(OWLIndividual... individuals)
OWLDifferentIndividualsAxiom	OWLDataFactory.getOWLDifferentIndividualsAxiom(java.util.Set<OWLIndividual> individuals)

Methods in org.semanticweb.owl.model that return types with arguments of type OWLDifferentIndividualsAxiom

java.util.Set<OWLDifferentIndividualsAxiom>

OWLOntology.getDifferentIndividualAxioms(OWLIndividual individual)

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

O	OWLAxiomVisitorEx.visit(OWLDifferentIndividualsAxiom axiom)
void	OWLAxiomVisitor.visit(OWLDifferentIndividualsAxiom axiom)

Uses of OWLDifferentIndividualsAxiom in org.semanticweb.owl.util

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

void	SimpleRenderer.visit(OWLDifferentIndividualsAxiom axiom)
void	OWLOntologyChangeFilter.visit(OWLDifferentIndividualsAxiom axiom)
O	OWLObjectVisitorExAdapter.visit(OWLDifferentIndividualsAxiom axiom)
void	OWLObjectVisitorAdapter.visit(OWLDifferentIndividualsAxiom axiom)
void	OWLObjectTypeIndexProvider.visit(OWLDifferentIndividualsAxiom axiom)
void	OWLObjectDuplicator.visit(OWLDifferentIndividualsAxiom axiom)
void	OWLObjectComponentCollector.visit(OWLDifferentIndividualsAxiom axiom)
void	OWLEntityCollector.visit(OWLDifferentIndividualsAxiom axiom)
void	OWLAxiomVisitorAdapter.visit(OWLDifferentIndividualsAxiom axiom)
void	OWLAxiomTypeProcessor.visit(OWLDifferentIndividualsAxiom axiom)
void	HashCode.visit(OWLDifferentIndividualsAxiom axiom)
void	DLExpressivityChecker.visit(OWLDifferentIndividualsAxiom axiom)
O	DelegatingObjectVisitorEx.visit(OWLDifferentIndividualsAxiom axiom)
void	AxiomTypeProvider.visit(OWLDifferentIndividualsAxiom axiom)
void	AxiomSubjectProvider.visit(OWLDifferentIndividualsAxiom axiom)

Uses of OWLDifferentIndividualsAxiom in uk.ac.manchester.cs.owl

Classes in uk.ac.manchester.cs.owl that implement OWLDifferentIndividualsAxiom

class

OWLDifferentIndividualsAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006

Methods in uk.ac.manchester.cs.owl that return OWLDifferentIndividualsAxiom

OWLDifferentIndividualsAxiom	OWLDataFactoryImpl.getOWLDifferentIndividualsAxiom(OWLIndividual... individuals)
OWLDifferentIndividualsAxiom	OWLDataFactoryImpl.getOWLDifferentIndividualsAxiom(java.util.Set<OWLIndividual> individuals)

Methods in uk.ac.manchester.cs.owl that return types with arguments of type OWLDifferentIndividualsAxiom

java.util.Set<OWLDifferentIndividualsAxiom>

OWLOntologyImpl.getDifferentIndividualAxioms(OWLIndividual individual)

Uses of OWLDifferentIndividualsAxiom in uk.ac.manchester.cs.owl.dlsyntax

Methods in uk.ac.manchester.cs.owl.dlsyntax with parameters of type OWLDifferentIndividualsAxiom

void	DLSyntaxObjectRenderer.visit(OWLDifferentIndividualsAxiom axiom)

Uses of OWLDifferentIndividualsAxiom in uk.ac.manchester.cs.owl.inference.dig11

Methods in uk.ac.manchester.cs.owl.inference.dig11 with parameters of type OWLDifferentIndividualsAxiom

void	DIGRenderer.visit(OWLDifferentIndividualsAxiom axiom)

Uses of OWLDifferentIndividualsAxiom in uk.ac.manchester.cs.owl.mansyntaxrenderer

Methods in uk.ac.manchester.cs.owl.mansyntaxrenderer with parameters of type OWLDifferentIndividualsAxiom

void	ManchesterOWLSyntaxObjectRenderer.visit(OWLDifferentIndividualsAxiom axiom)