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

Packages that use OWLSameIndividualsAxiom

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 OWLSameIndividualsAxiom in org.semanticweb.owl.impl.model

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

class

OWLSameIndividualsAxiomImpl An axiom asserting that a number of individuals are the same.

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

OWLSameIndividualsAxiom

OWLDataFactoryImpl.getOWLSameIndividualsAxiom(Set set)

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

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

void	RenderingVisitor.visit(OWLSameIndividualsAxiom ax)

Uses of OWLSameIndividualsAxiom in org.semanticweb.owl.model

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

OWLSameIndividualsAxiom

OWLDataFactory.getOWLSameIndividualsAxiom(Set set)

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

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

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

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

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

Uses of OWLSameIndividualsAxiom 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 OWLSameIndividualsAxiom

void	RenderingVisitor.visit(OWLSameIndividualsAxiom ax)

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

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

void	RenderingVisitor.visit(OWLSameIndividualsAxiom ax)

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

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

void	RenderingVisitor.visit(OWLSameIndividualsAxiom ax)

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

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

void	RenderingVisitor.visit(OWLSameIndividualsAxiom ax)

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

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

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