Re: euler state of the art?

Dan Connolly wrote:
> 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/

I also get no proof and I think it is an issue with using log:conjunction
in the antecedent of a rule..; will have to study that too a bit more..
i.e.
 {
      @forSome eng:_g0,
                 eng:_g1 .
       ( eng:_g0
         {:RESOURCE     rein:policy :POLICY .
             }
         {:POLICY     rein:policy-language :LANG .
             }
         {:LANG     rein:meta-policy :META .
             }
         eng:_g1 )
          log:conjunction :F .
     :F     log:conclusion :G .
     :LANG     rein:meta-policy :META .
     :META     log:semantics eng:_g1 .
     :POLICY     rein:policy-language :LANG .
     :REQ     a rein:Request;
          rein:access :ACCESS;
          rein:requester :WHO;
          rein:resource :RESOURCE;
          log:semantics eng:_g0 .
     :RESOURCE     rein:policy :POLICY .

     }     log:implies {:G     :has :ans .
     } .


> 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/

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

Received on Monday, 6 November 2006 20:38:03 UTC