W3C home > Mailing lists > Public > www-rdf-calendar@w3.org > November 2005

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

From: Dan Connolly <connolly@w3.org>
Date: Wed, 09 Nov 2005 10:57:24 -0600
To: RDF Calendar <www-rdf-calendar@w3.org>
Cc: pellet-users@lists.mindswap.org
Message-Id: <1131555444.12579.40.camel@dirk>

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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:14:13 UTC