W3C home > Mailing lists > Public > public-cwm-talk@w3.org > July to September 2006

toward "can't be in two places at once" proof with cwm

From: Dan Connolly <connolly@w3.org>
Date: Mon, 11 Sep 2006 09:15:37 -0500
Message-Id: <2d1ae79c04d23c94d0954e68e6de3fa3@w3.org>
Cc: public-cwm-talk@w3.org
To: Tim Berners-Lee <timbl@w3.org>, Yosi Scharf <syosi@MIT.EDU>

Tim, Yosi,

For XML 2005, I did a "you can't be two places at once" demo with
hCalendar and pellet.

http://www.w3.org/2002/12/cal/mash/slides#(45)

I'm trying to get cwm to come to the same conclusion and spit
out a proof. I'd like to use my pfreport branch of check.py to
render the proof so that I can present it to some colleagues
on this trip.
   http://www.w3.org/2006/09dc-aus/aus-aa

I have one or two other proofs working, but they don't feature
"reaching out into the web" with log:semantics and log:includes.

I can generate a proof, but I can't check it.
I think I'm hitting some problem with floating point number
printing and reading.

pbjam:~/w3ccvs/WWW/2002/12/cal connolly$ make PYTHON=python2.4 ,mash.txt

pbjam:~/w3ccvs/WWW/2002/12/cal connolly$ make PYTHON=python2.4 ,mash.txt
xsltproc --output ,e1.rdf glean-hcal.xsl mash/e1.html
xsltproc --output ,e2.rdf glean-hcal.xsl mash/e2.html
python2.4 ../../../2000/10/swap/cwm.py ,e1.rdf ,e2.rdf mash/calbg.n3 
mash/rdfs.n3 mash/owlAx.n3 ../../../2000/10/swap/util/owlth.n3 
--solve=mash/xnex.n3 --base=abs: --why >,mash-pf.n3
PYTHONPATH=../../../2000/10/swap/.. python2.4 
../../../2000/10/swap/check.py ,mash-pf.n3 >,mash.txt
                                                                        
Proof failed:  Extraction {abs:_g30 c:geo li54}=     @prefix : 
<file:/Users/connolly/w3ccvs/WWW/2002/12/cal/,mash-pf.n3#> .
                               @prefix c: 
<http://www.w3.org/2002/12/cal/icaltzd#> .

                                @forSome :_g30 .

                               :_g30     c:geo  (
                                   30.266656e+00
                                   -97.74465e+00 ) .

                            not included in formula  {14}=     @prefix : 
<http://www.w3.org/2002/12/cal/icaltzd#> .
                               @prefix dt: 
<http://www.w3.org/2001/XMLSchema#> .

                                 [      a :Vcalendar;
                                        :component  [
                                            a :Vevent;
                                            :attendee  [
                                                :calAddress 
<mailto:frood@example>;
                                                :cn "Hoopy Frood" ];
                                            :dtend "2005-10-07"^^dt:date;
                                            :dtstart 
"2005-10-06"^^dt:date;
                                            :geo  (
                                           30.266656e+00
                                           -97.74465e+00 );
                                            :location "in Austin, TX";
                                            :summary "Mom's birthday 
party";
                                            :url 
<file:/Users/connolly/w3ccvs/WWW/2002/12/cal/,e2.rdf> ];
                                        :prodid 
"-//connolly.w3.org//palmagent 0.6 (BETA)//EN";
                                        :version "2.0" ].

                           .
    Proof invalid: Extraction {abs:_g30 c:geo li54}=     @prefix : 
<file:/Users/connolly/w3ccvs/WWW/2002/12/cal/,mash-pf.n3#> .
        @prefix c: <http://www.w3.org/2002/12/cal/icaltzd#> .

         @forSome :_g30 .

        :_g30     c:geo  (
            30.266656e+00
            -97.74465e+00 ) .

     not included in formula  {14}=     @prefix : 
<http://www.w3.org/2002/12/cal/icaltzd#> .
        @prefix dt: <http://www.w3.org/2001/XMLSchema#> .

          [      a :Vcalendar;
                 :component  [
                     a :Vevent;
                     :attendee  [
                         :calAddress <mailto:frood@example>;
                         :cn "Hoopy Frood" ];
                     :dtend "2005-10-07"^^dt:date;
                     :dtstart "2005-10-06"^^dt:date;
                     :geo  (
                    30.266656e+00
                    -97.74465e+00 );
                     :location "in Austin, TX";
                     :summary "Mom's birthday party";
                     :url 
<file:/Users/connolly/w3ccvs/WWW/2002/12/cal/,e2.rdf> ];
                 :prodid "-//connolly.w3.org//palmagent 0.6 (BETA)//EN";
                 :version "2.0" ].

    .
make: *** [,mash.txt] Error 255


-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Monday, 11 September 2006 14:15:32 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:01:05 UTC