swp:assertedBy

Pat

part 1:
I think we made progress ...
    swp:assertedBy . swp:authority
  is true when the authority asserts the graph,
part 2:
  and from the point of view of the authority, this includes the truth of 
the graph itself.

(note we had that when the authority provided the graph, but that is not 
needed, if Pat asserts `Jeremy asserts "foo bar"', then for me, `Jeremy 
asserts "foo bar"' is true if:
a) I asserted "foo bar"
and
b) "foo bar"

even though you (or anyone else) might be providing the graph.



Also another zip mainly for my convenience (as I move from home to office), 
I am expecting some new text from Pat on swp:assertedBy as a performative 
which I will integrate in.

I don't think it differs much from before.

Jeremy

Received on Wednesday, 14 April 2004 19:11:41 UTC