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

Packages that use OWLDifferentIndividualsAxiom

Package	Description
org.semanticweb.owlapi.model
org.semanticweb.owlapi.util

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.util

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

Modifier and Type	Method and Description
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)
void	DLExpressivityChecker.visit(OWLDifferentIndividualsAxiom axiom)
O	DelegatingObjectVisitorEx.visit(OWLDifferentIndividualsAxiom axiom)
void	AxiomTypeProvider.visit(OWLDifferentIndividualsAxiom axiom) Deprecated.
void	AxiomSubjectProvider.visit(OWLDifferentIndividualsAxiom axiom)