| Package | Description |
|---|---|
| it.unibz.inf.ontop.spec.ontology | |
| it.unibz.inf.ontop.spec.ontology.impl |
| Modifier and Type | Interface and Description |
|---|---|
interface |
AnnotationProperty
Represents AnnotationProperty from the OWL 2 Specification
AnnotationProperty := IRI
|
interface |
ClassExpression
Represents subClassExpression in OWL 2 QL specification.
|
interface |
DataPropertyExpression
Represents DataPropertyExpression from the OWL 2 QL Specification
DataPropertyExpression := DataProperty
Support for owl:topDataProperty and owl:bottomDataProperty
|
interface |
DataPropertyRangeExpression
Represents the first argument of DataPropertyRange axiom
|
interface |
DataRangeExpression
Represents the following from OWL 2 QL Specification
DataPropertyRangeExpression (first argument of DataPropertyRange axiom) and
DataRange (including Datatype)
No implementation.
|
interface |
DataSomeValuesFrom
Represents DataSomeValuesFrom from OWL 2 Specification
DataSomeValuesFrom := 'DataSomeValuesFrom' '(' DataPropertyExpression { DataPropertyExpression } DataRange ')'
|
interface |
Datatype
Represents Datatype in OWL 2 Specification
|
interface |
DescriptionBT
Represents partially ordered classes and object and data properties
isTop/isBottom are two syntactic checks for the largest/smallest element in the partial order
|
interface |
ObjectPropertyExpression
Represents ObjectPropertyExpression from the OWL 2 QL Specification
ObjectPropertyExpression := ObjectProperty | InverseObjectProperty
InverseObjectProperty := 'ObjectInverseOf' '(' ObjectProperty ')'
Support for owl:topObjectProperty and owl:bottomObjectProperty
- the inverses of the two coincide with themselves
|
interface |
ObjectSomeValuesFrom
Represents ObjectSomeValuesFrom from OWl 2 Specification
A non-qualified property some restriction.
|
interface |
OClass
A named class.
|
| Modifier and Type | Class and Description |
|---|---|
class |
AnnotationPropertyImpl
Represents AnnotationPropertyExpression from the OWL 2 QL Specification
AnnotationProperty := IRI
|
class |
ClassImpl |
class |
DataPropertyExpressionImpl
Represents DataPropertyExpression from the OWL 2 QL Specification
DataPropertyExpression := DataProperty
Support for owl:topDataProperty and owl:bottomDataProperty
|
class |
DataPropertyRangeExpressionImpl |
class |
DataSomeValuesFromImpl
DataSomeValuesFrom in OWL 2 QL Specification
|
class |
DatatypeImpl |
class |
ObjectPropertyExpressionImpl
Represents ObjectPropertyExpression from the OWL 2 QL Specification
ObjectPropertyExpression := ObjectProperty | InverseObjectProperty
InverseObjectProperty := 'ObjectInverseOf' '(' ObjectProperty ')'
Support for owl:topObjectProperty and owl:bottomObjectProperty
- the inverses of the two coincide with themselves (rule [R6])
|
class |
ObjectSomeValuesFromImpl
subObjectSomeValuesFrom in OWL 2 QL Specification
|
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.