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:00:22 -0600
To: jos.deroo@agfa.com
Cc: www-archive@w3.org
Message-Id: <1162839622.8279.279.camel@dirk>

On Mon, 2006-11-06 at 18:52 +0100, jos.deroo@agfa.com wrote:
> The euler5 prolog version is best run as RESTfull webservice
> (see again http://eulersharp.sourceforge.net/README)
> as it needs the euler1 java version to do the N3->YAP 

OK, I got Yapp installed, and I'm working on the Codd stuff...
One quick question while I'm at it: what about built-ins
that call out to the Web, like log:semantics? Should
I expect that to work in this java/prolog/REST setup?

It would be a big help if Euler could do PAW
proofs faster than cwm. 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

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> ] .
 -- 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:00:32 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:43:03 UTC