- 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
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 UTC