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