DAML Language: Key Features
- grounded in the WWW (URI naming, XML syntax, HTTP) -- strong
implications for diversity, scalability, security, etc.
- adding properties about someone else's classes
- tagging/reification/quoting -- statements about statements
- formal semantics:
model-theoretic
and
axiomatic
- ...
