DAML+OIL: 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
formal semantics: model-theoretic and axiomatic
...