| Modifier and Type | Field and Description |
|---|---|
static EntityType<OWLDataProperty> |
EntityType.DATA_PROPERTY
data property entity
|
| Modifier and Type | Method and Description |
|---|---|
OWLDataProperty |
OWLEntity.asOWLDataProperty()
A convenience method that obtains this entity as an OWLDataProperty (in order to
avoid explicit casting).
|
OWLDataProperty |
OWLDataPropertyExpression.asOWLDataProperty()
If the property is a named data property then this method will
obtain the property as such.
|
OWLDataProperty |
OWLDataFactory.getOWLBottomDataProperty() |
OWLDataProperty |
OWLDataFactory.getOWLDataProperty(IRI iri)
Gets an OWL data property that has the specified IRI
|
OWLDataProperty |
OWLDataFactory.getOWLDataProperty(String abbreviatedIRI,
PrefixManager prefixManager)
Gets an OWLDataProperty that has an IRI that is obtained by expanding an
abbreviated name using an appropriate prefix mapping.
|
OWLDataProperty |
OWLDataFactory.getOWLTopDataProperty() |
| Modifier and Type | Method and Description |
|---|---|
Set<OWLDataProperty> |
OWLOntology.getDataPropertiesInSignature()
Gets the data properties that are in the signature of this ontology.
|
Set<OWLDataProperty> |
OWLObject.getDataPropertiesInSignature()
A convenience method that obtains the data properties
that are in the signature of this object
|
Set<OWLDataProperty> |
IRI.getDataPropertiesInSignature() |
Set<OWLDataProperty> |
OWLOntology.getDataPropertiesInSignature(boolean includeImportsClosure)
Gets the data properties that are in the signature of this ontology, and possibly the imports closure of this
ontology.
|
| Modifier and Type | Method and Description |
|---|---|
Set<OWLDataPropertyAxiom> |
OWLOntology.getAxioms(OWLDataProperty prop)
Gets the axioms that form the definition/description of a data property.
|
Set<OWLDataPropertyDomainAxiom> |
OWLOntology.getDataPropertyDomainAxioms(OWLDataProperty property)
Gets the
OWLDataPropertyDomainAxioms where the property (returned by
OWLUnaryPropertyAxiom.getProperty()) is equal to the specified property. |
Set<OWLDataPropertyRangeAxiom> |
OWLOntology.getDataPropertyRangeAxioms(OWLDataProperty property)
Gets the
OWLDataPropertyRangeAxioms where the property (returned by
OWLUnaryPropertyAxiom.getProperty()) is equal to the
specified property. |
Set<OWLSubDataPropertyOfAxiom> |
OWLOntology.getDataSubPropertyAxiomsForSubProperty(OWLDataProperty subProperty)
Gets the
OWLSubDataPropertyOfAxioms where the sub-property is equal to the specified property. |
Set<OWLDisjointDataPropertiesAxiom> |
OWLOntology.getDisjointDataPropertiesAxioms(OWLDataProperty property)
Gets the
OWLDisjointDataPropertiesAxioms that make the specified property
disjoint with some other data property expression(s). |
Set<OWLEquivalentDataPropertiesAxiom> |
OWLOntology.getEquivalentDataPropertiesAxioms(OWLDataProperty property)
Gets the
OWLEquivalentDataPropertiesAxioms that make the specified property
equivalent to some other data property expression(s). |
O |
OWLPropertyExpressionVisitorEx.visit(OWLDataProperty property) |
void |
OWLPropertyExpressionVisitor.visit(OWLDataProperty property) |
O |
OWLNamedObjectVisitorEx.visit(OWLDataProperty property) |
void |
OWLNamedObjectVisitor.visit(OWLDataProperty property) |
O |
OWLEntityVisitorEx.visit(OWLDataProperty property) |
void |
OWLEntityVisitor.visit(OWLDataProperty property) |
| Modifier and Type | Method and Description |
|---|---|
OWLDataProperty |
UseOfUndeclaredDataProperty.getOWLDataProperty() |
OWLDataProperty |
UseOfReservedVocabularyForDataPropertyIRI.getOWLDataProperty() |
| Constructor and Description |
|---|
UseOfReservedVocabularyForDataPropertyIRI(OWLOntology ontology,
OWLAxiom axiom,
OWLDataProperty property) |
UseOfUndeclaredDataProperty(OWLOntology ontology,
OWLAxiom axiom,
OWLDataProperty prop) |
| Modifier and Type | Method and Description |
|---|---|
Node<OWLDataProperty> |
OWLReasoner.getBottomDataPropertyNode()
Gets the
Node corresponding to the bottom node (containing owl:bottomDataProperty) in the
data property hierarchy. |
NodeSet<OWLDataProperty> |
OWLReasoner.getDisjointDataProperties(OWLDataPropertyExpression pe)
Gets the data properties that are disjoint with the specified data property expression
pe. |
Node<OWLDataProperty> |
OWLReasoner.getEquivalentDataProperties(OWLDataProperty pe)
Gets the set of named data properties that are equivalent to the specified data property expression with
respect to the imports closure of the root ontology.
|
NodeSet<OWLDataProperty> |
OWLReasoner.getSubDataProperties(OWLDataProperty pe,
boolean direct)
Gets the set of named data properties that are the strict (potentially direct) subproperties of the specified
data property expression with respect to the imports closure of the root ontology.
|
NodeSet<OWLDataProperty> |
OWLReasoner.getSuperDataProperties(OWLDataProperty pe,
boolean direct)
Gets the set of named data properties that are the strict (potentially direct) super properties of the specified
data property with respect to the imports closure of the root ontology.
|
Node<OWLDataProperty> |
OWLReasoner.getTopDataPropertyNode()
Gets the
Node corresponding to the top node (containing owl:topDataProperty)
in the data property hierarchy. |
| Modifier and Type | Method and Description |
|---|---|
NodeSet<OWLClass> |
OWLReasoner.getDataPropertyDomains(OWLDataProperty pe,
boolean direct)
Gets the named classes that are the direct or indirect domains of this property with respect to the imports
closure of the root ontology.
|
Set<OWLLiteral> |
OWLReasoner.getDataPropertyValues(OWLNamedIndividual ind,
OWLDataProperty pe)
Gets the data property values for the specified individual and data property expression.
|
Node<OWLDataProperty> |
OWLReasoner.getEquivalentDataProperties(OWLDataProperty pe)
Gets the set of named data properties that are equivalent to the specified data property expression with
respect to the imports closure of the root ontology.
|
NodeSet<OWLDataProperty> |
OWLReasoner.getSubDataProperties(OWLDataProperty pe,
boolean direct)
Gets the set of named data properties that are the strict (potentially direct) subproperties of the specified
data property expression with respect to the imports closure of the root ontology.
|
NodeSet<OWLDataProperty> |
OWLReasoner.getSuperDataProperties(OWLDataProperty pe,
boolean direct)
Gets the set of named data properties that are the strict (potentially direct) super properties of the specified
data property with respect to the imports closure of the root ontology.
|
| Modifier and Type | Method and Description |
|---|---|
Node<OWLDataProperty> |
OWLKnowledgeExplorerReasoner.getDataNeighbours(OWLKnowledgeExplorerReasoner.RootNode node,
boolean deterministicOnly) |
| Modifier and Type | Method and Description |
|---|---|
Collection<OWLKnowledgeExplorerReasoner.RootNode> |
OWLKnowledgeExplorerReasoner.getDataNeighbours(OWLKnowledgeExplorerReasoner.RootNode node,
OWLDataProperty property) |
| Modifier and Type | Method and Description |
|---|---|
protected Set<OWLDataProperty> |
InferredDataPropertyAxiomGenerator.getEntities(OWLOntology ont) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
InferredDataPropertyCharacteristicAxiomGenerator.addAxioms(OWLDataProperty entity,
OWLReasoner reasoner,
OWLDataFactory dataFactory,
Set<OWLDataPropertyCharacteristicAxiom> result) |
protected void |
InferredEquivalentDataPropertiesAxiomGenerator.addAxioms(OWLDataProperty entity,
OWLReasoner reasoner,
OWLDataFactory dataFactory,
Set<OWLEquivalentDataPropertiesAxiom> result) |
protected void |
InferredSubDataPropertyAxiomGenerator.addAxioms(OWLDataProperty entity,
OWLReasoner reasoner,
OWLDataFactory dataFactory,
Set<OWLSubDataPropertyOfAxiom> result) |
void |
SimpleRenderer.visit(OWLDataProperty property) |
O |
OWLObjectVisitorExAdapter.visit(OWLDataProperty property) |
void |
OWLObjectVisitorAdapter.visit(OWLDataProperty property) |
void |
OWLObjectTypeIndexProvider.visit(OWLDataProperty property) |
void |
OWLObjectDuplicator.visit(OWLDataProperty property) |
void |
OWLObjectComponentCollector.visit(OWLDataProperty property) |
O |
OWLEntityVisitorExAdapter.visit(OWLDataProperty property) |
void |
OWLEntityVisitorAdapter.visit(OWLDataProperty property) |
void |
OWLEntityRemover.visit(OWLDataProperty property) |
void |
OWLEntityComparator.visit(OWLDataProperty property) |
void |
OWLEntityCollector.visit(OWLDataProperty property) |
Set<OWLClassExpression> |
OWLClassExpressionCollector.visit(OWLDataProperty property) |
Integer |
MaximumModalDepthFinder.visit(OWLDataProperty property) |
void |
HashCode.visit(OWLDataProperty property) |
void |
DLExpressivityChecker.visit(OWLDataProperty property) |
O |
DelegatingObjectVisitorEx.visit(OWLDataProperty property) |
| Modifier and Type | Method and Description |
|---|---|
static Set<OWLDataProperty> |
SKOSVocabulary.getDataProperties(OWLDataFactory dataFactory) |
Copyright © 2013 The University of Manchester. All Rights Reserved.