Test ontologies

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