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. IanReceived on Friday, 25 July 2003 07:22:27 GMT
This archive was generated by hypermail 2.2.0 + w3c-0.29 : Thursday, 27 January 2005 18:05:02 GMT