| Package | Description |
|---|---|
| org.semanticweb.owlapi.expression |
Expression parsers package
|
| org.semanticweb.owlapi.model |
Main API classes.
|
| org.semanticweb.owlapi.profiles.violations | |
| org.semanticweb.owlapi.reasoner |
OWLReasoner package
|
| org.semanticweb.owlapi.reasoner.knowledgeexploration |
Knowledge exploration package.
|
| org.semanticweb.owlapi.search |
Search utulities package
|
| org.semanticweb.owlapi.util |
Utilities package
|
| org.semanticweb.owlapi.util.mansyntax | |
| org.semanticweb.owlapi.vocab |
Vocabulary package
|
| Modifier and Type | Method and Description |
|---|---|
OWLDataProperty |
ShortFormEntityChecker.getOWLDataProperty(String name) |
OWLDataProperty |
OWLEntityChecker.getOWLDataProperty(String name) |
| 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.
use getAxioms(entity, Imports) instead
|
Set<OWLDataPropertyAxiom> |
OWLAxiomCollectionBooleanArgs.getAxioms(OWLDataProperty property,
boolean includeImportsClosure)
Deprecated.
use getAxioms(entity, Imports) instead
|
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
OWLDataPropertyDomainAxioms where the property is equal
to the specified property. |
Set<OWLDataPropertyRangeAxiom> |
OWLAxiomIndex.getDataPropertyRangeAxioms(OWLDataProperty property)
Gets the
OWLDataPropertyRangeAxioms where the property is equal
to the specified property. |
Set<OWLSubDataPropertyOfAxiom> |
OWLAxiomIndex.getDataSubPropertyAxiomsForSubProperty(OWLDataProperty subProperty)
Gets the
OWLSubDataPropertyOfAxioms where the sub-property is
equal to the specified property. |
Set<OWLDisjointDataPropertiesAxiom> |
OWLAxiomIndex.getDisjointDataPropertiesAxioms(OWLDataProperty property)
Gets the
OWLDisjointDataPropertiesAxioms that make the specified
property disjoint with some other data property expression(s). |
Set<OWLEquivalentDataPropertiesAxiom> |
OWLAxiomIndex.getEquivalentDataPropertiesAxioms(OWLDataProperty property)
Gets the
OWLEquivalentDataPropertiesAxioms 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 |
|---|---|
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 |
|---|---|
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 |
|---|---|
static Collection<OWLDataPropertyExpression> |
EntitySearcher.getDisjointProperties(OWLDataProperty e,
Iterable<OWLOntology> ontologies)
Gets the classes which have been asserted to be disjoint with this class
by axioms in the specified ontologies.
|
static Collection<OWLDataPropertyExpression> |
EntitySearcher.getDisjointProperties(OWLDataProperty e,
OWLOntology ontology)
Gets the classes which have been asserted to be disjoint with this class
by axioms in the specified ontology.
|
static Collection<OWLClassExpression> |
EntitySearcher.getDomains(OWLDataProperty e,
Iterable<OWLOntology> ontologies)
Gets the asserted domains of this property by examining the axioms in the
specified ontologies.
|
static Collection<OWLClassExpression> |
EntitySearcher.getDomains(OWLDataProperty e,
OWLOntology ontology)
Gets the asserted domains of this property.
|
static Collection<OWLDataPropertyExpression> |
EntitySearcher.getEquivalentProperties(OWLDataProperty e,
Iterable<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 Collection<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 Collection<OWLDataRange> |
EntitySearcher.getRanges(OWLDataProperty e,
Iterable<OWLOntology> ontologies)
Gets the asserted ranges of this property by examining the axioms in the
specified ontologies.
|
static Collection<OWLDataRange> |
EntitySearcher.getRanges(OWLDataProperty e,
OWLOntology ontology)
Gets the ranges of this property 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 |
|---|---|
void |
StructureWalker.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) |
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 |
DLExpressivityChecker.visit(OWLDataProperty property) |
void |
DeprecatedOWLEntityCollector.visit(OWLDataProperty property)
Deprecated.
|
O |
DelegatingObjectVisitorEx.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) |
Copyright © 2016 The University of Manchester. All Rights Reserved.