 |
 |
 |
 |
 |
 |
 |
 |
-------------------to
OWL------------------ ------------to
datalog proposal-----
|
|
- oneOf
(enumerated classes) + minCardinality
|
|
|
-
disjointWith + someValuesFrom
|
|
|
-
sameClassAs for class
expressions (arguably –some
others)
|
|
|
-
rdfs:subClassOf for
class expressions
|
|
|
- unionOf
|
|
|
-
intersectionOf
|
|
|
-
complementOf
|
|
|
- Full cardinality
|
|
|
- hasValue
|
|