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

Packages that use OWLSameIndividualAxiom

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 OWLSameIndividualAxiom in de.uulm.ecs.ai.owlapi.krssrenderer

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

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

Uses of OWLSameIndividualAxiom in org.coode.owlapi.functionalrenderer

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

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

Uses of OWLSameIndividualAxiom in org.coode.owlapi.latex

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

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

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

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

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

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

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

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

Uses of OWLSameIndividualAxiom in org.semanticweb.owlapi.apibinding

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

Modifier and Type	Method and Description
static OWLSameIndividualAxiom	OWLFunctionalSyntaxFactory.SameIndividual(OWLIndividual... individuals)

Uses of OWLSameIndividualAxiom in org.semanticweb.owlapi.debugging

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

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

Uses of OWLSameIndividualAxiom in org.semanticweb.owlapi.model

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

Modifier and Type	Field and Description
static AxiomType<OWLSameIndividualAxiom>	AxiomType.SAME_INDIVIDUAL SameIndividual

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

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

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

Modifier and Type	Method and Description
Set<OWLSameIndividualAxiom>	OWLSameIndividualAxiom.asPairwiseAxioms()
Set<OWLSameIndividualAxiom>	OWLOntology.getSameIndividualAxioms(OWLIndividual individual) Gets the OWLSameIndividualAxioms contained in this ontology that make the specified individual the same as some other individual.

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

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

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

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

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

Uses of OWLSameIndividualAxiom in org.semanticweb.owlapi.util

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

Modifier and Type	Method and Description
void	StructureWalker.visit(OWLSameIndividualAxiom axiom)
void	SimpleRenderer.visit(OWLSameIndividualAxiom axiom)
O	OWLObjectVisitorExAdapter.visit(OWLSameIndividualAxiom axiom)
void	OWLObjectVisitorAdapter.visit(OWLSameIndividualAxiom axiom)
void	OWLObjectTypeIndexProvider.visit(OWLSameIndividualAxiom axiom)
void	OWLObjectDuplicator.visit(OWLSameIndividualAxiom axiom)
void	OWLObjectComponentCollector.visit(OWLSameIndividualAxiom axiom)
void	OWLEntityCollector.visit(OWLSameIndividualAxiom axiom)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLSameIndividualAxiom axiom)
O	OWLAxiomVisitorExAdapter.visit(OWLSameIndividualAxiom axiom)
void	OWLAxiomVisitorAdapter.visit(OWLSameIndividualAxiom axiom)
void	OWLAxiomTypeProcessor.visit(OWLSameIndividualAxiom axiom)
OWLAxiom	NNF.visit(OWLSameIndividualAxiom axiom)
Integer	MaximumModalDepthFinder.visit(OWLSameIndividualAxiom axiom)
Boolean	HornAxiomVisitorEx.visit(OWLSameIndividualAxiom axiom)
void	HashCode.visit(OWLSameIndividualAxiom axiom)
O	DelegatingObjectVisitorEx.visit(OWLSameIndividualAxiom axiom)
void	DLExpressivityChecker.visit(OWLSameIndividualAxiom axiom)
void	AxiomTypeProvider.visit(OWLSameIndividualAxiom axiom) Deprecated.
void	AxiomSubjectProvider.visit(OWLSameIndividualAxiom axiom)

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

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

Modifier and Type	Class and Description
class	OWLSameIndividualAxiomImpl

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

Modifier and Type	Field and Description
protected MapPointer<OWLIndividual,OWLSameIndividualAxiom>	AbstractInternalsImpl.sameIndividualsAxiomsByIndividual

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

Modifier and Type	Method and Description
OWLSameIndividualAxiom	OWLSameIndividualAxiomImpl.getAnnotatedAxiom(Set<OWLAnnotation> annotations)
OWLSameIndividualAxiom	OWLSameIndividualAxiomImpl.getAxiomWithoutAnnotations()
OWLSameIndividualAxiom	OWLDataFactoryImpl.getOWLSameIndividualAxiom(OWLIndividual... individuals)
OWLSameIndividualAxiom	OWLDataFactoryImpl.getOWLSameIndividualAxiom(Set<? extends OWLIndividual> individuals)
OWLSameIndividualAxiom	OWLDataFactoryImpl.getOWLSameIndividualAxiom(Set<? extends OWLIndividual> individuals, Set<? extends OWLAnnotation> annotations)

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

Modifier and Type	Method and Description
Set<OWLSameIndividualAxiom>	OWLSameIndividualAxiomImpl.asPairwiseAxioms()
Set<OWLSameIndividualAxiom>	OWLSameIndividualAxiomImpl.asPairwiseSameIndividualAxioms() Deprecated.
Set<OWLSameIndividualAxiom>	OWLOntologyImpl.getSameIndividualAxioms(OWLIndividual individual)
Internals.Pointer<OWLIndividual,OWLSameIndividualAxiom>	Internals.getSameIndividualsAxiomsByIndividual()
MapPointer<OWLIndividual,OWLSameIndividualAxiom>	AbstractInternalsImpl.getSameIndividualsAxiomsByIndividual()

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

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

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

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

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

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

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

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