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

RE: Dave's modified tests

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Tue, 16 Sep 2003 19:47:59 +0200
To: jjc@hplb.hpl.hp.com
Cc: "Jim Hendler" <hendler@cs.umd.edu>, "Ian Horrocks" <horrocks@cs.man.ac.uk>, www-webont-wg@w3.org
Message-ID: <OF94BF46E8.065E121D-ONC1256DA3.00609317-C1256DA3.0061C6B4@agfa.be>

> [...]
> Since Dave has decided that he
> does not want to provide such inferences with his reasoner's native
> capability (which has a very general "what do you know?" interface) he
> these class expressions to the premises - which is sound because the
> expressions are inferrable from the premises.

I did some similar thing (take particular conclusion triples
(which also have a bnode subject) and add them as premises)
as part of our code (so it's automatic but builtin) and then
those testcases passed.

(Hmm the human verification of that soundness is not completely trivial -
the components used in the class expression must be inferrable).

Hmm, that's right, but we trust the comprehension principles in S&AS ;-)

Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Tuesday, 16 September 2003 13:48:31 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:55 UTC