OWL DL checking with pellet prompts changes in duration handling, schema fixes

I just committed a whole bunch of changes in the RDF
calendar workspace
 http://www.w3.org/2002/12/cal/

mainly:
 fromIcal.py new revision: 2.29
 icaltzd.rdf new revision: 1.3
 rfc2445.html new revision: 1.20
but also test data, Makefile, etc.

This is notice of a schema change, subject to appeal for a week
as usual, per
  http://www.w3.org/2002/12/cal/#dev


- changed the way duration values are modelled
    The iCalendar DURATION value type is actually more than just a
    XMLSchema.duration; it also has a RELATED parameter.
    So for
      TRIGGER;VALUE=DURATION;RELATED=START:-PT15M
    we'll write
      { ?E cal:trigger [ rdf:value "-PT15M"^^xsdt:duration;
                         cal:related "START"] }

- fixed test data to have rdf:datatype on integer
  values, to match the schema (which matches the RFC)

- fixed schema to show DATE-TIME properties (dtstart, ...)
  as DatatypeProperties
  (there are little/no tests for PERIOD; beware)

- scraped more details about property parameters (e.g. partstat, cn,
  cutype, ...) and rrule parts (freq, interval, ...) from the RFC so
  that they show up as links in the hypertext version and as RDF
  properties in the schema.  likewise timezone components (standard,
  daylight)
 - side effect: added some whitespace in rfc2445.html

- demoted x- properties
 - removed x- properties from .rdf versions of test data
   this allows the round-trip tests to pass
 - fromIcal.py doesn't output them unless you give the --x option

- added Makefile support for consistency checking with pellet

- demoted blank line diagnostic in fromIcal.py to a comment

- silenced some left-over debug diagnostics in slurpIcalSpec.py

- fixed test/test-created.rdf; added it to fromIcalTest.py list


There's just a little bit of makefile support for OWL DL/pellet
checking. The check is run, but the question of whether it
worked or not is not evaluated by machine:

connolly@dirk:~/w3ccvs/WWW/2002/12/cal$ make check1 2>,jena-complaints
python slurpIcalSpec.py 2445 <rfc2445.txt >rfc2445.html
xsltproc  -o icaltzd.rdf webize2445.xsl rfc2445.html
python ../../../2000/10/swap/cwm.py icaltzd.rdf test/cal01.rdf
test/bus-hrs.rdf test/Todos1.rdf test/MovieInfo.rdf --rdf >,caldata.rdf
java -jar ~/src/pellet-1.3-beta/lib/pellet.jar -inputFile ,caldata.rdf
-unsat >,p

Then in ,p we find:

Input file: file:/home/connolly/w3ccvs/WWW/2002/12/cal/,caldata.rdf
OWL Species: Full
DL Expressivity: ALC(D)
Consistent: Yes
Time: 10674 ms (Loading: 7439 Preprocessing: 0 Species Validation: 3067
Consistency: 140 )

As well as:

Add the following statements to make this document OWL DL
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:owl="http://www.w3.org/2002/07/owl#" >
  <rdf:Description rdf:about="mailto:connolly@w3.org">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
  </rdf:Description>
...

which was really helpful in figuring out which properties were missing
from the schema.


All the old tests pass:

connolly@dirk:~/w3ccvs/WWW/2002/12/cal$ make retest
(cd test; PYTHONPATH=../../../../2000/10/swap python cal-retest.py    -f
cal-regression.n3)
#########   1)  Short original case; very simple
loading...file:/home/connolly/w3ccvs/WWW/2002/12/cal/test/gkexample.rdf
exporting...
#########   2)  non-ascii characters
loading...file:/home/connolly/w3ccvs/WWW/2002/12/cal/test/TestTermin.rdf
exporting...
#########   3)  Minimal export from Mozilla calendar
loading...file:/home/connolly/w3ccvs/WWW/2002/12/cal/test/MozexportAsCalendar.rdf
exporting...
#########   4)  Trivial case; similar to gkexample, no prodid!
loading...file:/home/connolly/w3ccvs/WWW/2002/12/cal/test/openingHours.rdf
exporting...
#########   5)  tag-bug (what was the bug?@@)
loading...file:/home/connolly/w3ccvs/WWW/2002/12/cal/test/tag-bug.rdf
exporting...
#########   6)  RDF calendar meet announcement 20030115
loading...file:/home/connolly/w3ccvs/WWW/2002/12/cal/test/20030115mtg.rdf
exporting...
#########   7)  RDF calendar meet announcement 20030122
loading...file:/home/connolly/w3ccvs/WWW/2002/12/cal/test/20030122mtg.rdf
exporting...
#########   8)  RDF calendar meet announcement 20030205
loading...file:/home/connolly/w3ccvs/WWW/2002/12/cal/test/20030205mtg.rdf
exporting...
#########   9)  RDF calendar meet announcement 20030212
loading...file:/home/connolly/w3ccvs/WWW/2002/12/cal/test/20030212mtg.rdf
exporting...
#########  10)  RDF calendar meet announcement 20030226
loading...file:/home/connolly/w3ccvs/WWW/2002/12/cal/test/20030226mtg.rdf
exporting...
#########  11)  RDF calendar meet announcement 20030312
loading...file:/home/connolly/w3ccvs/WWW/2002/12/cal/test/20030312mtg.rdf
exporting...
#########  12)  RDF calendar meet announcement 20030326
loading...file:/home/connolly/w3ccvs/WWW/2002/12/cal/test/20030326mtg.rdf
exporting...
#########  13)  RDF calendar meet announcement 20030409
loading...file:/home/connolly/w3ccvs/WWW/2002/12/cal/test/20030409mtg.rdf
exporting...
#########  14)  RDF calendar meet announcement 20030410query
loading...file:/home/connolly/w3ccvs/WWW/2002/12/cal/test/20030410querymtg.rdf
exporting...
#########  15)  RDF calendar meet announcement 20030416geo
loading...file:/home/connolly/w3ccvs/WWW/2002/12/cal/test/20030416geomtg.rdf
exporting...
#########  16)  RDF calendar meet announcement 20030423
loading...file:/home/connolly/w3ccvs/WWW/2002/12/cal/test/20030423mtg.rdf
exporting...
#########  17)  A few football games
loading...file:/home/connolly/w3ccvs/WWW/2002/12/cal/test/Chiefs.rdf
exporting...
#########  18)  Bus schedule (?) with timezones, an event
loading...file:/home/connolly/w3ccvs/WWW/2002/12/cal/test/bus-hrs.rdf
exporting...
#########  19)  One of the original cases; fairly varied
loading...file:/home/connolly/w3ccvs/WWW/2002/12/cal/test/cal01.rdf
exporting...
#########  20)  Extended to test DIR parameter
loading...file:/home/connolly/w3ccvs/WWW/2002/12/cal/test/cal02.rdf
exporting...
#########  21)  Original case; straightforward timezone and event
loading...file:/home/connolly/w3ccvs/WWW/2002/12/cal/test/mtg.rdf
exporting...
#########  22)  Yet another long test case
loading...file:/home/connolly/w3ccvs/WWW/2002/12/cal/test/querymeetings.rdf
exporting...
#########  23)  Trivial case; a couple of tasks
loading...file:/home/connolly/w3ccvs/WWW/2002/12/cal/test/Todos1.rdf
exporting...
#########  24)  An event with a CREATED: property
loading...file:/home/connolly/w3ccvs/WWW/2002/12/cal/test/test-created.rdf
exporting...
No errors in 24 tests.


$ make from-test
python fromIcalTest.py ../../../2000/10/swap

====  tag-bug
    :thisTest     a :Success .


====  test-created
    :thisTest     a :Success .


====  TestTermin
    :thisTest     a :Success .


====  geo1
    :thisTest     a :Success .


====  Todos1
    :thisTest     a :Success .


====  cal01
    :thisTest     a :Success .


====  cal02
    :thisTest     a :Success .


====  mtg
    :thisTest     a :Success .


====  bus-hrs
    :thisTest     a :Success .


====  gkexample
    :thisTest     a :Success .


====  openingHours
    :thisTest     a :Success .


====  spec01-conf3
    :thisTest     a :Success .


====  20030423mtg
    :thisTest     a :Success .


====  ISWC-related
    :thisTest     a :Success .


====  MovieInfo
    :thisTest     a :Success .


====  MozexportAsCalendar
    :thisTest     a :Success .


====  Chiefs
    :thisTest     a :Success .


====  20030115mtg
    :thisTest     a :Success .


====  20030122mtg
    :thisTest     a :Success .


====  20030205mtg
    :thisTest     a :Success .


====  20030212mtg
    :thisTest     a :Success .


====  20030226mtg
    :thisTest     a :Success .


====  20030312mtg
    :thisTest     a :Success .


====  20030326mtg
    :thisTest     a :Success .


====  20030409mtg
    :thisTest     a :Success .


====  20030410querymtg
    :thisTest     a :Success .


====  20030416geomtg
    :thisTest     a :Success .


====  20030423mtg
    :thisTest     a :Success .


====  bus-hrs
    :thisTest     a :Success .


====  querymeetings
    :thisTest     a :Success .

=========== 30 passes out of 30.


-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E

Received on Wednesday, 9 November 2005 23:19:26 UTC