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

testing galen.owl

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Sat, 20 Sep 2003 14:49:36 +0200
To: www-webont-wg@w3.org
Cc: horrocks@cs.man.ac.uk
Message-ID: <OF557C4CEE.F8A02D0C-ONC1256DA7.004578F3-C1256DA7.00467A13@agfa.be>

Bijan asked me to have an euler run of
http://www.cs.man.ac.uk/~horrocks/OWL/Ontologies/galen.owl
and I tried a simple query
http://www.agfa.com/w3c/temp/galen-query.n3
ie find ?A rdfs:subClassOf ?B.
with option --think (find more solutions)
and --nope (no proof explanation of the results).
The answer we found is at
http://www.agfa.com/w3c/temp/galen-result.n3
but I'm wondering how that compares to
http://lists.w3.org/Archives/Public/www-webont-wg/2003Jul/att-0305/galen-taxonomy
It is hard to check that manually. Ian?
Maybe I should do some other tests; I'm not yet
that familiar with ontology practice...

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Saturday, 20 September 2003 08:56:23 GMT

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