W3C home > Mailing lists > Public > www-archive@w3.org > February 2004

cant produces different but equivalent graphs

From: Dan Connolly <connolly@w3.org>
Date: Sun, 01 Feb 2004 00:03:27 -0600
To: timbl@w3.org
Cc: www-archive+n3bugs@w3.org
Message-Id: <1075615407.5617.15.camel@dirk>
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


_:c0 <http://www.w3.org/2002/12/cal/ical#byday> "-1SU" .
_:c0 <http://www.w3.org/2002/12/cal/ical#bymonth> "10" .
_:c0 <http://www.w3.org/2002/12/cal/ical#freq> "YEARLY" .
_:c0 <http://www.w3.org/2002/12/cal/ical#interval> "1" .
_:c1 <http://www.w3.org/2002/12/cal/ical#byday> "1SU" .
_: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" .
_: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 .
_:c11 <http://www.w3.org/2002/12/cal/ical#component> _:c8 .
_:c11 <http://www.w3.org/2002/12/cal/ical#prodid> "-//Apple Computer\\, Inc//iCal 1.0//EN" .
_:c11 <http://www.w3.org/2002/12/cal/ical#version> "2.0" .
_:c11 <http://www.w3.org/2002/12/cal/prod/Apple_Comp_628d9d8459c556fa#wrTimezone> "US/Eastern" .
_:c2 <http://www.w3.org/2002/12/cal/ical#dateTime> "1970-04-05T02:00:00" .
_:c3 <http://www.w3.org/2002/12/cal/ical#dtstart> _:c2 .
_:c3 <http://www.w3.org/2002/12/cal/ical#rrule> _:c1 .
_:c3 <http://www.w3.org/2002/12/cal/ical#tzname> "EDT" .
_:c3 <http://www.w3.org/2002/12/cal/ical#tzoffsetfrom> "-0500" .
_:c3 <http://www.w3.org/2002/12/cal/ical#tzoffsetto> "-0400" .
_:c4 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/12/cal/ical#Vtimezone> .
_:c4 <http://www.w3.org/2002/12/cal/ical#daylight> _:c3 .
_:c4 <http://www.w3.org/2002/12/cal/ical#standard> _:c5 .
_:c4 <http://www.w3.org/2002/12/cal/ical#tzid> "/softwarestudio.org/Olson_20011030_5/America/New_York" .
_:c4 <http://www.w3.org/2002/12/cal/prod/Apple_Comp_628d9d8459c556fa#licLocation> "America/New_York" .
_:c5 <http://www.w3.org/2002/12/cal/ical#dtstart> _:c7 .
_:c5 <http://www.w3.org/2002/12/cal/ical#rrule> _:c0 .
_: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" .
_: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#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" .
_:c9 <http://www.w3.org/2002/12/cal/ical#dateTime> "2003-01-08T14:00:00" .
_:c9 <http://www.w3.org/2002/12/cal/ical#tzid> "/softwarestudio.org/Olson_20011030_5/America/New_York" .

_:c0 <http://www.w3.org/2002/12/cal/ical#byday> "-1SU" .
_:c0 <http://www.w3.org/2002/12/cal/ical#bymonth> "10" .
_:c0 <http://www.w3.org/2002/12/cal/ical#freq> "YEARLY" .
_:c0 <http://www.w3.org/2002/12/cal/ical#interval> "1" .
_:c1 <http://www.w3.org/2002/12/cal/ical#byday> "1SU" .
_: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> "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 .
_:c11 <http://www.w3.org/2002/12/cal/ical#component> _:c8 .
_:c11 <http://www.w3.org/2002/12/cal/ical#prodid> "-//Apple Computer\\, Inc//iCal 1.0//EN" .
_:c11 <http://www.w3.org/2002/12/cal/ical#version> "2.0" .
_:c11 <http://www.w3.org/2002/12/cal/prod/Apple_Comp_628d9d8459c556fa#wrTimezone> "US/Eastern" .
_:c2 <http://www.w3.org/2002/12/cal/ical#dateTime> "1970-04-05T02:00:00" .
_:c3 <http://www.w3.org/2002/12/cal/ical#dtstart> _:c2 .
_:c3 <http://www.w3.org/2002/12/cal/ical#rrule> _:c1 .
_:c3 <http://www.w3.org/2002/12/cal/ical#tzname> "EDT" .
_:c3 <http://www.w3.org/2002/12/cal/ical#tzoffsetfrom> "-0500" .
_:c3 <http://www.w3.org/2002/12/cal/ical#tzoffsetto> "-0400" .
_:c4 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/12/cal/ical#Vtimezone> .
_:c4 <http://www.w3.org/2002/12/cal/ical#daylight> _:c3 .
_:c4 <http://www.w3.org/2002/12/cal/ical#standard> _:c5 .
_:c4 <http://www.w3.org/2002/12/cal/ical#tzid> "/softwarestudio.org/Olson_20011030_5/America/New_York" .
_:c4 <http://www.w3.org/2002/12/cal/prod/Apple_Comp_628d9d8459c556fa#licLocation> "America/New_York" .
_:c5 <http://www.w3.org/2002/12/cal/ical#dtstart> _:c7 .
_:c5 <http://www.w3.org/2002/12/cal/ical#rrule> _:c0 .
_: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> "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> _: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" .
_:c9 <http://www.w3.org/2002/12/cal/ical#dateTime> "2003-01-08T14:00:00" .
_:c9 <http://www.w3.org/2002/12/cal/ical#tzid> "/softwarestudio.org/Olson_20011030_5/America/New_York" .
Received on Sunday, 1 February 2004 01:03:45 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 7 November 2012 14:17:39 GMT