| Package | Description |
|---|---|
| it.unibz.inf.ontop.spec.ontology | |
| it.unibz.inf.ontop.spec.ontology.impl |
| Modifier and Type | Method and Description |
|---|---|
DataPropertyAssertion |
ABoxAssertionSupplier.createDataPropertyAssertion(String dp,
ObjectConstant o,
RDFLiteralConstant v)
Creates a data property assertion
(implements rule [D4])
|
| Modifier and Type | Method and Description |
|---|---|
com.google.common.collect.ImmutableList<DataPropertyAssertion> |
OntologyABox.getDataPropertyAssertions() |
| Modifier and Type | Class and Description |
|---|---|
class |
DataPropertyAssertionImpl
Represents DataPropertyAssertion from the OWL 2 QL Specification
DataPropertyAssertion := 'DataPropertyAssertion' '(' axiomAnnotations
DataPropertyExpression sourceIndividual targetValue ')'
DataPropertyExpression := DataProperty
Support for owl:topDataProperty and owl:bottomDataProperty
|
| Modifier and Type | Method and Description |
|---|---|
static DataPropertyAssertion |
OntologyBuilderImpl.createDataPropertyAssertion(DataPropertyExpression dpe,
ObjectConstant o1,
RDFLiteralConstant o2)
Creates a data property assertion
|
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.