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

Packages that use OWLDifferentIndividualsAxiom

Package	Description
org.semanticweb.owlapi.model	Main API classes.
org.semanticweb.owlapi.model.providers	Provider interfaces.
org.semanticweb.owlapi.util	Utilities package.
org.semanticweb.owlapitools.builders	Builders 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()

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

Modifier and Type	Method and Description
Collection<OWLDifferentIndividualsAxiom>	OWLDifferentIndividualsAxiom.asPairwiseAxioms()
default Stream<OWLDifferentIndividualsAxiom>	OWLAxiomIndex.differentIndividualAxioms(OWLIndividual individual) Gets the OWLDifferentIndividualsAxioms contained in this ontology that make the specified individual different to some other individual.
default Set<OWLDifferentIndividualsAxiom>	OWLAxiomIndex.getDifferentIndividualAxioms(OWLIndividual individual) Deprecated. use the stream method
Collection<OWLDifferentIndividualsAxiom>	OWLDifferentIndividualsAxiom.splitToAnnotatedPairs()

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

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

Uses of OWLDifferentIndividualsAxiom in org.semanticweb.owlapi.model.providers

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

Modifier and Type	Method and Description
default OWLDifferentIndividualsAxiom	IndividualAssertionProvider.getOWLDifferentIndividualsAxiom(Collection<? extends OWLIndividual> individuals)
OWLDifferentIndividualsAxiom	IndividualAssertionProvider.getOWLDifferentIndividualsAxiom(Collection<? extends OWLIndividual> individuals, Collection<OWLAnnotation> annotations)
default OWLDifferentIndividualsAxiom	IndividualAssertionProvider.getOWLDifferentIndividualsAxiom(OWLIndividual... individuals)
default OWLDifferentIndividualsAxiom	IndividualAssertionProvider.getOWLDifferentIndividualsAxiom(OWLIndividual i, OWLIndividual j, Collection<OWLAnnotation> annotations)

Uses of OWLDifferentIndividualsAxiom in org.semanticweb.owlapi.util

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

Modifier and Type	Method and Description
OWLDifferentIndividualsAxiom	OWLObjectDuplicator.visit(OWLDifferentIndividualsAxiom ax)
OWLDifferentIndividualsAxiom	OWLObjectDesharer.visit(OWLDifferentIndividualsAxiom axiom)

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

Modifier and Type	Method and Description
OWLObject	AxiomSubjectProviderEx.visit(OWLDifferentIndividualsAxiom axiom)
void	OWLAnnotationPropertyTransformer.visit(OWLDifferentIndividualsAxiom ax)
O	DelegatingObjectVisitorEx.visit(OWLDifferentIndividualsAxiom axiom)
void	SimpleRenderer.visit(OWLDifferentIndividualsAxiom axiom)
OWLDifferentIndividualsAxiom	OWLObjectDuplicator.visit(OWLDifferentIndividualsAxiom ax)
OWLDifferentIndividualsAxiom	OWLObjectDesharer.visit(OWLDifferentIndividualsAxiom axiom)
void	DLExpressivityChecker.visit(OWLDifferentIndividualsAxiom axiom)
void	StructureWalker.visit(OWLDifferentIndividualsAxiom axiom)

Uses of OWLDifferentIndividualsAxiom in org.semanticweb.owlapitools.builders

Methods in org.semanticweb.owlapitools.builders that return OWLDifferentIndividualsAxiom

Modifier and Type	Method and Description
OWLDifferentIndividualsAxiom	BuilderDifferentIndividuals.buildObject()

Constructors in org.semanticweb.owlapitools.builders with parameters of type OWLDifferentIndividualsAxiom

Constructor and Description
BuilderDifferentIndividuals(OWLDifferentIndividualsAxiom expected, OWLDataFactory df) Builder initialized from an existing object.