eulergui-commits

[Eulergui-commits] SF.net SVN: eulergui:[1857] branches/refactoring/eulergui/examples

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

Revision: 1857
          http://eulergui.svn.sourceforge.net/eulergui/?rev=1857&view=rev
Author:   jmvanel
Date:     2010-10-23 13:15:36 +0000 (Sat, 23 Oct 2010)

Log Message:
-----------
add examples/family.n3p : Theorem proving with Euler engine ; does not run as expected :(

Added Paths:
-----------
    branches/refactoring/eulergui/examples/family.n3
    branches/refactoring/eulergui/examples/family.n3p
    branches/refactoring/eulergui/examples/familyQ.n3


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

[Eulergui-commits] SF.net SVN: eulergui:[1862] branches/refactoring/eulergui/examples

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

Revision: 1862
          http://eulergui.svn.sourceforge.net/eulergui/?rev=1862&view=rev
Author:   jmvanel
Date:     2010-10-24 15:04:42 +0000 (Sun, 24 Oct 2010)

Log Message:
-----------
family.n3 : existential rule for parent was wrong
still not possible in EYE a direct query for the theorem on the existence of a gradparent

Modified Paths:
--------------
    branches/refactoring/eulergui/examples/BloodPressure.n3
    branches/refactoring/eulergui/examples/family.n3


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