Modifier and Type | Method and Description |
---|---|
void |
KRSSObjectRenderer.visit(OWLEquivalentDataPropertiesAxiom axiom) |
void |
KRSS2ObjectRenderer.visit(OWLEquivalentDataPropertiesAxiom axiom) |
void |
KRSS2OWLObjectRenderer.visit(OWLEquivalentDataPropertiesAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
OWLObjectRenderer.visit(OWLEquivalentDataPropertiesAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
LatexObjectVisitor.visit(OWLEquivalentDataPropertiesAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
OWLXMLObjectRenderer.visit(OWLEquivalentDataPropertiesAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
AbstractTranslator.visit(OWLEquivalentDataPropertiesAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
static OWLEquivalentDataPropertiesAxiom |
OWLFunctionalSyntaxFactory.EquivalentDataProperties(OWLDataPropertyExpression... properties) |
static OWLEquivalentDataPropertiesAxiom |
OWLFunctionalSyntaxFactory.EquivalentDataProperties(Set<OWLAnnotation> a,
OWLDataPropertyExpression... properties) |
Modifier and Type | Method and Description |
---|---|
void |
DebuggerClassExpressionGenerator.visit(OWLEquivalentDataPropertiesAxiom axiom) |
Modifier and Type | Field and Description |
---|---|
static AxiomType<OWLEquivalentDataPropertiesAxiom> |
AxiomType.EQUIVALENT_DATA_PROPERTIES
EquivalentDataProperties
|
Modifier and Type | Method and Description |
---|---|
Set<OWLEquivalentDataPropertiesAxiom> |
OWLOntology.getEquivalentDataPropertiesAxioms(OWLDataProperty property)
Gets the
OWLEquivalentDataPropertiesAxiom s
that make the specified property equivalent to some other data property
expression(s). |
Modifier and Type | Method and Description |
---|---|
O |
OWLLogicalAxiomVisitorEx.visit(OWLEquivalentDataPropertiesAxiom axiom)
visit OWLEquivalentDataPropertiesAxiom type
|
void |
OWLLogicalAxiomVisitor.visit(OWLEquivalentDataPropertiesAxiom axiom)
visit OWLEquivalentDataPropertiesAxiom type
|
O |
OWLAxiomVisitorEx.visit(OWLEquivalentDataPropertiesAxiom axiom)
visit OWLEquivalentDataPropertiesAxiom type
|
void |
OWLAxiomVisitor.visit(OWLEquivalentDataPropertiesAxiom axiom)
visit OWLEquivalentDataPropertiesAxiom type
|
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
SatisfiabilityReducer.visit(OWLEquivalentDataPropertiesAxiom axiom) |
Modifier and Type | Class and Description |
---|---|
class |
OWLEquivalentDataPropertiesAxiomImpl |
Modifier and Type | Method and Description |
---|---|
Set<OWLEquivalentDataPropertiesAxiom> |
OWLOntologyImpl.getEquivalentDataPropertiesAxioms(OWLDataProperty property) |
Internals.Pointer<OWLDataPropertyExpression,OWLEquivalentDataPropertiesAxiom> |
Internals.getEquivalentDataPropertyAxiomsByProperty() |
MapPointer<OWLDataPropertyExpression,OWLEquivalentDataPropertiesAxiom> |
AbstractInternalsImpl.getEquivalentDataPropertyAxiomsByProperty() |
Modifier and Type | Method and Description |
---|---|
void |
OWLEntityCollectionContainerCollector.visit(OWLEquivalentDataPropertiesAxiom axiom) |
Collection<K> |
InitVisitorFactory.InitCollectionVisitor.visit(OWLEquivalentDataPropertiesAxiom axiom) |
void |
AbstractEntityRegistrationManager.visit(OWLEquivalentDataPropertiesAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
ManchesterOWLSyntaxObjectRenderer.visit(OWLEquivalentDataPropertiesAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
DLSyntaxObjectRenderer.visit(OWLEquivalentDataPropertiesAxiom axiom) |
Copyright © 2017 The University of Manchester. All Rights Reserved.