W3C home > Mailing lists > Public > public-cwm-talk@w3.org > January to March 2009

EYE looking through N3 glasses

From: <jos.deroo@agfa.com>
Date: Mon, 12 Jan 2009 02:02:36 +0100
To: public-cwm-talk@w3.org
Message-ID: <OFB4653887.A1E2849B-ONC125753C.0004B3F6-C125753C.0005BBEF@agfa.com>
EYE stands for the euler.yap engine and it is an implementation of:

1/ an N3 parser written as Prolog DCG productions according to [1]
   and so far the full N3 parsing works fine and fast

2/ an N3 to PCL [2] compiler allowing existentials, disjuntions and
   false in the conclusion of rules and a typical test case is:

   RULES http://eulersharp.sourceforge.net/2007/07test/shubert.n3
   QUERY http://eulersharp.sourceforge.net/2007/07test/shubertQ.n3
   PROOF http://eulersharp.sourceforge.net/2007/07test/shubertE.n3

3/ proof tactics written in N3 and a more complex test case is:

   TACTS http://eulersharp.sourceforge.net/2007/07test/pd_hes_tactic.n3
   RULES http://eulersharp.sourceforge.net/2007/07test/pd_hes_theory.n3
   QUERY http://eulersharp.sourceforge.net/2007/07test/pd_hes_query.n3
   PROOF http://eulersharp.sourceforge.net/2007/07test/pd_hes_proof.n3

To run EYE only YAP, curl and euler.yap
(e.g. http://eulersharp.sourceforge.net/2006/02swap/euler.yap)
are required [3].

More test cases are in http://eulersharp.sourceforge.net/2006/02swap/etc
with test results http://eulersharp.sourceforge.net/2006/02swap/etc.ref
and it was tested on both Ubuntu, XP and OS-X.

Ultimately all the proofs should be fine with check.py
e.g. check http://eulersharp.sourceforge.net/2007/07test/witchE.n3
is happy right now, just as we are with N3 :-)

[1] http://www.w3.org/TeamSubmission/n3/
[2] http://eulersharp.sourceforge.net/GUIDE
[3] http://eulersharp.sourceforge.net/README

Thanks and kind regards, Jos

Jos De Roo | Agfa HealthCare
Senior Researcher | HE/Advanced Clinical Applications Research
T  +32 3444 7618

Quadrat NV, Kortrijksesteenweg 157, 9830 Sint-Martens-Latem, Belgium
Received on Monday, 12 January 2009 01:03:25 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:01:05 UTC