Re: appeal for (short) test case review

• From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
• Date: Fri, 5 Apr 2002 01:34:06 +0100
• To: "Dave Beckett <dave.beckett" <dave.beckett@bristol.ac.uk>
• Cc: "Brian McBride <bwm" <bwm@hplb.hpl.hp.com>, "RDF Core <w3c-rdfcore-wg" <w3c-rdfcore-wg@w3.org>
• Message-ID: <OFAF990826.B7E7B2B2-ONC1256B92.00027B44@agfa.be>

[...]

> >
http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/
>
> Not sure what is being tested.  The N-Triples are right if it is
> trying to test that rdf schema properties work like any other
> property.  test002 doesn't mention subProperty so how is it testing it?

it should be the case that test001 entails test002
e.g.

# Generated with http://www.agfa.com/w3c/euler/#R30005 on Fri Apr 05
02:29:00 CEST 2002
# for query
http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test002.nt

# given
[http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test001.nt,

http://www.agfa.com/w3c/euler/rdfs-rules.n3]

@prefix mt: <http://www.w3.org/TR/rdf-mt/#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

 {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
  <http://example.org/bar> rdfs:domain <http://example.org/Domain1>.
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
    <http://example.org/bas> rdfs:subPropertyOf <http://example.org/bar>.
    <http://example.org/baz1> <http://example.org/bas> <http://example.org/baz2>} log:implies
  {<http://example.org/baz1> <http://example.org/bar> <http://example.org/baz2>}} log:implies
{<http://example.org/baz1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Domain1>}.
 {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
  <http://example.org/bar> rdfs:domain <http://example.org/Domain2>.
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
    <http://example.org/bas> rdfs:subPropertyOf <http://example.org/bar>.
    <http://example.org/baz1> <http://example.org/bas> <http://example.org/baz2>} log:implies
  {<http://example.org/baz1> <http://example.org/bar> <http://example.org/baz2>}} log:implies
{<http://example.org/baz1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Domain2>}.
 {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule3> .
  <http://example.org/bar> rdfs:range <http://example.org/Range1>.
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
    <http://example.org/bas> rdfs:subPropertyOf <http://example.org/bar>.
    <http://example.org/baz1> <http://example.org/bas> <http://example.org/baz2>} log:implies
  {<http://example.org/baz1> <http://example.org/bar> <http://example.org/baz2>}} log:implies
{<http://example.org/baz2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Range1>}.
 {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule3> .
  <http://example.org/bar> rdfs:range <http://example.org/Range2>.
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
    <http://example.org/bas> rdfs:subPropertyOf <http://example.org/bar>.
    <http://example.org/baz1> <http://example.org/bas> <http://example.org/baz2>} log:implies
  {<http://example.org/baz1> <http://example.org/bar> <http://example.org/baz2>}} log:implies
{<http://example.org/baz2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Range2>}.

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test002.nt in 260 steps (14860 steps/sec)

--
Jos

Received on Thursday, 4 April 2002 19:34:44 UTC