- From: Jos De_Roo <jos.deroo@agfa.com>
- Date: Fri, 25 Jul 2003 19:16:02 +0200
- To: "Dan Connolly <connolly" <connolly@w3.org>
- Cc: Brian McBride <bwm@hplb.hpl.hp.com>, rdf core <w3c-rdfcore-wg@w3.org>
[...]
> > ** Failures - will not fix:
> > PositiveEntailmentTest rdfms-seq-representation/Manifest.rdf#test004 -
FAIL
> > PositiveEntailmentTest rdfms-seq-representation/Manifest.rdf#test002 -
FAIL
> > These two tests assert that the empty document entails various
properties
> > of _1. By my reading of the specs this is not correct, only mentioned
> > container membership properties should result in such entailments and
> > there are no such mentions in the empty document.
>
> That's my understanding too. I haven't double-checked the text.
> I recommend changing the test.
I was looking in the table of the "RDFS axiomatic triples" at
http://www.ihmc.us/users/phayes/RDF_Semant_Edit_Weak.html#rdfs_interp
and found that
rdf:_1 rdf:type rdfs:ContainerMembershipProperty .
is an RDFS axiomatic triple (following from the empty KB)
so test002 - OK
Given this, rdfs12 is applicable
{
<http://www.agfa.com/w3c/euler/rdfs-rules#rdfs12>.
{[ iw:Variable "?X"] = <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1>.
[ iw:Variable "?X"] a rdfs:ContainerMembershipProperty} =>
{<http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> a
rdfs:ContainerMembershipProperty}} =>
{<http://www.w3.org/1999/02/22-rdf-syntax-ns#_1>
<http://www.w3.org/2000/01/rdf-schema#subPropertyOf>
<http://www.w3.org/2000/01/rdf-schema#member>}.
so test004 is also OK
(at least we get those results)
[oops... have to run, ]
--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Friday, 25 July 2003 13:16:12 UTC