RE: Representing trust (and other context) in RDF

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