TEST I5.24 - 004 was RE: Partial? regrets May 1st

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
>