pellet OWL reasoner finds inconsistency between iCalendar RFC and cal01.rdf

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 C29E

Received on Wednesday, 9 November 2005 16:57:32 UTC