W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > July 2003

Re: [Fwd: Jena semantic tests]

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>
Message-ID: <OF9C13A197.A95684C9-ONC1256D6E.005C9E63-C1256D6E.005EDA42@agfa.be>


[...]
> > ** 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 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:58:49 EDT