[Eulergui-commits] SF.net SVN: eulergui:[1372] trunk/eulergui/examples

[<jm...@us...>]

Revision: 1372
          http://eulergui.svn.sourceforge.net/eulergui/?rev=1372&view=rev
Author:   jmvanel
Date:     2010-03-29 21:32:15 +0000 (Mon, 29 Mar 2010)

Log Message:
-----------
Translator from SWRL to N3 logic, implemented in N3 logic
OK !!!!!!!!!!!!!!!!!
Answers gotten from Jos, about e:tuple().
Now we get the right thing :
{?t0 a :Grandchild. ?t0 :sibling ?t1. ?t0 :hates ?t1} => {?t0 a :BadChild}.
(plus same chaff)
Forgot the case when nothing is substituted; begin removing useless stuff.

Modified Paths:
--------------
    trunk/eulergui/examples/swrl-n3-rules.n3
    trunk/eulergui/examples/swrl-n3-rulesQ.n3
    trunk/eulergui/examples/variableSubstitution.n3


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.