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

Packages that use OWLDifferentIndividualsAxiom

Package	Description
de.uulm.ecs.ai.owlapi.krssrenderer
org.coode.owlapi.functionalrenderer
org.coode.owlapi.latex
org.coode.owlapi.owlxml.renderer
org.coode.owlapi.rdf.model
org.semanticweb.owlapi.apibinding
org.semanticweb.owlapi.debugging
org.semanticweb.owlapi.model
org.semanticweb.owlapi.reasoner.impl
org.semanticweb.owlapi.util
uk.ac.manchester.cs.owl.owlapi
uk.ac.manchester.cs.owl.owlapi.mansyntaxrenderer
uk.ac.manchester.cs.owlapi.dlsyntax

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

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

Modifier and Type	Method and Description
void	KRSSObjectRenderer.visit(OWLDifferentIndividualsAxiom axiom)
void	KRSS2ObjectRenderer.visit(OWLDifferentIndividualsAxiom axiom)
void	KRSS2OWLObjectRenderer.visit(OWLDifferentIndividualsAxiom axiom)

Uses of OWLDifferentIndividualsAxiom in org.coode.owlapi.functionalrenderer

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

Modifier and Type	Method and Description
void	OWLObjectRenderer.visit(OWLDifferentIndividualsAxiom axiom)

Uses of OWLDifferentIndividualsAxiom in org.coode.owlapi.latex

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

Modifier and Type	Method and Description
void	LatexObjectVisitor.visit(OWLDifferentIndividualsAxiom axiom)

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

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

Modifier and Type	Method and Description
void	OWLXMLObjectRenderer.visit(OWLDifferentIndividualsAxiom axiom)

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

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

Modifier and Type	Method and Description
void	AbstractTranslator.visit(OWLDifferentIndividualsAxiom axiom)

Uses of OWLDifferentIndividualsAxiom in org.semanticweb.owlapi.apibinding

Methods in org.semanticweb.owlapi.apibinding that return OWLDifferentIndividualsAxiom

Modifier and Type	Method and Description
static OWLDifferentIndividualsAxiom	OWLFunctionalSyntaxFactory.DifferentIndividuals(OWLIndividual... individuals)

Uses of OWLDifferentIndividualsAxiom in org.semanticweb.owlapi.debugging

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

Modifier and Type	Method and Description
void	DebuggerClassExpressionGenerator.visit(OWLDifferentIndividualsAxiom axiom)

Uses of OWLDifferentIndividualsAxiom in org.semanticweb.owlapi.model

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

Modifier and Type	Field and Description
static AxiomType<OWLDifferentIndividualsAxiom>	AxiomType.DIFFERENT_INDIVIDUALS DifferentIndividuals

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

Modifier and Type	Method and Description
OWLDifferentIndividualsAxiom	OWLDifferentIndividualsAxiom.getAxiomWithoutAnnotations()
OWLDifferentIndividualsAxiom	OWLDataFactory.getOWLDifferentIndividualsAxiom(OWLIndividual... individuals)
OWLDifferentIndividualsAxiom	OWLDataFactory.getOWLDifferentIndividualsAxiom(Set<? extends OWLIndividual> individuals)
OWLDifferentIndividualsAxiom	OWLDataFactory.getOWLDifferentIndividualsAxiom(Set<? extends OWLIndividual> individuals, Set<? extends OWLAnnotation> annotations)

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

Modifier and Type	Method and Description
Set<OWLDifferentIndividualsAxiom>	OWLDifferentIndividualsAxiom.asPairwiseAxioms()
Set<OWLDifferentIndividualsAxiom>	OWLOntology.getDifferentIndividualAxioms(OWLIndividual individual) Gets the OWLDifferentIndividualsAxioms contained in this ontology that make the specified individual different to some other individual.

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

Modifier and Type	Method and Description
O	OWLLogicalAxiomVisitorEx.visit(OWLDifferentIndividualsAxiom axiom) visit OWLDifferentIndividualsAxiom type
void	OWLLogicalAxiomVisitor.visit(OWLDifferentIndividualsAxiom axiom) visit OWLDifferentIndividualsAxiom type
O	OWLAxiomVisitorEx.visit(OWLDifferentIndividualsAxiom axiom) visit OWLDifferentIndividualsAxiom type
void	OWLAxiomVisitor.visit(OWLDifferentIndividualsAxiom axiom) visit OWLDifferentIndividualsAxiom type

Uses of OWLDifferentIndividualsAxiom in org.semanticweb.owlapi.reasoner.impl

Methods in org.semanticweb.owlapi.reasoner.impl with parameters of type OWLDifferentIndividualsAxiom

Modifier and Type	Method and Description
OWLClassExpression	SatisfiabilityReducer.visit(OWLDifferentIndividualsAxiom axiom)

Uses of OWLDifferentIndividualsAxiom in org.semanticweb.owlapi.util

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

Modifier and Type	Method and Description
void	StructureWalker.visit(OWLDifferentIndividualsAxiom axiom)
void	SimpleRenderer.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)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLDifferentIndividualsAxiom axiom)
O	OWLAxiomVisitorExAdapter.visit(OWLDifferentIndividualsAxiom axiom)
void	OWLAxiomVisitorAdapter.visit(OWLDifferentIndividualsAxiom axiom)
void	OWLAxiomTypeProcessor.visit(OWLDifferentIndividualsAxiom axiom)
OWLAxiom	NNF.visit(OWLDifferentIndividualsAxiom axiom)
Integer	MaximumModalDepthFinder.visit(OWLDifferentIndividualsAxiom axiom)
Boolean	HornAxiomVisitorEx.visit(OWLDifferentIndividualsAxiom axiom)
void	HashCode.visit(OWLDifferentIndividualsAxiom axiom)
O	DelegatingObjectVisitorEx.visit(OWLDifferentIndividualsAxiom axiom)
void	DLExpressivityChecker.visit(OWLDifferentIndividualsAxiom axiom)
void	AxiomTypeProvider.visit(OWLDifferentIndividualsAxiom axiom) Deprecated.
void	AxiomSubjectProvider.visit(OWLDifferentIndividualsAxiom axiom)

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

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

Modifier and Type	Class and Description
class	OWLDifferentIndividualsAxiomImpl

Fields in uk.ac.manchester.cs.owl.owlapi with type parameters of type OWLDifferentIndividualsAxiom

Modifier and Type	Field and Description
protected MapPointer<OWLIndividual,OWLDifferentIndividualsAxiom>	AbstractInternalsImpl.differentIndividualsAxiomsByIndividual

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

Modifier and Type	Method and Description
OWLDifferentIndividualsAxiom	OWLDifferentIndividualsAxiomImpl.getAnnotatedAxiom(Set<OWLAnnotation> annotations)
OWLDifferentIndividualsAxiom	OWLDifferentIndividualsAxiomImpl.getAxiomWithoutAnnotations()
OWLDifferentIndividualsAxiom	OWLDataFactoryImpl.getOWLDifferentIndividualsAxiom(OWLIndividual... individuals)
OWLDifferentIndividualsAxiom	OWLDataFactoryImpl.getOWLDifferentIndividualsAxiom(Set<? extends OWLIndividual> individuals)
OWLDifferentIndividualsAxiom	OWLDataFactoryImpl.getOWLDifferentIndividualsAxiom(Set<? extends OWLIndividual> individuals, Set<? extends OWLAnnotation> annotations)

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

Modifier and Type	Method and Description
Set<OWLDifferentIndividualsAxiom>	OWLDifferentIndividualsAxiomImpl.asPairwiseAxioms()
Set<OWLDifferentIndividualsAxiom>	OWLOntologyImpl.getDifferentIndividualAxioms(OWLIndividual individual)
Internals.Pointer<OWLIndividual,OWLDifferentIndividualsAxiom>	Internals.getDifferentIndividualsAxiomsByIndividual()
MapPointer<OWLIndividual,OWLDifferentIndividualsAxiom>	AbstractInternalsImpl.getDifferentIndividualsAxiomsByIndividual()

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

Modifier and Type	Method and Description
void	OWLEntityCollectionContainerCollector.visit(OWLDifferentIndividualsAxiom axiom)
Collection<K>	InitVisitorFactory.InitCollectionVisitor.visit(OWLDifferentIndividualsAxiom axiom)
void	AbstractEntityRegistrationManager.visit(OWLDifferentIndividualsAxiom axiom)

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

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

Modifier and Type	Method and Description
void	ManchesterOWLSyntaxObjectRenderer.visit(OWLDifferentIndividualsAxiom axiom)

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

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

Modifier and Type	Method and Description
void	DLSyntaxObjectRenderer.visit(OWLDifferentIndividualsAxiom axiom)