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

tuning, am able to reproduce via swap:

time make
rst2html story.rst story.html
python /home/jdroo/w3ccvs/WWW/2000/10/swap/cwm.py refi_ex.n3 speech.n3 \
                --solve=refi_goal.n3 --why >refi-pf.n3pf
PYTHONPATH=/home/jdroo/w3ccvs/WWW/2000/10/swap/.. \
                python /home/jdroo/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 /home/jdroo/w3ccvs/WWW/2000/10/swap/cwm.py badmeta.n3 speech.n3 
httpspeech.n3 httpsocial.n3 time.n3 
/home/jdroo/w3ccvs/WWW/2000/10/swap/util/owlth.n3 
/home/jdroo/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3 owl2.n3 \
                --solve=contradiction.n3 --why --n3=/ >badmeta-pf.n3pf
PYTHONPATH=/home/jdroo/w3ccvs/WWW/2000/10/swap/.. \
                python /home/jdroo/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 /home/jdroo/w3ccvs/WWW/2000/10/swap/cwm.py mashup.n3 speech.n3 
httpsocial.n3 /home/jdroo/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3 \
                --solve=xsrf-goal.n3 --why >xsrf-pf.n3pf
PYTHONPATH=/home/jdroo/w3ccvs/WWW/2000/10/swap/.. \
                python /home/jdroo/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 /home/jdroo/w3ccvs/WWW/2000/10/swap/cwm.py mashup.n3 
scriptorigin.n3 speech.n3 httpsocial.n3 \
                 httpspeech.n3 
/home/jdroo/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3 
--solve=mash1-goal.n3 --why >mash1-pf.n3pf
PYTHONPATH=/home/jdroo/w3ccvs/WWW/2000/10/swap/.. \
                python /home/jdroo/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    0m16.329s
user    0m16.061s
sys     0m0.276s


and am also attaching the 4 proofs found by eye

#!/bin/bash
eye http://www.w3.org/2001/tag/dj9/refi_ex.n3 
http://www.w3.org/2001/tag/dj9/speech.n3 --query 
http://www.w3.org/2001/tag/dj9/refi_goal.n3 > pf1.n3
eye http://www.w3.org/2001/tag/dj9/badmeta.n3 
http://www.w3.org/2001/tag/dj9/speech.n3 
http://www.w3.org/2001/tag/dj9/httpspeech.n3 
http://www.w3.org/2001/tag/dj9/httpsocial.n3 
http://www.w3.org/2001/tag/dj9/time.n3 
http://www.w3.org/2001/tag/dj9/owl2.n3 
http://www.w3.org/2000/10/swap/util/owlth.n3 
http://www.w3.org/2000/10/swap/util/rdfs-nice.n3 --query 
http://www.w3.org/2001/tag/dj9/contradiction.n3 > pf2.n3
eye http://www.w3.org/2001/tag/dj9/mashup.n3 
http://www.w3.org/2001/tag/dj9/speech.n3 
http://www.w3.org/2001/tag/dj9/httpsocial.n3 
http://www.w3.org/2000/10/swap/util/rdfs-nice.n3 --query 
http://www.w3.org/2001/tag/dj9/xsrf-goal.n3 > pf3.n3
eye http://www.w3.org/2001/tag/dj9/mashup.n3 
http://www.w3.org/2001/tag/dj9/scriptorigin.n3 
http://www.w3.org/2001/tag/dj9/speech.n3 
http://www.w3.org/2001/tag/dj9/httpsocial.n3 
http://www.w3.org/2001/tag/dj9/httpspeech.n3 
http://www.w3.org/2000/10/swap/util/rdfs-nice.n3 --query 
http://www.w3.org/2001/tag/dj9/mash1-goal.n3 > pf4.n3






They are not immediately checking due eye's "bnode to univar rewriting in 
the rule premis"
and I wonder if it is realistic that check.py can cope with that...

Thanks Dan and this indeed feels like a nice exercise :)


Kind regards,

Jos De Roo | Agfa HealthCare
Senior Researcher | HE/Advanced Clinical Applications Research
T  +32 3444 7618
 http://www.agfa.com/w3c/jdroo/

Quadrat NV, Kortrijksesteenweg 157, 9830 Sint-Martens-Latem, Belgium
http://www.agfa.com/healthcare



Dan Connolly <connolly@w3.org> 
Sent by: public-cwm-talk-request@w3.org
12/21/2009 08:05 AM

To
Jos De Roo/AMDUS/AGFA@AGFA
cc
public-cwm-talk@w3.org
Subject
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