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

Packages that use OWLDisjointClassesAxiom

Package	Description
org.semanticweb.owlapi.model	Main API classes.
org.semanticweb.owlapi.model.axiomproviders	Axiom provider classes.
org.semanticweb.owlapi.util	Utilities package.
org.semanticweb.owlapitools.builders	Builders package.

Uses of OWLDisjointClassesAxiom in org.semanticweb.owlapi.model

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

Modifier and Type	Field and Description
static AxiomType<OWLDisjointClassesAxiom>	AxiomType.DISJOINT_CLASSES DisjointClasses.

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

Modifier and Type	Method and Description
OWLDisjointClassesAxiom	OWLDisjointClassesAxiom.getAxiomWithoutAnnotations()
OWLDisjointClassesAxiom	OWLDisjointUnionAxiom.getOWLDisjointClassesAxiom() Gets the part of this axiom that corresponds to an DisjointClasses axiom.

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

Modifier and Type	Method and Description
Collection<OWLDisjointClassesAxiom>	OWLDisjointClassesAxiom.asPairwiseAxioms()
default Stream<OWLDisjointClassesAxiom>	OWLAxiomIndex.disjointClassesAxioms(OWLClass cls) Gets the set of disjoint class axioms that contain the specified class as an operand.
default Set<OWLDisjointClassesAxiom>	OWLAxiomIndex.getDisjointClassesAxioms(OWLClass cls) Deprecated. use the stream method
Collection<OWLDisjointClassesAxiom>	OWLDisjointClassesAxiom.splitToAnnotatedPairs()

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

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

Uses of OWLDisjointClassesAxiom in org.semanticweb.owlapi.model.axiomproviders

Methods in org.semanticweb.owlapi.model.axiomproviders that return OWLDisjointClassesAxiom

Modifier and Type	Method and Description
default OWLDisjointClassesAxiom	DisjointAxiomProvider.getOWLDisjointClassesAxiom(Collection<? extends OWLClassExpression> classExpressions)
OWLDisjointClassesAxiom	DisjointAxiomProvider.getOWLDisjointClassesAxiom(Collection<? extends OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)
default OWLDisjointClassesAxiom	DisjointAxiomProvider.getOWLDisjointClassesAxiom(OWLClassExpression... classExpressions)
default OWLDisjointClassesAxiom	DisjointAxiomProvider.getOWLDisjointClassesAxiom(OWLClassExpression classA, OWLClassExpression classB, Collection<OWLAnnotation> annotations)
default OWLDisjointClassesAxiom	DisjointAxiomProvider.getOWLDisjointClassesAxiom(Stream<? extends OWLClassExpression> classExpressions)
default OWLDisjointClassesAxiom	DisjointAxiomProvider.getOWLDisjointClassesAxiom(Stream<? extends OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)

Uses of OWLDisjointClassesAxiom in org.semanticweb.owlapi.util

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

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

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

Modifier and Type	Method and Description
OWLAxiom	NNF.visit(OWLDisjointClassesAxiom axiom)
OWLObject	AxiomSubjectProviderEx.visit(OWLDisjointClassesAxiom axiom)
Boolean	HornAxiomVisitorEx.visit(OWLDisjointClassesAxiom axiom)
void	OWLAnnotationPropertyTransformer.visit(OWLDisjointClassesAxiom ax)
O	DelegatingObjectVisitorEx.visit(OWLDisjointClassesAxiom axiom)
void	SimpleRenderer.visit(OWLDisjointClassesAxiom axiom)
OWLDisjointClassesAxiom	OWLObjectDuplicator.visit(OWLDisjointClassesAxiom ax)
OWLDisjointClassesAxiom	OWLObjectDesharer.visit(OWLDisjointClassesAxiom axiom)
void	DLExpressivityChecker.visit(OWLDisjointClassesAxiom axiom)
Integer	MaximumModalDepthFinder.visit(OWLDisjointClassesAxiom axiom)
void	StructureWalker.visit(OWLDisjointClassesAxiom axiom)

Uses of OWLDisjointClassesAxiom in org.semanticweb.owlapitools.builders

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

Modifier and Type	Method and Description
OWLDisjointClassesAxiom	BuilderDisjointClasses.buildObject()

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

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