- From: Jos De_Roo <jos.deroo@agfa.com>
- Date: Wed, 5 Feb 2003 01:09:34 +0100
- To: "timbl" <timbl@w3.org>
- Cc: www-archive@w3.org
Tim, sorry to come in again just before the TAG f2f meeting,
but I was wondering about implementing log:definitiveDocument
and log:definitiveService (they seem like very interesting).
I think that we would, when loading a fact
:p log:definitiveDocument :d.
prepare with a rule
{:p log:definitiveDocument :d. :d log:includes {?s :p ?o}} => {?s :p ?o}.
but we would (while proving)
1/ make sure that ?s and ?o are bound
2/ not look to other :p facts or rules
Is that what is intended with log:definitiveDocument ?
-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Tuesday, 4 February 2003 19:17:55 UTC