DAML+OIL Validation
- we can't validate DAML+OIL in the same sense that we
validate XML
- DAML+OIL is intended to be dynamic and flexible
- some checks could require a lot of computation
- the
DAML Validator
performs about 30 checks and
generates
indications
for things that might be problems, e.g.
- referencing namespaces that aren't resolvable over the WWW (might be typo)
- using URIs as properties or classes that haven't been defined as such (might be a typo)
- in this sense,
the DAML Validator is analogous to the Unix
lint utility
