23
Sycara and Paolucci
OWL  Tools
*Racer:
*OWL-Lite  inference engine
*www.sts.tu-harburg.de/~r.f.moeller/racer/
*Tools at Network Inference
*http://www.networkinference.com/
*OilEd:
*http://oiled.man.ac.uk/
*Editor for ontologies
*Mostly for DAML+OIL, exports OWL but not a current representation
*OWL Validator:
*http://owl.bbn.com/validator/
*Web-based or command-line utility
*Performs basic validation of OWL file
*OWL Ontology Validator:
*http://phoebus.cs.man.ac.uk:9999/OWL/Validator
*a "species validator" that checks use of OWL Lite, OWL DL, and OWL Full constructs
*Euler:
*http://www.agfa.com/w3c/euler/
*an inference engine which has been used for a lot of the OWL Test Cases
*Chimaera:
*http://www.ksl.stanford.edu/software/chimaera/
*Ontology evolution environment (diagnostics, merging, light editing)
*Mostly for DAML+OIL,  being updated to export and inport current OWL
*Extensive list of tools,
*http://www.w3.org/2001/sw/WebOnt/impls