I finally got around to checking our test data with an OWL reasoner... $ java -jar lib/pellet.jar -inputFile ,cal1.rdf -unsat ... WARNING: Inconsistent ontology. Reason: Plain literal "2" does not belong to datatype http://www.w3.org/2001/XMLSchema#integer. Literal value may be missing the rdf:datatype attribute. OWL Species: Full DL Expressivity: ALC(D) Consistent: No Reason: Plain literal "2" does not belong to datatype http://www.w3.org/2001/XMLSchema#integer. Literal value may be missing the rdf:datatype attribute. Time: 7576 ms (Loading: 5612 Preprocessing: 0 Species Validation: 1868 Consistency: 51 ) Sure enough, section 4.8.7.4 Sequence Number says "Value Type integer" http://www.w3.org/2002/12/cal/rfc2445#sec4.8.7.4 but cal01.rdf says <sequence>2</sequence> Cool. Some details... Notes on installing pellet on a debian box http://swig.xmlhack.com/2005/11/09/2005-11-09.html#1131546630.490930 I don't know how to get pellet to load 2 files and merge them, so I used cwm for that: $ python $swap/cwm.py http://www.w3.org/2002/12/cal/icaltzd http://www.w3.org/2002/12/cal/test/cal01.rdf --rdf >,cal1.rdf -- Dan Connolly, W3C http://www.w3.org/People/Connolly/ D3C2 887B 0F92 6005 C541 0875 0F91 96DE 6E52 C29EReceived on Wednesday, 9 November 2005 16:57:32 GMT
This archive was generated by hypermail 2.2.0 + w3c-0.30 : Wednesday, 9 November 2005 16:57:33 GMT