- From: Dan Connolly <connolly@w3.org>
- Date: Fri, 29 Jun 2007 22:10:04 +0000
- To: public-wai-ert@w3.org
I'm looking at some EARL results using the tabulator, and
I notice some lists instead of classes as objects
of subClassOf.
I looked in the schema and sure enough...
<rdfs:Class rdf:about="http://www.w3.org/ns/earl#Assertion">
<rdfs:label xml:lang="en">An assertion</rdfs:label>
<rdfs:comment xml:lang="en">Parent node that contains all parts of
an assert
ion</rdfs:comment>
<rdfs:subClassOf rdf:parseType="Collection">
<owl:Restriction>
Collections don't work that way. You need to repeat the subPropertyOf.
I wonder if any of the http://esw.w3.org/topic/RDFCheckingTools
will find this problem; my favorite is the online pellet demo
http://www.mindswap.org/2003/pellet/demo.shtml
Hmm... It gives various diagnostics, but nothing that would
have explained this problem.
I can't think of any reason why EARL should go outside OWL DL.
So stuff like this should probably be fixed:
Non OWL-DL features used:
RDF Vocabulary: Using rdf:Property instead of owl:[Object|Data]Property
for earl:sourceCopy
For reference, here's the pellet output in full etc.
Input file: http://www.w3.org/ns/earl
OWL Species: Full
DL Expressivity: ALCO
Consistent: Yes
Time: 2335 ms (Loading: 2172 Species Validation: 142 Consistency: 20 )
Non OWL-DL features used:
RDF Vocabulary: Using rdf:Property instead of owl:[Object|Data]Property
for earl:sourceCopy
RDF Vocabulary: Using rdf:Property instead of owl:[Object|Data]Property
for earl:helpAssertor
RDF Vocabulary: Using rdf:Property instead of owl:[Object|Data]Property
for earl:mode
RDF Vocabulary: Using rdf:Property instead of owl:[Object|Data]Property
for earl:result
RDF Vocabulary: Using rdf:Property instead of owl:[Object|Data]Property
for earl:test
RDF Vocabulary: Using rdf:Property instead of owl:[Object|Data]Property
for earl:pointer
RDF Vocabulary: Using rdf:Property instead of owl:[Object|Data]Property
for earl:subject
RDF Vocabulary: Using rdf:Property instead of owl:[Object|Data]Property
for earl:info
RDF Vocabulary: Using rdf:Property instead of owl:[Object|Data]Property
for earl:outcome
RDF Vocabulary: Using rdf:Property instead of owl:[Object|Data]Property
for earl:assertedBy
RDF Vocabulary: Using rdf:Property instead of owl:[Object|Data]Property
for earl:mainAssertor
RDF Vocabulary: Using rdf:Property instead of owl:[Object|Data]Property
for earl:context
RDFS Vocabulary: Using rdfs:Class instead of owl:Class
Untyped Class: Assuming c511:-7fe1 is a class
Untyped Class: Assuming foaf:Agent is a class
Untyped Class: Assuming c511:-7fef is a class
Untyped Class: Assuming c511:-7fe8 is a class
Untyped Class: Assuming earl:Software is a class
Untyped Class: Assuming c511:-7fdf is a class
Untyped Class: Assuming c511:-7fff is a class
Untyped Property: dc:date needs to be defined as owl:[Object|
Data]Property
Untyped Property: dc:title needs to be defined as owl:[Object|
Data]Property
Untyped Property: Assuming dc:date is an object property
Untyped Property: Assuming dc:title is an object property
Non OWL-Lite features used:
Enumerated Class: owl:oneOf construct is used
oneOf(earl:CompoundAssertor earl:SingleAssertor)
Enumerated Class: owl:oneOf construct is used oneOf(c511:-7ff2
c511:-7ff4)
Enumerated Class: owl:oneOf construct is used oneOf(earl:notTested
earl:notApplicable earl:cannotTell earl:fail earl:pass)
Enumerated Class: owl:oneOf construct is used oneOf(earl:heuristic
earl:notAvailable earl:semiAutomatic earl:automatic earl:manual)
$ curl -I http://www.w3.org/ns/earl
HTTP/1.1 200 OK
Last-Modified: Fri, 23 Mar 2007 19:03:51 GMT
ETag: "46042497;461b8046"
Content-Length: 12924
Content-Type: application/rdf+xml; qs=0.9
http://www.w3.org/TR/2007/WD-EARL10-Schema-20070323
http://www.w3.org/TR/EARL10-Schema/
--
Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Saturday, 30 June 2007 10:14:17 UTC