W3C home > Mailing lists > Public > www-webont-wg@w3.org > July 2003

Test ontologies

From: Ian Horrocks <horrocks@cs.man.ac.uk>
Date: Fri, 25 Jul 2003 12:21:17 +0100
Message-ID: <16161.4781.742386.717818@merlin.horrocks.net>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:01 GMT