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
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:32:22 UTC