speaks_for stuff in N3Logic

I've been having lots of fun with this stuff; I'm pretty
happy with the overall model; I've got reasonable prose
around most of it, including three examples that have
formal proofs to go along with them:

A Model of Authority in the Web
http://www.w3.org/2001/tag/dj9/story.html
Revision: 1.21 Date: 2009/12/20 23:41:32
Contents
     1. Decision making in ABLP logic introduces ABLP logic using
        ordinary decision making.
     2. Speech acts in HTTP relates HTTP requests and replies to ABLP
        speech acts.
     3. the new constraint goes here social aspects of HTTP
     4. Indirection needs Redirection logically supports intuitive
        notions about redirection using the new contraint. TODO: discuss
        InformationResource vs Principal.
     5. in progress: Mashup Speech Acts - example XSRF case (done) -
        same origin policy; scripts from fedex run on behalf of fedex
        (TODO) - then look at ways to opt-out of SOP, i.e. CORS and UM
        (TODO)
     6. Appendixes
              * TODO RDFS, pD*, and OWL2 stuff. raw form: owl2.n3
              * ABLP axioms and utility theorems
              * TODO Common sense about events. raw form: time.n3

I know reviewers get used up after one thorough read;
I've got more to write, but I hope it's mostly just adding new stuff
and not changing what's there... so I'm willing to chance it now.

I'm interested to talk about it in a teleconference.

Jonathan says "We're on for the 22nd unless you hear otherwise."
 -- http://lists.w3.org/Archives/Public/public-awwsw/2009Dec/0015.html

Zakim data suggests the time will be 9am Boston time (8am where I am).

How about putting this on the agenda? Are a few people willing to read
it on Monday and discuss it on Tuesday?

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
gpg D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E

Received on Monday, 21 December 2009 01:15:54 UTC