| 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 |
|---|---|
void |
FunctionalSyntaxObjectRenderer.visit(OWLDataProperty property) |
| Modifier and Type | Method and Description |
|---|---|
void |
KRSSObjectRenderer.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 |
|---|---|
default OWLDataProperty |
AsOWLDataProperty.asOWLDataProperty()
A convenience method that obtains this entity as an OWLDataProperty (in
order to avoid explicit casting).
|
| Modifier and Type | Method and Description |
|---|---|
default java.util.stream.Stream<OWLDataProperty> |
HasDataPropertiesInSignature.dataPropertiesInSignature() |
default java.util.stream.Stream<OWLDataProperty> |
OWLSignature.dataPropertiesInSignature(Imports imports)
Gets the data properties in the signature and optionally the imports
closure.
|
default Set<OWLDataProperty> |
HasDataPropertiesInSignature.getDataPropertiesInSignature()
Deprecated.
use the stream method
|
default Set<OWLDataProperty> |
OWLSignatureBooleanArgs.getDataPropertiesInSignature(boolean includeImportsClosure)
Deprecated.
use the stream method
|
default Set<OWLDataProperty> |
OWLSignature.getDataPropertiesInSignature(Imports includeImportsClosure)
Deprecated.
use the stream method
|
| Modifier and Type | Method and Description |
|---|---|
java.util.stream.Stream<OWLDataPropertyAxiom> |
OWLAxiomCollection.axioms(OWLDataProperty property)
Gets the axioms that form the definition/description of a data property.
|
default java.util.stream.Stream<OWLDataPropertyAxiom> |
OWLAxiomCollection.axioms(OWLDataProperty property,
Imports imports)
Gets the axioms that form the definition/description of a data property.
|
default java.util.stream.Stream<OWLDataPropertyDomainAxiom> |
OWLAxiomIndex.dataPropertyDomainAxioms(OWLDataProperty property)
Gets the
OWLDataPropertyDomainAxioms where the property is equal
to the specified property. |
default java.util.stream.Stream<OWLDataPropertyRangeAxiom> |
OWLAxiomIndex.dataPropertyRangeAxioms(OWLDataProperty property)
Gets the
OWLDataPropertyRangeAxioms where the property is equal
to the specified property. |
default java.util.stream.Stream<OWLSubDataPropertyOfAxiom> |
OWLAxiomIndex.dataSubPropertyAxiomsForSubProperty(OWLDataProperty subProperty)
Gets the
OWLSubDataPropertyOfAxioms where the sub-property is
equal to the specified property. |
default java.util.stream.Stream<OWLDisjointDataPropertiesAxiom> |
OWLAxiomIndex.disjointDataPropertiesAxioms(OWLDataProperty property)
Gets the
OWLDisjointDataPropertiesAxioms that make the specified
property disjoint with some other data property expression(s). |
default java.util.stream.Stream<OWLEquivalentDataPropertiesAxiom> |
OWLAxiomIndex.equivalentDataPropertiesAxioms(OWLDataProperty property)
Gets the
OWLEquivalentDataPropertiesAxioms that make the
specified property equivalent to some other data property expression(s). |
default Set<OWLDataPropertyAxiom> |
OWLAxiomCollection.getAxioms(OWLDataProperty property)
Deprecated.
use the stream method
|
default Set<OWLDataPropertyAxiom> |
OWLAxiomCollectionBooleanArgs.getAxioms(OWLDataProperty property,
boolean includeImportsClosure)
Deprecated.
use getAxioms(entity, Imports) instead
|
default Set<OWLDataPropertyAxiom> |
OWLAxiomCollection.getAxioms(OWLDataProperty property,
Imports includeImportsClosure)
Deprecated.
use the stream method
|
default Set<OWLDataPropertyDomainAxiom> |
OWLAxiomIndex.getDataPropertyDomainAxioms(OWLDataProperty property)
Deprecated.
use the stream method
|
default Set<OWLDataPropertyRangeAxiom> |
OWLAxiomIndex.getDataPropertyRangeAxioms(OWLDataProperty property)
Deprecated.
use the stream method
|
default Set<OWLSubDataPropertyOfAxiom> |
OWLAxiomIndex.getDataSubPropertyAxiomsForSubProperty(OWLDataProperty subProperty)
Deprecated.
use the stream method
|
default Set<OWLDisjointDataPropertiesAxiom> |
OWLAxiomIndex.getDisjointDataPropertiesAxioms(OWLDataProperty property)
Deprecated.
use the stream method
|
default Set<OWLEquivalentDataPropertiesAxiom> |
OWLAxiomIndex.getEquivalentDataPropertiesAxioms(OWLDataProperty property)
Deprecated.
use equivalentDataPropertiesAxioms
|
default O |
OWLPropertyEntityVisitorExBase.visit(OWLDataProperty property)
visit OWLDataProperty type
|
default void |
OWLPropertyEntityVisitorBase.visit(OWLDataProperty property)
visit OWLDataProperty type
|
| Modifier and Type | Method and Description |
|---|---|
OWLDataProperty |
OWLVocabularyProvider.getOWLBottomDataProperty() |
default OWLDataProperty |
DataPropertyProvider.getOWLDataProperty(HasIRI iri)
Gets an instance of
OWLDataProperty with the same IRI as the
input. |
OWLDataProperty |
DataPropertyProvider.getOWLDataProperty(IRI iri)
Gets an instance of
OWLDataProperty that has the specified
IRI. |
default OWLDataProperty |
DataPropertyProvider.getOWLDataProperty(String iri)
Gets an instance of
OWLDataProperty that has the specified
IRI. |
default OWLDataProperty |
DataPropertyProvider.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.
|
default OWLDataProperty |
DataPropertyProvider.getOWLDataProperty(String namespace,
String remainder)
Gets an instance of
OWLDataProperty that has the specified
IRI. |
OWLDataProperty |
OWLVocabularyProvider.getOWLTopDataProperty() |
| Modifier and Type | Method and Description |
|---|---|
void |
OWLXMLObjectRenderer.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.
|
default NodeSet<OWLDataProperty> |
OWLReasoner.getSubDataProperties(OWLDataProperty pe) |
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.
|
default NodeSet<OWLDataProperty> |
OWLReasoner.getSubDataProperties(OWLDataProperty pe,
InferenceDepth depth) |
default NodeSet<OWLDataProperty> |
OWLReasoner.getSuperDataProperties(OWLDataProperty pe) |
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.
|
default NodeSet<OWLDataProperty> |
OWLReasoner.getSuperDataProperties(OWLDataProperty pe,
InferenceDepth depth) |
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 |
|---|---|
default NodeSet<OWLClass> |
OWLReasoner.getDataPropertyDomains(OWLDataProperty pe) |
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.
|
default NodeSet<OWLClass> |
OWLReasoner.getDataPropertyDomains(OWLDataProperty pe,
InferenceDepth depth) |
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.
|
default NodeSet<OWLDataProperty> |
OWLReasoner.getSubDataProperties(OWLDataProperty pe) |
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.
|
default NodeSet<OWLDataProperty> |
OWLReasoner.getSubDataProperties(OWLDataProperty pe,
InferenceDepth depth) |
default NodeSet<OWLDataProperty> |
OWLReasoner.getSuperDataProperties(OWLDataProperty pe) |
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.
|
default NodeSet<OWLDataProperty> |
OWLReasoner.getSuperDataProperties(OWLDataProperty pe,
InferenceDepth depth) |
| 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(Collection<OWLDataProperty> entities) |
OWLDataPropertyNode(java.util.stream.Stream<OWLDataProperty> entities) |
OWLDataPropertyNodeSet(Node<OWLDataProperty> owlDataPropertyNode) |
OWLDataPropertyNodeSet(Set<Node<OWLDataProperty>> nodes) |
OWLDataPropertyNodeSet(java.util.stream.Stream<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 java.util.stream.Stream<OWLClassExpression> |
EntitySearcher.getDomains(OWLDataProperty e,
OWLOntology ontology)
Gets the asserted domains of this property.
|
static java.util.stream.Stream<OWLClassExpression> |
EntitySearcher.getDomains(OWLDataProperty e,
java.util.stream.Stream<OWLOntology> ontologies)
Gets the asserted domains of this property by examining the axioms in the
specified ontologies.
|
static java.util.stream.Stream<OWLDataPropertyExpression> |
EntitySearcher.getEquivalentProperties(OWLDataProperty e,
OWLOntology ontology)
A convenience method that examines the axioms in the specified ontology
and returns the class expressions corresponding to equivalent classes of
this class.
|
static java.util.stream.Stream<OWLDataPropertyExpression> |
EntitySearcher.getEquivalentProperties(OWLDataProperty e,
java.util.stream.Stream<OWLOntology> ontologies)
A convenience method that examines the axioms in the specified ontologies
and returns the class expressions corresponding to equivalent classes of
this class.
|
static java.util.stream.Stream<OWLDataRange> |
EntitySearcher.getRanges(OWLDataProperty e,
OWLOntology ontology)
Gets the ranges of this property that have been asserted in the specified
ontology.
|
static java.util.stream.Stream<OWLDataRange> |
EntitySearcher.getRanges(OWLDataProperty e,
java.util.stream.Stream<OWLOntology> ontologies)
Gets the asserted ranges of this property by examining the axioms in the
specified ontologies.
|
static boolean |
EntitySearcher.isFunctional(OWLDataProperty e,
OWLOntology o)
Checks if e is declared functional in o.
|
static boolean |
EntitySearcher.isFunctional(OWLDataProperty e,
java.util.stream.Stream<OWLOntology> ontologies)
Checks if e is declared functional in a collection of ontologies.
|
| Modifier and Type | Method and Description |
|---|---|
OWLDataProperty |
OWLObjectDuplicator.visit(OWLDataProperty property) |
OWLDataProperty |
OWLObjectDesharer.visit(OWLDataProperty property) |
| Modifier and Type | Method and Description |
|---|---|
void |
StructureWalker.visit(OWLDataProperty property) |
void |
SimpleRenderer.visit(OWLDataProperty property) |
OWLDataProperty |
OWLObjectDuplicator.visit(OWLDataProperty property) |
OWLDataProperty |
OWLObjectDesharer.visit(OWLDataProperty property) |
void |
OWLEntityRemover.visit(OWLDataProperty property) |
String |
OWLEntityFragmentProvider.visit(OWLDataProperty property) |
void |
OWLEntityComparator.visit(OWLDataProperty property) |
Collection<OWLEntity> |
OWLEntityCollector.visit(OWLDataProperty property) |
void |
OWLAnnotationPropertyTransformer.visit(OWLDataProperty property) |
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 | Method and Description |
|---|---|
void |
TopEquivalenceEvaluator.visit(OWLDataProperty expr) |
void |
BotEquivalenceEvaluator.visit(OWLDataProperty expr) |
| Modifier and Type | Class and Description |
|---|---|
class |
OWLDataPropertyImpl |
| Modifier and Type | Method and Description |
|---|---|
OWLDataProperty |
OWLDataFactoryImpl.getOWLBottomDataProperty() |
OWLDataProperty |
OWLDataFactoryInternalsImplNoCache.getOWLDataProperty(IRI iri) |
OWLDataProperty |
OWLDataFactoryInternalsImpl.getOWLDataProperty(IRI iri) |
OWLDataProperty |
OWLDataFactoryInternals.getOWLDataProperty(IRI iri) |
OWLDataProperty |
OWLDataFactoryImpl.getOWLDataProperty(IRI iri) |
OWLDataProperty |
OWLDataFactoryImpl.getOWLTopDataProperty() |
| Modifier and Type | Method and Description |
|---|---|
java.util.stream.Stream<OWLDataProperty> |
OWLObjectImpl.dataPropertiesInSignature() |
java.util.stream.Stream<OWLDataProperty> |
OWLImmutableOntologyImpl.dataPropertiesInSignature() |
| Modifier and Type | Method and Description |
|---|---|
java.util.stream.Stream<OWLDataPropertyAxiom> |
OWLImmutableOntologyImpl.axioms(OWLDataProperty property) |
boolean |
Internals.containsDataPropertyInSignature(OWLDataProperty i) |
| Modifier and Type | Method and Description |
|---|---|
java.util.stream.Stream<OWLDataProperty> |
ConcurrentOWLOntologyImpl.dataPropertiesInSignature() |
java.util.stream.Stream<OWLDataProperty> |
ConcurrentOWLOntologyImpl.dataPropertiesInSignature(Imports imports) |
Set<OWLDataProperty> |
ConcurrentOWLOntologyImpl.getDataPropertiesInSignature() |
Set<OWLDataProperty> |
ConcurrentOWLOntologyImpl.getDataPropertiesInSignature(boolean b) |
Set<OWLDataProperty> |
ConcurrentOWLOntologyImpl.getDataPropertiesInSignature(Imports imports) |
Copyright © 2017 The University of Manchester. All Rights Reserved.