testing galen.owl

Bijan asked me to have an euler run of
and I tried a simple query
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
but I'm wondering how that compares to
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