- From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Date: Fri, 24 May 2002 02:01:40 +0200
- To: "pat hayes <phayes" <phayes@ai.uwf.edu>
- Cc: "Dan Connolly <connolly" <connolly@w3.org>, "Jonathan Borden <jonathan" <jonathan@openhealth.org>, "WebOnt WG <www-webont-wg" <www-webont-wg@w3.org>
[...] >>Not to my satisfaction. > >What would satisfy you? Do you want more justification that there is >a problem to be solved, or are you doubtful whether this proposal >will constitute a solution? Well, it's not an answer (and I'm not DanC), but we found ( <uri1> <uri2> ... <urii> ) log:entails <uri> . (*) on the one side and its proof on the other side and in resolving such a log:entails statement the contents of <uri1>, <uri2>, ...<urii> are asserted and, if the proof succeeds, <uri> as well (but in the form of a proof argument). So (*) can be a kind of *fuse* for the the assertion of the contents of <uri>. If the fuse blows up, the assertion is gone as well. -- Jos
Received on Thursday, 23 May 2002 20:02:20 UTC