cant produces different but equivalent graphs

I tried using cant.py for calendar testing; I'm pretty sure
I found a bug.

cant.py produced the attached graphs, which are different
(diffs below).

They entail each other; i.e. each log:includes the other.

I gather the premise of cant.py is that it produces
the same output when given equivalent graphs, so this
shows a bug.


connolly@dirk:~/w3ccvs/WWW/2002/12/cal/test$ diff -u ,temp/mtg-in.nt
,temp/mtg-out.nt --- ,temp/mtg-in.nt     2004-01-31 23:53:01.000000000
-0600
+++ ,temp/mtg-out.nt    2004-01-31 23:53:02.000000000 -0600
@@ -6,7 +6,8 @@
 _:c1 <http://www.w3.org/2002/12/cal/ical#bymonth> "4" .
 _:c1 <http://www.w3.org/2002/12/cal/ical#freq> "YEARLY" .
 _:c1 <http://www.w3.org/2002/12/cal/ical#interval> "1" .
-_:c10 <http://www.w3.org/2002/12/cal/ical#dateTime>
"2002-12-19T20:53:57Z" .
+_:c10 <http://www.w3.org/2002/12/cal/ical#dateTime>
"2003-01-08T13:00:00" .
+_:c10 <http://www.w3.org/2002/12/cal/ical#tzid>
"/softwarestudio.org/Olson_20011030_5/America/New_York" .
 _:c11 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<http://www.w3.org/2002/12/cal/ical#Vcalendar> .
 _:c11 <http://www.w3.org/2002/12/cal/ical#calscale> "GREGORIAN" .
 _:c11 <http://www.w3.org/2002/12/cal/ical#component> _:c4 .
@@ -30,13 +31,12 @@
 _:c5 <http://www.w3.org/2002/12/cal/ical#tzname> "EST" .
 _:c5 <http://www.w3.org/2002/12/cal/ical#tzoffsetfrom> "-0400" .
 _:c5 <http://www.w3.org/2002/12/cal/ical#tzoffsetto> "-0500" .
-_:c6 <http://www.w3.org/2002/12/cal/ical#dateTime>
"2003-01-08T13:00:00" .
-_:c6 <http://www.w3.org/2002/12/cal/ical#tzid>
"/softwarestudio.org/Olson_20011030_5/America/New_York" .
+_:c6 <http://www.w3.org/2002/12/cal/ical#dateTime>
"2002-12-19T20:53:57Z" .
 _:c7 <http://www.w3.org/2002/12/cal/ical#dateTime>
"1970-10-25T02:00:00" .
 _:c8 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<http://www.w3.org/2002/12/cal/ical#Vevent> .
 _:c8 <http://www.w3.org/2002/12/cal/ical#dtend> _:c9 .
-_:c8 <http://www.w3.org/2002/12/cal/ical#dtstamp> _:c10 .
-_:c8 <http://www.w3.org/2002/12/cal/ical#dtstart> _:c6 .
+_:c8 <http://www.w3.org/2002/12/cal/ical#dtstamp> _:c6 .
+_:c8 <http://www.w3.org/2002/12/cal/ical#dtstart> _:c10 .
 _:c8 <http://www.w3.org/2002/12/cal/ical#sequence> "3" .
 _:c8 <http://www.w3.org/2002/12/cal/ical#summary> "icalendaring #rdfig
meeting" .
 _:c8 <http://www.w3.org/2002/12/cal/ical#uid>
"CDC474D4-1393-11D7-9A2C-000393914268" .

-- 
Dan

Received on Sunday, 1 February 2004 01:03:45 UTC