W3C home > Mailing lists > Public > www-webont-wg@w3.org > May 2002

Re: DTTF: How unasserted triples help

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>
Message-ID: <OF38313C96.F1C9FEDE-ONC1256BC2.0080BA64@agfa.be>


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

Received on Thursday, 23 May 2002 20:02:20 UTC

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