W3C home > Mailing lists > Public > www-rdf-logic@w3.org > October 2000

RE: Re[1] DAML-ONT: the case for closedness

From: <jos.deroo.jd@belgium.agfa.com>
Date: Tue, 24 Oct 2000 10:20:01 +0200
To: " - *phayes@ai.uwf.edu" <phayes@ai.uwf.edu>
Cc: " - *www-rdf-logic@w3.org" <www-rdf-logic@w3.org>
Message-Id: <0006800033406481000002L012*@MHS>
Pat Hayes:
> This means that (barring some new security mechanism) one
> should never archive a bare conclusion, but only archive a
> conclusion together with its derivation (logical proof).

Archive and communicate: e.g. a service can be provided when
the proof is accepted and something that is derived from that
proof could be returned by the service provider (as an invoice
or something like that) ... and we get audit trails and so on.

Jos De Roo
Received on Tuesday, 24 October 2000 04:21:29 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:32 UTC