OWL Class Expressions
In OWL 2, classes and property expressions are used to construct class expressions, sometimes also called descriptions, and, in the description logic literature, complex concepts. Class expressions represent sets of individuals by formally specifying conditions on the individuals’ properties; individuals satisfying these conditions are said to be instances of the respective class expressions.
DL-Learner supports the generation of class expressions based by using the following language constructs:
|DL Syntax||OWL 2|
|cardinality restriction||≥n, ≤n, =n||owl:minCardinality, owl:maxCardinality, owl:cardinality|
Based on the OWL 2 datatype map the following datatypes for the representation of real numbers, decimal numbers, and integers are supported:
Additionally, a preliminary support for date literals is planned.