TEST: a DL question

In trying to run the testcases and getting some
results [1], we discover interesting patterns
(which we then try to put in inference rules).
Still, I'm not sure how owl:inverseOf interacts
with owl:someValuesFrom, owl:allValuesFrom ??

I'm also finding the S&AS comprehension rules
very interesting (in that we could avoid the
need for Skolem function terms in conclusions).


Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

[1] http://www.agfa.com/w3c/temp/owl.txt

Received on Wednesday, 6 August 2003 17:40:17 UTC