- 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
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