Re: working on "A Model of Authority in the Web"

I'm up to 4 working proofs in this exercise:

A Model of Authority in the Web
http://www.w3.org/2001/tag/dj9/story.html
Date: 2009/12/21 06:40:35
Revision: 1.24
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. TODO: discuss InformationResource vs Principal.
     3. Recognizing the social aspect of HTTP prose TODO
     4. Indirection needs Redirection logically supports intuitive
        notions about redirection using the new contraint.
     5. Mashup Speech Acts discusses XSRF and same origin using:
              * Same Origin Policy
              * TODO: look at ways to opt-out of SOP, i.e. CORS and UM
     6. Appendixes
              * RDFS, pD*, and OWL2 stuff. raw form: owl2.n3 prose TODO
              * ABLP axioms and utility theorems
              * Common sense about events. raw form: time.n3 prose TODO


2001/tag/dj9$ time make
rst2html story.rst story.html
rst2html refi_ex.rst refi_ex.html
rst2html badmeta.rst badmeta.html
rst2html scriptorigin.rst scriptorigin.html
rst2html httpspeech.rst httpspeech.html
rst2html httpsocial.rst httpsocial.html
rst2html speech.rst speech.html
rst2html mashup.rst mashup.html
python extract_rst_literals.py <refi_ex.rst >refi_ex.n3
python extract_rst_literals.py <speech.rst >speech.n3
python /home/connolly/w3ccvs/WWW/2000/10/swap/cwm.py refi_ex.n3
speech.n3 \
  --solve=refi_goal.n3 --why >refi-pf.n3pf
PYTHONPATH=/home/connolly/w3ccvs/WWW/2000/10/swap/.. \
  python /home/connolly/w3ccvs/WWW/2000/10/swap/check.py --report
refi-pf.n3pf \
  | perl -pe 's,file://'`/bin/pwd`'/,,g' >refi-pf.rst
rst2html refi-pf.rst refi-pf.html
python extract_rst_literals.py <badmeta.rst >badmeta.n3
python extract_rst_literals.py <httpspeech.rst >httpspeech.n3
python extract_rst_literals.py <httpsocial.rst >httpsocial.n3
python /home/connolly/w3ccvs/WWW/2000/10/swap/cwm.py badmeta.n3
speech.n3 httpspeech.n3 httpsocial.n3
time.n3 /home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3 /home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3 owl2.n3 \
  --solve=contradiction.n3 --why --n3=/ >badmeta-pf.n3pf
PYTHONPATH=/home/connolly/w3ccvs/WWW/2000/10/swap/.. \
  python /home/connolly/w3ccvs/WWW/2000/10/swap/check.py --report
badmeta-pf.n3pf \
  | perl -pe 's,file://'`/bin/pwd`'/,,g' >badmeta-pf.rst
rst2html badmeta-pf.rst badmeta-pf.html
python extract_rst_literals.py <mashup.rst >mashup.n3
python /home/connolly/w3ccvs/WWW/2000/10/swap/cwm.py mashup.n3 speech.n3
httpsocial.n3 /home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3 \
  --solve=xsrf-goal.n3 --why >xsrf-pf.n3pf
PYTHONPATH=/home/connolly/w3ccvs/WWW/2000/10/swap/.. \
  python /home/connolly/w3ccvs/WWW/2000/10/swap/check.py --report
xsrf-pf.n3pf \
  | perl -pe 's,file://'`/bin/pwd`'/,,g' >xsrf-pf.rst
rst2html xsrf-pf.rst xsrf-pf.html
python extract_rst_literals.py <scriptorigin.rst >scriptorigin.n3
python /home/connolly/w3ccvs/WWW/2000/10/swap/cwm.py mashup.n3
scriptorigin.n3 speech.n3 httpsocial.n3 \

httpspeech.n3 /home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3
--solve=mash1-goal.n3 --why >mash1-pf.n3pf
PYTHONPATH=/home/connolly/w3ccvs/WWW/2000/10/swap/.. \
  python /home/connolly/w3ccvs/WWW/2000/10/swap/check.py --report
mash1-pf.n3pf \
  | perl -pe 's,file://'`/bin/pwd`'/,,g' >mash1-pf.rst
rst2html mash1-pf.rst mash1-pf.html
rm mash1-pf.rst

real 0m21.737s
user 0m20.989s
sys 0m0.600s


Note that I fixed the python 2.6 deprecation warnings.


-- 
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 07:05:36 UTC