- From: <jos.deroo.jd@belgium.agfa.com>
- Date: Tue, 5 Jun 2001 17:15:50 +0100
- To: dave.beckett@bristol.ac.uk
- Cc: w3c-rdfcore-wg@w3.org
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