euler state of the art?

Jos,

The version of Euler that produces swap/reason proofs...
is that released?

I tried my euler install last night, and it's lightning
fast, but it doesn't have all the built-ins I need.
In particular, I added support for fn:resolve-uri
and fn:tokenize from XQuery to cwm this week.

I also wonder if it would solve some performance
problems we're having in the PAW project.

You did some work in python, yes? Is that working well?
Or would you recommend the Java or C# version? or prolog?
Or javascript?


I'm not sure what version of Euler I have:

$ ls -l ~/DIST/Euler.zip
-rw-r--r-- 1 connolly www 500096 Oct 28
2005 /home/connolly/DIST/Euler.zip
$ md5sum ~/DIST/Euler.zip
4b0ead19019581db237958ab96ad32be  /home/connolly/DIST/Euler.zip

I'm working on rules for GRDDL; see
http://www.w3.org/2004/01/rdxh/spec
http://www.w3.org/2004/01/rdxh/grddl-rules3.n3

cwm finds 3 solutions where Euler finds just 1...

connolly@dirk:/usr/local/src/euler$ CLASSPATH=bin/Euler.jar java
euler.EulerRunner ~/w3ccvs/WWW/2004/01/rdxh/grddl-rules3.n3
~/w3ccvs/WWW/2004/01/rdxh/grddl-rule-tests.n3 --filter
~/w3ccvs/WWW/2004/01/rdxh/grddl-rule-goal.n3
# Generated with http://eulersharp.sourceforge.net/ version 1.4.16 on 6
Nov 2006 14:36:13 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<file:/home/connolly/w3ccvs/WWW/2004/01/rdxh/grddl-rules3.n3>!
log:semantics
 <file:/home/connolly/w3ccvs/WWW/2004/01/rdxh/grddl-rule-tests.n3>!
log:semantics
</home/connolly/w3ccvs/WWW/2004/01/rdxh/grddl-rule-goal.n3>!
log:semantics)!log:conjunction e:constructs
{
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix w: <http://www.w3.org/2004/01/rdxh/grddl-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix grddl: <http://www.w3.org/2003/g/data-view#>.
@prefix dm: <http://www.w3.org/2000/10/swap/infoset/infoset-daml#>.
@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix fn: <http://www.w3.org/2006/xpath-functions#>.
@prefix :
<file:/home/connolly/w3ccvs/WWW/2004/01/rdxh/grddl-rule-tests#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.


# Generated with http://eulersharp.sourceforge.net/ version 1.4.16 on 6
Nov 2006 14:36:13 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<file:/home/connolly/w3ccvs/WWW/2004/01/rdxh/grddl-rules3.n3>!
log:semantics
 <file:/home/connolly/w3ccvs/WWW/2004/01/rdxh/grddl-rule-tests.n3>!
log:semantics
</home/connolly/w3ccvs/WWW/2004/01/rdxh/grddl-rule-goal.n3>!
log:semantics)!log:conjunction e:constructs
{
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix w: <http://www.w3.org/2004/01/rdxh/grddl-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix grddl: <http://www.w3.org/2003/g/data-view#>.
@prefix dm: <http://www.w3.org/2000/10/swap/infoset/infoset-daml#>.
@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix fn: <http://www.w3.org/2006/xpath-functions#>.
@prefix :
<file:/home/connolly/w3ccvs/WWW/2004/01/rdxh/grddl-rule-tests#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{{<http://www.w3.org/2004/01/rdxh/p3q-ns-example> grddl:result
{<http://www.w3.org/2004/01/rdxh/p3q-ns-example>
grddl:namespaceTransformation
<http://www.w3.org/2004/01/rdxh/grokP3Q.xsl>}} e:evidence
<file:/home/connolly/w3ccvs/WWW/2004/01/rdxh/grddl-rule-tests.n3#_63>}
e:sequent {
{<http://www.w3.org/2004/01/rdxh/p3q-ns-example> grddl:result
{<http://www.w3.org/2004/01/rdxh/p3q-ns-example>
grddl:namespaceTransformation
<http://www.w3.org/2004/01/rdxh/grokP3Q.xsl>}} e:evidence
<http://www.w3.org/2002/07/owl#kb>}.

# Proof found in 16 steps (5315 steps/sec) using 1 engine (13 triples)
}.


# Proof found in 17 steps (2828 steps/sec) using 1 engine (13 triples)
}.


-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E

Received on Monday, 6 November 2006 16:07:44 UTC