Modifier and Type | Method and Description |
---|---|
static OWLDataProperty |
OWLFunctionalSyntaxFactory.createDataProperty() |
static OWLDataProperty |
OWLFunctionalSyntaxFactory.DataProperty(IRI iri) |
static OWLDataProperty |
OWLFunctionalSyntaxFactory.DataProperty(String abbreviatedIRI,
PrefixManager pm) |
Modifier and Type | Method and Description |
---|---|
void |
DLSyntaxObjectRenderer.visit(OWLDataProperty property) |
Modifier and Type | Method and Description |
---|---|
OWLDataProperty |
ShortFormEntityChecker.getOWLDataProperty(String name) |
OWLDataProperty |
OWLEntityChecker.getOWLDataProperty(String name) |
Modifier and Type | Method and Description |
---|---|
OWLDataProperty |
OWLFunctionalSyntaxParser.DataProperty() |
OWLDataProperty |
OWLFunctionalSyntaxParser.DataPropertyIRI() |
Modifier and Type | Method and Description |
---|---|
void |
FunctionalSyntaxObjectRenderer.visit(OWLDataProperty property) |
Modifier and Type | Method and Description |
---|---|
void |
KRSSObjectRenderer.visit(OWLDataProperty property) |
void |
KRSS2OWLObjectRenderer.visit(OWLDataProperty property) |
Modifier and Type | Method and Description |
---|---|
void |
LatexObjectVisitor.visit(OWLDataProperty property) |
Modifier and Type | Method and Description |
---|---|
Set<OWLDataProperty> |
ManchesterOWLSyntaxParserImpl.parseDataPropertyList() |
Modifier and Type | Method and Description |
---|---|
void |
ManchesterOWLSyntaxObjectRenderer.visit(OWLDataProperty property) |
Collection<OWLAxiom> |
ManchesterOWLSyntaxFrameRenderer.write(OWLDataProperty property) |
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 |
OWLDataPropertyProvider.getOWLDataProperty(IRI iri)
Gets an instance of
OWLDataProperty 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> |
IRI.getDataPropertiesInSignature() |
Set<OWLDataProperty> |
HasDataPropertiesInSignature.getDataPropertiesInSignature()
A convenience method that obtains the data properties that are in the
signature of this object
|
Set<OWLDataProperty> |
OWLSignatureBooleanArgs.getDataPropertiesInSignature(boolean includeImportsClosure)
Deprecated.
|
Set<OWLDataProperty> |
OWLSignature.getDataPropertiesInSignature(Imports includeImportsClosure)
Gets the data properties in the signature and optionally the imports closure.
|
Modifier and Type | Method and Description |
---|---|
Set<OWLDataPropertyAxiom> |
OWLAxiomCollectionNoArgs.getAxioms(OWLDataProperty property)
Deprecated.
|
Set<OWLDataPropertyAxiom> |
OWLAxiomCollectionBooleanArgs.getAxioms(OWLDataProperty property,
boolean includeImportsClosure)
Deprecated.
|
Set<OWLDataPropertyAxiom> |
OWLAxiomCollection.getAxioms(OWLDataProperty property,
Imports includeImportsClosure)
Gets the axioms that form the definition/description of a data property.
|
Set<OWLDataPropertyDomainAxiom> |
OWLAxiomIndex.getDataPropertyDomainAxioms(OWLDataProperty property)
Gets the
OWLDataPropertyDomainAxiom s where the property is equal
to the specified property. |
Set<OWLDataPropertyRangeAxiom> |
OWLAxiomIndex.getDataPropertyRangeAxioms(OWLDataProperty property)
Gets the
OWLDataPropertyRangeAxiom s where the property is equal
to the specified property. |
Set<OWLSubDataPropertyOfAxiom> |
OWLAxiomIndex.getDataSubPropertyAxiomsForSubProperty(OWLDataProperty subProperty)
Gets the
OWLSubDataPropertyOfAxiom s where the sub-property is
equal to the specified property. |
Set<OWLDisjointDataPropertiesAxiom> |
OWLAxiomIndex.getDisjointDataPropertiesAxioms(OWLDataProperty property)
Gets the
OWLDisjointDataPropertiesAxiom s that make the specified
property disjoint with some other data property expression(s). |
Set<OWLEquivalentDataPropertiesAxiom> |
OWLAxiomIndex.getEquivalentDataPropertiesAxioms(OWLDataProperty property)
Gets the
OWLEquivalentDataPropertiesAxiom s that make the
specified property equivalent to some other data property expression(s). |
O |
OWLPropertyExpressionVisitorEx.visit(OWLDataProperty property)
visit OWLDataProperty type
|
void |
OWLPropertyExpressionVisitor.visit(OWLDataProperty property)
visit OWLDataProperty type
|
O |
OWLNamedObjectVisitorEx.visit(OWLDataProperty property)
visit OWLDataProperty type
|
void |
OWLNamedObjectVisitor.visit(OWLDataProperty property)
visit OWLDataProperty type
|
O |
OWLEntityVisitorEx.visit(OWLDataProperty property)
visit OWLDataProperty type
|
void |
OWLEntityVisitor.visit(OWLDataProperty property)
visit OWLDataProperty type
|
Modifier and Type | Method and Description |
---|---|
void |
OWLXMLObjectRenderer.visit(OWLDataProperty property) |
Modifier and Type | Method and Description |
---|---|
void |
ProfileVisitor.visit(OWLDataProperty property) |
Modifier and Type | Method and Description |
---|---|
OWLDataProperty |
UseOfUndeclaredDataProperty.getExpression() |
OWLDataProperty |
UseOfReservedVocabularyForDataPropertyIRI.getExpression() |
Constructor and Description |
---|
UseOfReservedVocabularyForDataPropertyIRI(OWLOntology ontology,
OWLAxiom axiom,
OWLDataProperty property) |
UseOfUndeclaredDataProperty(OWLOntology ontology,
OWLAxiom axiom,
OWLDataProperty prop) |
Modifier and Type | Method and Description |
---|---|
void |
AbstractTranslator.visit(OWLDataProperty property) |
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 |
---|---|
static DefaultNode<OWLDataProperty> |
NodeFactory.getOWLDataPropertyBottomNode() |
static DefaultNode<OWLDataProperty> |
NodeFactory.getOWLDataPropertyNode() |
static DefaultNode<OWLDataProperty> |
NodeFactory.getOWLDataPropertyNode(OWLDataProperty prop) |
static DefaultNode<OWLDataProperty> |
NodeFactory.getOWLDataPropertyNode(Set<OWLDataProperty> properties) |
static DefaultNode<OWLDataProperty> |
NodeFactory.getOWLDataPropertyTopNode() |
Modifier and Type | Method and Description |
---|---|
static DefaultNode<OWLDataProperty> |
NodeFactory.getOWLDataPropertyNode(OWLDataProperty prop) |
Modifier and Type | Method and Description |
---|---|
static DefaultNode<OWLDataProperty> |
NodeFactory.getOWLDataPropertyNode(Set<OWLDataProperty> properties) |
Constructor and Description |
---|
OWLDataPropertyNode(OWLDataProperty entity) |
OWLDataPropertyNodeSet(OWLDataProperty entity) |
Constructor and Description |
---|
OWLDataPropertyNode(Set<OWLDataProperty> entities) |
OWLDataPropertyNodeSet(Node<OWLDataProperty> owlDataPropertyNode) |
OWLDataPropertyNodeSet(Set<Node<OWLDataProperty>> nodes) |
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 |
---|---|
Node<OWLDataProperty> |
StructuralReasoner.getBottomDataPropertyNode() |
NodeSet<OWLDataProperty> |
StructuralReasoner.getDisjointDataProperties(OWLDataPropertyExpression pe) |
Node<OWLDataProperty> |
StructuralReasoner.getEquivalentDataProperties(OWLDataProperty pe) |
NodeSet<OWLDataProperty> |
StructuralReasoner.getSubDataProperties(OWLDataProperty pe,
boolean direct) |
NodeSet<OWLDataProperty> |
StructuralReasoner.getSuperDataProperties(OWLDataProperty pe,
boolean direct) |
Node<OWLDataProperty> |
StructuralReasoner.getTopDataPropertyNode() |
Modifier and Type | Method and Description |
---|---|
NodeSet<OWLClass> |
StructuralReasoner.getDataPropertyDomains(OWLDataProperty pe,
boolean direct) |
Set<OWLLiteral> |
StructuralReasoner.getDataPropertyValues(OWLNamedIndividual ind,
OWLDataProperty pe) |
Node<OWLDataProperty> |
StructuralReasoner.getEquivalentDataProperties(OWLDataProperty pe) |
NodeSet<OWLDataProperty> |
StructuralReasoner.getSubDataProperties(OWLDataProperty pe,
boolean direct) |
NodeSet<OWLDataProperty> |
StructuralReasoner.getSuperDataProperties(OWLDataProperty pe,
boolean direct) |
Modifier and Type | Method and Description |
---|---|
static Collection<OWLDataPropertyExpression> |
EntitySearcher.getDisjointProperties(OWLDataProperty e,
Iterable<OWLOntology> ontologies)
Gets the data properties which have been asserted to be disjoint with e in the specified
ontologies.
|
static Collection<OWLDataPropertyExpression> |
EntitySearcher.getDisjointProperties(OWLDataProperty e,
OWLOntology ontology)
Gets the data properties which have been asserted to be disjoint with e in the specified
ontology.
|
static Collection<OWLClassExpression> |
EntitySearcher.getDomains(OWLDataProperty e,
Iterable<OWLOntology> ontologies)
Gets the asserted domains of e by examining the axioms in the specified ontologies.
|
static Collection<OWLClassExpression> |
EntitySearcher.getDomains(OWLDataProperty e,
OWLOntology ontology)
Gets the asserted domains of e.
|
static Collection<OWLDataPropertyExpression> |
EntitySearcher.getEquivalentProperties(OWLDataProperty e,
Iterable<OWLOntology> ontologies)
Gets the data properties which have been asserted to be equivalent with e by axioms in the
specified ontologies.
|
static Collection<OWLDataPropertyExpression> |
EntitySearcher.getEquivalentProperties(OWLDataProperty e,
OWLOntology ontology)
Gets the data properties which have been asserted to be equivalent with e by axioms in the
specified ontology.
|
static Collection<OWLDataRange> |
EntitySearcher.getRanges(OWLDataProperty e,
Iterable<OWLOntology> ontologies)
Gets the asserted ranges of e by examining the axioms in the specified ontologies.
|
static Collection<OWLDataRange> |
EntitySearcher.getRanges(OWLDataProperty e,
OWLOntology ontology)
Gets the ranges of e that have been asserted in the specified ontology.
|
static boolean |
EntitySearcher.isFunctional(OWLDataProperty e,
Iterable<OWLOntology> ontologies)
Checks if e is declared functional in a collection of ontologies.
|
static boolean |
EntitySearcher.isFunctional(OWLDataProperty e,
OWLOntology o)
Checks if e is declared functional in o.
|
Modifier and Type | Method and Description |
---|---|
OWLDataProperty |
OWLObjectDesharer.visit(OWLDataProperty property) |
Modifier and Type | Method and Description |
---|---|
void |
StructureWalker.visit(OWLDataProperty property) |
void |
SimpleRendererDebug.visit(OWLDataProperty property) |
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) |
OWLDataProperty |
OWLObjectDesharer.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) |
Collection<OWLEntity> |
OWLEntityCollector.visit(OWLDataProperty property) |
void |
OWLAnonymousIndividualsWithMultipleOccurrences.visit(OWLDataProperty property) |
void |
OWLAnnotationPropertyTransformer.visit(OWLDataProperty property) |
void |
HashCode.visit(OWLDataProperty property) |
void |
DeprecatedOWLEntityCollector.visit(OWLDataProperty property)
Deprecated.
|
O |
DelegatingObjectVisitorEx.visit(OWLDataProperty property) |
void |
DLExpressivityChecker.visit(OWLDataProperty property) |
Modifier and Type | Method and Description |
---|---|
Set<OWLDataProperty> |
ManchesterOWLSyntaxParser.parseDataPropertyList() |
Modifier and Type | Method and Description |
---|---|
static Set<OWLDataProperty> |
SKOSVocabulary.getDataProperties(OWLDataFactory dataFactory) |
Modifier and Type | Method and Description |
---|---|
OWLDataProperty |
BuilderDataProperty.buildObject() |
Constructor and Description |
---|
BuilderDataProperty(OWLDataProperty expected,
OWLDataFactory df)
builder initialized from an existing object
|
Modifier and Type | Class and Description |
---|---|
class |
OWLDataPropertyImpl |
Modifier and Type | Method and Description |
---|---|
Set<OWLDataProperty> |
OWLObjectImplWithoutEntityAndAnonCaching.getDataPropertiesInSignature() |
Set<OWLDataProperty> |
OWLObjectImplWithEntityAndAnonCaching.getDataPropertiesInSignature() |
Set<OWLDataProperty> |
OWLLiteralImplString.getDataPropertiesInSignature() |
Set<OWLDataProperty> |
OWLImmutableOntologyImpl.getDataPropertiesInSignature() |
Set<OWLDataProperty> |
OWL2DatatypeImpl.getDataPropertiesInSignature() |
Set<OWLDataProperty> |
OWLImmutableOntologyImpl.getDataPropertiesInSignature(boolean includeImportsClosure) |
Set<OWLDataProperty> |
OWLImmutableOntologyImpl.getDataPropertiesInSignature(Imports includeImportsClosure) |
Modifier and Type | Method and Description |
---|---|
Set<OWLDataProperty> |
ConcurrentOWLOntologyImpl.getDataPropertiesInSignature() |
Set<OWLDataProperty> |
ConcurrentOWLOntologyImpl.getDataPropertiesInSignature(boolean b)
Deprecated.
|
Set<OWLDataProperty> |
ConcurrentOWLOntologyImpl.getDataPropertiesInSignature(Imports imports) |
Copyright © 2020 The University of Manchester. All rights reserved.