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

having fun with pellet and iCalendar schema

From: Dan Connolly <connolly@w3.org>
Date: Sun, 08 Feb 2004 15:41:47 -0600
To: pellet-devel@mindswap.lists.org
Cc: www-archive@w3.org, sandro@w3.org
Message-Id: <1076199774.6381.847.camel@dirk>

Pellet rocks!

I'm deriving a schema for iCalendar by machine
from the RFC...
http://www.w3.org/2002/12/cal/rfc2445-formal

(more details on how it's made:
http://rdfig.xmlhack.com/2004/02/07/2004-02-07.html#1076136432.888867 )

it's fun checking it with pellet each time I tweak it...
http://www.mindswap.org/cgi-bin/2003/pellet/pelletGet.cgi?inputFile=http%3A%2F%2Fwww.w3.org%2F2002%2F12%2Fcal%2Frfc2445-formal&inputFormat=RDF%2FXML&inputString=&Consistency=true&Unsat=true&Classify=true&classifyFormat=TREE&conclusionsFile=&conclusionsFormat=RDF%2FXML&conclusionsString=

I hope to capture stuff like
                ; either 'dtend' or 'duration' may appear in
                ; a 'eventprop', but 'dtend' and 'duration'
                ; MUST NOT occur in the same 'eventprop'

and then generate test data that shows that when
you put both a dtend and a duration on an event,
it becomes inconsistent.


-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
see you at the W3C Tech Plenary in Cannes 1-5 Mar 2003?
Received on Sunday, 8 February 2004 16:41:36 GMT

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