- From: Ian Horrocks <horrocks@cs.man.ac.uk>
- Date: Fri, 25 Jul 2003 12:21:17 +0100
- To: www-webont-wg@w3.org
I converted some "interesting" ontologies to OWL: http://www.cs.man.ac.uk/~horrocks/OWL/Ontologies/ka.owl http://www.cs.man.ac.uk/~horrocks/OWL/Ontologies/galen.owl http://www.cs.man.ac.uk/~horrocks/OWL/Ontologies/mad_cows.owl They have been checked with both validators and seem to be OK. The first (ka.owl) is Lite, the other two are DL. "galen.owl" is (part of) the well known Galen medical terminology ontology - classifying this ontology should prove an interesting challenge for new reasoner implementations. Enjoy. Ian
Received on Friday, 25 July 2003 07:22:27 UTC