W3C home > Mailing lists > Public > www-archive@w3.org > November 2006

Re: euler state of the art?

From: Dan Connolly <connolly@w3.org>
Date: Mon, 06 Nov 2006 13:07:25 -0600
To: jos.deroo@agfa.com
Cc: www-archive@w3.org
Message-Id: <1162840046.8279.283.camel@dirk>

On Mon, 2006-11-06 at 13:00 -0600, Dan Connolly wrote:
> [...] Here's one of our examples;
> could you try to run this on Euler?
>
> [[[
> This example can be run as 
> 
> cwm --rdf http://dig.csail.mit.edu/2005/09/rein/examples/judy-req.rdf
> --n3 http://dig.csail.mit.edu/2005/09/rein/engine.n3 --think
> --filter="http://dig.csail.mit.edu/2005/09/rein/filter.n3" 

I think I got the java version of Euler working; I'm
not getting a proof.

I used some random version of jena.jar; could that
be the problem/


connolly@dirk:~/src/euler-yapp$ java euler.EulerRunner
http://dig.csail.mit.edu/2005/09/rein/examples/judy-req.rdf
http://dig.csail.mit.edu/2005/09/rein/engine.n3 --filter
http://dig.csail.mit.edu/2005/09/rein/filter.n3
# Generated with http://eulersharp.sourceforge.net/ version 1.5.35 on 6
Nov 2006 19:04:18 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://dig.csail.mit.edu/2005/09/rein/examples/judy-req.rdf>!
log:semantics
 <http://dig.csail.mit.edu/2005/09/rein/engine.n3>!log:semantics
 <http://dig.csail.mit.edu/2005/09/rein/filter.n3>!log:semantics)!
log:conjunction =>
{
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix META.log: <http://dig.csail.mit.edu/2005/09/rein/engine.n3#>.
@prefix p0: <http://dig.csail.mit.edu/2005/09/rein/engine#>.
@prefix POLICY.log: <http://dig.csail.mit.edu/2005/09/rein/engine.n3#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix session: <http://redfoot.net/2005/session#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix REQ.log: <http://dig.csail.mit.edu/2005/09/rein/engine.n3#>.
@prefix http:
<http://dig.csail.mit.edu/2005/09/rein/examples/judy-req.rdf#>.
@prefix /rdfs:
<http://dig.csail.mit.edu/2005/09/rein/examples/judy-req.rdf#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix time: <http://www.w3.org/2000/10/swap/time#>.
@prefix rein: <http://dig.csail.mit.edu/2005/09/rein/network#>.
@prefix LANG.log: <http://dig.csail.mit.edu/2005/09/rein/engine.n3#>.
@prefix :
<http://dig.csail.mit.edu/2005/09/rein/examples/judy-req.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix var: <http://localhost/var#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.


# No proof found in 3 steps (300000 steps/sec) using 1 engine (19
triples)
# No proof found in 3 steps (300000 steps/sec) using 1 engine (19
triples)
# No proof found in 3 steps (300000 steps/sec) using 1 engine (19
triples)

# Proof found in 12 steps (352 steps/sec) using 1 engine (19 triples)
}.

> If cwm was installed correctly, the following is the output 
> 
> #Processed by Id: cwm.py,v 1.176 2005/08/10 17:03:22 syosi Exp 
>         #    using base file:/....
>         
> #  Notation3 generation by
> #       notation3.py,v 1.183 2005/08/22 21:12:53 timbl Exp
> 
> #   Base was: file:/...
>      @prefix : <http://dig.csail.mit.edu/2005/09/rein/network#> .
>      @prefix http: <http://dig.csail.mit.edu/2005/09/rein/examples/http-access#> .
>     
>     <http://dig.csail.mit.edu/2005/09/rein/examples/judy-req.rdf#req>     :ans :Valid;
>          :requester  [
>              http:can-get <http://www.policyawareweb.org/group-photo.jpg> ] .
>     
> #ENDS
> ]]
>  -- http://dig.csail.mit.edu/2005/09/rein/examples/
> 
> 
-- 
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 19:07:46 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 7 November 2012 14:18:00 GMT