DAML Validator
- performs about 30 checks between DAML content and the ontologies it references
- namespace references
- domain/range/Restriction
- cardinality constraints
- XML Schema datatypes
- ...
- not validation in the XML sense
- web interface or downloadable
- currently uses Sergey Melnik's
RDF API
- no support for
daml:collection
- plans to upgrade to Jena
- see
http://www.daml.org/validator/