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

Packages that use OWLDifferentIndividualsAxiom

Package	Description
org.semanticweb.owlapi.model	Main API classes.
org.semanticweb.owlapi.util	Utilities package

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>	OWLAxiomIndex.getDifferentIndividualAxioms(OWLIndividual individual) Gets the OWLDifferentIndividualsAxioms contained in this ontology that make the specified individual different to some other individual.
Set<OWLDifferentIndividualsAxiom>	OWLDifferentIndividualsAxiom.splitToAnnotatedPairs()

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

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	OWLObjectTypeIndexProvider.visit(OWLDifferentIndividualsAxiom axiom)
void	OWLObjectDuplicator.visit(OWLDifferentIndividualsAxiom axiom)
void	OWLObjectComponentCollector.visit(OWLDifferentIndividualsAxiom axiom)
Collection<OWLEntity>	OWLEntityCollector.visit(OWLDifferentIndividualsAxiom axiom)
O	OWLAxiomVisitorExAdapter.visit(OWLDifferentIndividualsAxiom axiom)
void	OWLAxiomVisitorAdapter.visit(OWLDifferentIndividualsAxiom axiom)
void	OWLAnonymousIndividualsWithMultipleOccurrences.visit(OWLDifferentIndividualsAxiom axiom)
void	OWLAnnotationPropertyTransformer.visit(OWLDifferentIndividualsAxiom axiom)
OWLAxiom	NNF.visit(OWLDifferentIndividualsAxiom axiom)
void	HashCode.visit(OWLDifferentIndividualsAxiom axiom)
void	DLExpressivityChecker.visit(OWLDifferentIndividualsAxiom axiom)
void	DeprecatedOWLEntityCollector.visit(OWLDifferentIndividualsAxiom axiom) Deprecated.
O	DelegatingObjectVisitorEx.visit(OWLDifferentIndividualsAxiom axiom)
void	AxiomSubjectProvider.visit(OWLDifferentIndividualsAxiom axiom)