Modifier and Type | Method and Description |
---|---|
OWLAxiom |
AbstractMacroExpansionVisitor.visit(OWLEquivalentClassesAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
static OWLEquivalentClassesAxiom |
OWLFunctionalSyntaxFactory.EquivalentClasses(Collection<OWLAnnotation> a,
OWLClassExpression... classExpressions) |
static OWLEquivalentClassesAxiom |
OWLFunctionalSyntaxFactory.EquivalentClasses(OWLClassExpression... classExpressions) |
Modifier and Type | Method and Description |
---|---|
void |
DebuggerClassExpressionGenerator.visit(OWLEquivalentClassesAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
DLSyntaxObjectRenderer.visit(OWLEquivalentClassesAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
FunctionalSyntaxObjectRenderer.visit(OWLEquivalentClassesAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
KRSS2ObjectRenderer.visit(OWLEquivalentClassesAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
LatexObjectVisitor.visit(OWLEquivalentClassesAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
ManchesterOWLSyntaxObjectRenderer.visit(OWLEquivalentClassesAxiom axiom) |
Modifier and Type | Field and Description |
---|---|
static AxiomType<OWLEquivalentClassesAxiom> |
AxiomType.EQUIVALENT_CLASSES
EquivalentClasses.
|
Modifier and Type | Method and Description |
---|---|
OWLEquivalentClassesAxiom |
OWLEquivalentClassesAxiom.getAxiomWithoutAnnotations() |
OWLEquivalentClassesAxiom |
OWLDisjointUnionAxiom.getOWLEquivalentClassesAxiom()
Gets the part of this axiom that corresponds to an
EquivalentClasses axiom. |
Modifier and Type | Method and Description |
---|---|
Collection<OWLEquivalentClassesAxiom> |
OWLEquivalentClassesAxiom.asPairwiseAxioms() |
default Stream<OWLEquivalentClassesAxiom> |
OWLAxiomIndex.equivalentClassesAxioms(OWLClass cls)
Gets all of the equivalent axioms in this ontology that contain the specified class as an
operand.
|
default Set<OWLEquivalentClassesAxiom> |
OWLAxiomIndex.getEquivalentClassesAxioms(OWLClass cls)
Gets all of the equivalent axioms in this ontology that contain the specified class as an
operand.
|
Collection<OWLEquivalentClassesAxiom> |
OWLEquivalentClassesAxiom.splitToAnnotatedPairs() |
Modifier and Type | Method and Description |
---|---|
default O |
OWLLogicalAxiomVisitorEx.visit(OWLEquivalentClassesAxiom axiom)
visit OWLEquivalentClassesAxiom type
|
default void |
OWLLogicalAxiomVisitor.visit(OWLEquivalentClassesAxiom axiom)
visit OWLEquivalentClassesAxiom type
|
Modifier and Type | Method and Description |
---|---|
void |
OWLXMLObjectRenderer.visit(OWLEquivalentClassesAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
ProfileVisitor.visit(OWLEquivalentClassesAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
AbstractTranslator.visit(OWLEquivalentClassesAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
OWLEquivalentClassesAxiom |
OWLObjectDuplicator.visit(OWLEquivalentClassesAxiom ax) |
OWLEquivalentClassesAxiom |
OWLObjectDesharer.visit(OWLEquivalentClassesAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
StructureWalker.visit(OWLEquivalentClassesAxiom axiom) |
void |
SimpleRendererDebug.visit(OWLEquivalentClassesAxiom axiom) |
void |
SimpleRenderer.visit(OWLEquivalentClassesAxiom axiom) |
OWLEquivalentClassesAxiom |
OWLObjectDuplicator.visit(OWLEquivalentClassesAxiom ax) |
OWLEquivalentClassesAxiom |
OWLObjectDesharer.visit(OWLEquivalentClassesAxiom axiom) |
void |
OWLAnnotationPropertyTransformer.visit(OWLEquivalentClassesAxiom ax) |
OWLAxiom |
NNF.visit(OWLEquivalentClassesAxiom axiom) |
Integer |
MaximumModalDepthFinder.visit(OWLEquivalentClassesAxiom axiom) |
Boolean |
HornAxiomVisitorEx.visit(OWLEquivalentClassesAxiom axiom) |
O |
DelegatingObjectVisitorEx.visit(OWLEquivalentClassesAxiom axiom) |
void |
DLExpressivityChecker.visit(OWLEquivalentClassesAxiom axiom) |
OWLObject |
AxiomSubjectProviderEx.visit(OWLEquivalentClassesAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
OWLEquivalentClassesAxiom |
BuilderEquivalentClasses.buildObject() |
Constructor and Description |
---|
BuilderEquivalentClasses(OWLEquivalentClassesAxiom expected,
OWLDataFactory df)
Builder initialized from an existing object.
|
Modifier and Type | Method and Description |
---|---|
void |
SyntacticLocalityChecker.visit(OWLEquivalentClassesAxiom axiom) |
void |
SemanticLocalityChecker.visit(OWLEquivalentClassesAxiom axiom) |
Modifier and Type | Class and Description |
---|---|
class |
OWLEquivalentClassesAxiomImpl |
Modifier and Type | Method and Description |
---|---|
OWLEquivalentClassesAxiom |
OWLEquivalentClassesAxiomImpl.getAxiomWithoutAnnotations() |
OWLEquivalentClassesAxiom |
OWLDisjointUnionAxiomImpl.getOWLEquivalentClassesAxiom() |
OWLEquivalentClassesAxiom |
OWLDataFactoryImpl.getOWLEquivalentClassesAxiom(Collection<? extends OWLClassExpression> classExpressions,
Collection<OWLAnnotation> annotations) |
Modifier and Type | Method and Description |
---|---|
Collection<OWLEquivalentClassesAxiom> |
OWLEquivalentClassesAxiomImpl.asPairwiseAxioms() |
Collection<OWLEquivalentClassesAxiom> |
OWLEquivalentClassesAxiomImpl.splitToAnnotatedPairs() |
Modifier and Type | Method and Description |
---|---|
Stream<K> |
InitVisitorFactory.InitCollectionVisitor.visit(OWLEquivalentClassesAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
Stream<OWLEquivalentClassesAxiom> |
ConcurrentOWLOntologyImpl.equivalentClassesAxioms(OWLClass cls) |
Set<OWLEquivalentClassesAxiom> |
ConcurrentOWLOntologyImpl.getEquivalentClassesAxioms(OWLClass owlClass) |
Copyright © 2020 The University of Manchester. All rights reserved.