- From: McBride, Brian <bwm@hplb.hpl.hp.com>
- Date: Wed, 24 May 2000 18:53:26 +0100
- To: "'guha@guha.com'" <guha@guha.com>, Graham Klyne <GK@dial.pipex.com>
- Cc: RDF interest group <www-rdf-interest@w3.org>
I'm not sure what you are trying to accomplish here Graham. If you are looking for an implementation, consistent with the current RDF specs that will do the job, then I don't think any extra machinery is needed. Have a look at the bit about StatementSet's in: http://lists.w3.org/Archives/Public/www-rdf-interest/2000May/0013.html This is I think just what Guha has described. I'm also not sure how one computes a digest for a statement which refers to an anonymous resource If you are looking to extend the model to support context's without the percieved bloat that results from reification, then could one just declare statements to be resources. This is in fact what reification does, but might be a more palatable way of explaining it. Brian >-----Original Message----- >From: Guha [mailto:guha@guha.com] >Sent: Wednesday, May 24, 2000 17:26 >To: Graham Klyne >Cc: RDF interest group >Subject: Re: Representing trust (and other context) in RDF > > >The way the AI folks have been modelling contexts --- > >if source--arc-->target (written as arc(source, target)) >is in context C, you write it as ist(C, arc(source, target)). >"ist" is read as "is True In". > >C is itself a first class object (i.e., a resource). The collection >of statements that are true in C could be closed under >deduction. > >The common frameworks for contexts allow for lifting >of statements from one context to another. i.e., if a statement >P is true in C1, one can conclude that it is true in C2. > >Guha > > > >Graham Klyne wrote: > >> I retract the bit about linking contexts to statements -- it's no >> improvement as far as I can tell... >> >> At 03:30 PM 5/24/00 +0100, Graham Klyne wrote: >> >There is still the problem of finding all statements to >which a given >> >context applies, but, if necessary, this might be overcome by having >> >back-links from the context: >> > >> >>T --rdf:type--> SignedDocument >> >>T --principal--> Alice >> >>T --algorithm--> RSA >> >>T --statement--> digest:<hash1> >> >>... >> >>T --statement--> digest:<hashN> >> >>digest:<hash1> --context--> T >> >>... >> >>digest:<hashN> --context--> T >> >><statement 1> >> >>... >> >><statement N> >> >> (Unfortunately, the back-links don't point to the statements...) >> >> #g >> >> ------------ >> Graham Klyne >> (GK@ACM.ORG) >
Received on Wednesday, 24 May 2000 13:53:44 UTC