DAML+OIL: Key Features
- exploits existing WWW infrastructure: URIs, HTTP, XML
- URI naming supports drill down
- adding properties about someone else's classes
- tagging/reification/quoting -- statements about statements
(provenance, etc.)
- formal semantics to improve implementation reliability:
model-theoretic
and
axiomatic
- ...
