A little bit about DAML
- DAML Home Page:
http://www.daml.org
- DAML starts with:
-
- RDF features: subject/predicate/object model
- RDFS features: subClass, subProperty, domain/range,
...
- and adds:
-
- Set Operations: (disjointWith, unionOf,
intersectionOf, complementOf)
- List utilities: (first, rest, nil)
- Supporting Data types
- support for concrete types (XML Schema)
- domain-depended range
- cardinality constraint
-
