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