Re: RDF/XML Parser Tests Schema

Hi Dave,

[...]
> do the graph comparison etc. when some of that software
> gets written.

Well to avoid any confusion, it IS written (I havn't said
bugfree :-) and you even have 2 independent implementations
namely CWM and Euler.

For CWM at http://dev.w3.org/cvsweb/2000/10/swap/ it is (as I use)
  python cwm.py resolve.n3 -think
where resolve.n3 is something like
///////////////////////
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <#>.
 { [ is log:resolvesTo of <http://www.agfa.com/w3c/euler/animal-simple.n3> ]
    log:includes
  [ is log:resolvesTo of <http://www.agfa.com/w3c/euler/animal-simple.n3> ] }
    log:implies { :test1 a :Success }.
///////////////////////

For Euler it is
1. install and test (as (briefly) explained at
   http://www.agfa.com/w3c/euler/index.html
   [[
     Usage
       Unzip euler.zip in [path] and place [path] in your classpath.
       java Euler [-trace] [-core] axiom ... lemma
   ]]
2. for testcase http://www.agfa.com/w3c/euler/animal-simple.n3
   and reference http://www.agfa.com/w3c/euler/animal-simple.n3
   (which is of course the same, but it could be different)
       java Euler -trace -core
         http://www.agfa.com/w3c/euler/animal-simple.n3
         http://www.agfa.com/w3c/euler/animal-simple.n3
   (on one line)
   and that should produce

//////////////////////////
C:\>java Euler -trace -core http://www.agfa.com/w3c/euler/animal-simple.n3 http:
//www.agfa.com/w3c/euler/animal-simple.n3
# <http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.w3.org/199
9/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class>.
# <http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.w3.org/200
0/01/rdf-schema#label> "Animal".
[1]CALL: <http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.w3.
org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class>.

[1]EXIT: <http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.w3.
org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class>.

[2]CALL: <http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.dam
l.org/2000/12/daml+oil#restrictedBy> [ <http://www.w3.org/1999/02/22-rdf-syntax-
ns#type> <http://www.daml.org/2000/12/daml+oil#Restriction>; <http://www.daml.or
g/2000/12/daml+oil#onProperty> <http://www.w3.org/2000/10/swap/test/animal.rdf#p
arent>; <http://www.daml.org/2000/12/daml+oil#cardinality> "2"; <http://www.w3.o
rg/1999/02/22-rdf-syntax-ns#type> <http://www.daml.org/2000/12/daml+oil#Restrict
ion>; <http://www.daml.org/2000/12/daml+oil#onProperty> <http://www.w3.org/2000/
10/swap/test/animal.rdf#parent>; <http://www.daml.org/2000/12/daml+oil#cardinali
ty> "2"].
[2]EXIT: <http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.dam
l.org/2000/12/daml+oil#restrictedBy> [ <http://www.w3.org/1999/02/22-rdf-syntax-
ns#type> <http://www.daml.org/2000/12/daml+oil#Restriction>; <http://www.daml.or
g/2000/12/daml+oil#onProperty> <http://www.w3.org/2000/10/swap/test/animal.rdf#p
arent>; <http://www.daml.org/2000/12/daml+oil#cardinality> "2"; <http://www.w3.o
rg/1999/02/22-rdf-syntax-ns#type> <http://www.daml.org/2000/12/daml+oil#Restrict
ion>; <http://www.daml.org/2000/12/daml+oil#onProperty> <http://www.w3.org/2000/
10/swap/test/animal.rdf#parent>; <http://www.daml.org/2000/12/daml+oil#cardinali
ty> "2"].
[3]CALL: <http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.w3.
org/2000/01/rdf-schema#label> "Animal".
[3]EXIT: <http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.w3.
org/2000/01/rdf-schema#label> "Animal".
# Generated with Euler 26.064 on Tue Jun 05 17:00:54 CEST 2001
#
# @prefix log: <http://www.w3.org/2000/10/swap/log#>.
# <http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.w3.org/199
9/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class>.
# <http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.daml.org/2
000/12/daml+oil#restrictedBy> [ <http://www.w3.org/1999/02/22-rdf-syntax-ns#type
> <http://www.daml.org/2000/12/daml+oil#Restriction>; <http://www.daml.org/2000/
12/daml+oil#onProperty> <http://www.w3.org/2000/10/swap/test/animal.rdf#parent>;
 <http://www.daml.org/2000/12/daml+oil#cardinality> "2"; <http://www.w3.org/1999
/02/22-rdf-syntax-ns#type> <http://www.daml.org/2000/12/daml+oil#Restriction>; <
http://www.daml.org/2000/12/daml+oil#onProperty> <http://www.w3.org/2000/10/swap
/test/animal.rdf#parent>; <http://www.daml.org/2000/12/daml+oil#cardinality> "2"
].
# <http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.w3.org/200
0/01/rdf-schema#label> "Animal".

@prefix log: <http://www.w3.org/2000/10/swap/log#>.

<http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.w3.org/1999/
02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class>.
<http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.daml.org/200
0/12/daml+oil#restrictedBy> [ <http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<http://www.daml.org/2000/12/daml+oil#Restriction>; <http://www.daml.org/2000/12
/daml+oil#onProperty> <http://www.w3.org/2000/10/swap/test/animal.rdf#parent>; <
http://www.daml.org/2000/12/daml+oil#cardinality> "2"; <http://www.w3.org/1999/0
2/22-rdf-syntax-ns#type> <http://www.daml.org/2000/12/daml+oil#Restriction>; <ht
tp://www.daml.org/2000/12/daml+oil#onProperty> <http://www.w3.org/2000/10/swap/t
est/animal.rdf#parent>; <http://www.daml.org/2000/12/daml+oil#cardinality> "2"].

<http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.w3.org/2000/
01/rdf-schema#label> "Animal".

# Proof found for http://www.agfa.com/w3c/euler/animal-simple.n3 in 3 steps (15
steps/sec)
\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\

--
Jos De Roo, AGFA http://www.agfa.com/wrc/jdroo/

Received on Tuesday, 5 June 2001 11:16:20 UTC