- 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
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 UTC