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

Packages that use OWLEquivalentClassesAxiom

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

Uses of OWLEquivalentClassesAxiom in org.semanticweb.owlapi.model

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

Modifier and Type	Field and Description
static AxiomType<OWLEquivalentClassesAxiom>	AxiomType.EQUIVALENT_CLASSES EquivalentClasses

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

Modifier and Type	Method and Description
OWLEquivalentClassesAxiom	OWLEquivalentClassesAxiom.getAxiomWithoutAnnotations()
OWLEquivalentClassesAxiom	OWLDisjointUnionAxiom.getOWLEquivalentClassesAxiom() Gets the part of this axiom that corresponds to an EquivalentClasses axiom.
OWLEquivalentClassesAxiom	OWLDataFactory.getOWLEquivalentClassesAxiom(OWLClassExpression... classExpressions)
OWLEquivalentClassesAxiom	OWLDataFactory.getOWLEquivalentClassesAxiom(OWLClassExpression clsA, OWLClassExpression clsB)
OWLEquivalentClassesAxiom	OWLDataFactory.getOWLEquivalentClassesAxiom(OWLClassExpression clsA, OWLClassExpression clsB, Set<? extends OWLAnnotation> annotations)
OWLEquivalentClassesAxiom	OWLDataFactory.getOWLEquivalentClassesAxiom(Set<? extends OWLClassExpression> classExpressions)
OWLEquivalentClassesAxiom	OWLDataFactory.getOWLEquivalentClassesAxiom(Set<? extends OWLClassExpression> classExpressions, Set<? extends OWLAnnotation> annotations)

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

Modifier and Type	Method and Description
Set<OWLEquivalentClassesAxiom>	OWLEquivalentClassesAxiom.asPairwiseAxioms()
Set<OWLEquivalentClassesAxiom>	OWLOntology.getEquivalentClassesAxioms(OWLClass cls) Gets all of the equivalent axioms in this ontology that contain the specified class as an operand.

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

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

Uses of OWLEquivalentClassesAxiom in org.semanticweb.owlapi.util

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

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

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

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