Analyzing Ontologies
- several tools have been developed for analyzing ontologies
(checking for missing terms, subclass loops, etc.)
- DAML Validator
provides basic DAML+OIL content checks
(run this first)
- ConsVISor
- checks that subclasses restrictions are consistent with their
superclasses, etc.
- Chimaera
- performs a number of checks