- From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
- Date: Tue, 6 May 2003 14:06:53 +0200
- To: "Sean Bechhofer" <seanb@cs.man.ac.uk>, "Ian Horrocks" <horrocks@cs.man.ac.uk>
- Cc: <www-webont-wg@w3.org>
Yes you're right, I'll fix it this afternoon. It is currently shown as OWL Full which is correct as you point out; but I supsect the entailment is incorrect as is. I will change it to be an OWL DL test. (Jos, I have now fixed the problems you reported in extra-credit 002 - 004, althought extra-credit 001 is still broken). Jeremy > This is a bit of a funny one. As I understand it, this particular file > *isn't* OWL Lite, so my parser is correct to reject it. The problem is > that owl:Thing appears (I think) in the "wrong" place. The RDF looks like: > > <owl:Thing> > <rdfs:subClassOf> > <owl:Restriction> > <owl:onProperty rdf:resource="conclusions004#prop"/> > <owl:allValuesFrom> > <owl:Class rdf:about="conclusions004#A"/> > </owl:allValuesFrom> > </owl:Restriction> > </rdfs:subClassOf> > </owl:Thing> > > What this then gives you in terms of the RDF graph is a bnode which has > rdf:type owl:Thing and which is an rdfs:subClassOf the given restriction. > This is then Full as it's an example of class as instance (of Thing). > What I think you *really* want is: > > <owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"> > <rdfs:subClassOf> > <owl:Restriction> > <owl:onProperty rdf:resource="conclusions004#prop"/> > <owl:allValuesFrom> > <owl:Class rdf:about="conclusions004#A"/> > </owl:allValuesFrom> > </owl:Restriction> > </rdfs:subClassOf> > </owl:Class> > > RDFers, please shout if I've got this wrong -- this is one that I've > struggled with (and got wrong) in the past.... > > Sean >
Received on Tuesday, 6 May 2003 08:07:46 UTC