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

Packages that use OWLDisjointClassesAxiom

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

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.
OWLDisjointClassesAxiom	OWLDataFactory.getOWLDisjointClassesAxiom(OWLClassExpression... classExpressions)
OWLDisjointClassesAxiom	OWLDataFactory.getOWLDisjointClassesAxiom(Set<? extends OWLClassExpression> classExpressions)
OWLDisjointClassesAxiom	OWLDataFactory.getOWLDisjointClassesAxiom(Set<? extends OWLClassExpression> classExpressions, Set<? extends OWLAnnotation> annotations)

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

Modifier and Type	Method and Description
Set<OWLDisjointClassesAxiom>	OWLDisjointClassesAxiom.asPairwiseAxioms()
Set<OWLDisjointClassesAxiom>	OWLOntology.getDisjointClassesAxioms(OWLClass cls) Gets the set of disjoint class axioms that contain the specified class as an operand.

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

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

Uses of OWLDisjointClassesAxiom in org.semanticweb.owlapi.util

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

Modifier and Type	Method and Description
void	SimpleRenderer.visit(OWLDisjointClassesAxiom axiom)
O	OWLObjectVisitorExAdapter.visit(OWLDisjointClassesAxiom axiom)
void	OWLObjectVisitorAdapter.visit(OWLDisjointClassesAxiom axiom)
void	OWLObjectTypeIndexProvider.visit(OWLDisjointClassesAxiom axiom)
void	OWLObjectDuplicator.visit(OWLDisjointClassesAxiom axiom)
void	OWLObjectComponentCollector.visit(OWLDisjointClassesAxiom axiom)
void	OWLEntityCollector.visit(OWLDisjointClassesAxiom axiom)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLDisjointClassesAxiom axiom)
O	OWLAxiomVisitorExAdapter.visit(OWLDisjointClassesAxiom axiom)
void	OWLAxiomVisitorAdapter.visit(OWLDisjointClassesAxiom axiom)
void	OWLAxiomTypeProcessor.visit(OWLDisjointClassesAxiom axiom)
OWLAxiom	NNF.visit(OWLDisjointClassesAxiom axiom)
Integer	MaximumModalDepthFinder.visit(OWLDisjointClassesAxiom axiom)
Boolean	HornAxiomVisitorEx.visit(OWLDisjointClassesAxiom axiom)
void	HashCode.visit(OWLDisjointClassesAxiom axiom)
void	DLExpressivityChecker.visit(OWLDisjointClassesAxiom axiom)
O	DelegatingObjectVisitorEx.visit(OWLDisjointClassesAxiom axiom)
void	AxiomTypeProvider.visit(OWLDisjointClassesAxiom axiom) Deprecated.
void	AxiomSubjectProvider.visit(OWLDisjointClassesAxiom axiom)

Method parameters in org.semanticweb.owlapi.util with type arguments of type OWLDisjointClassesAxiom

Modifier and Type	Method and Description
protected void	InferredDisjointClassesAxiomGenerator.addAxioms(OWLClass entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLDisjointClassesAxiom> result)