Re: euler state of the art? (socrates.n3 and variables in the predicate spot)

On Mon, 2006-11-06 at 21:48 +0100, jos.deroo@agfa.com wrote:
...


I found the problem with the socrates example;
it was using variables in the predicate spot
in the conclusion/goal.

fixed in...

revision 1.3
date: 2006/11/06 23:10:41;  author: connolly;  state: Exp;  lines: +1 -1
put variable in object rather than predicate

So now this works:

$ python  ~/Desktop/eucombo.py
http://www.w3.org/2000/10/swap/test/reason/socrates.n3
http://www.w3.org/2000/10/swap/test/reason/soc-goal.n3 >,soc-pf.n3
args: ['/home/connolly/Desktop/eucombo.py',
'http://www.w3.org/2000/10/swap/test/reason/socrates.n3',
'http://www.w3.org/2000/10/swap/test/reason/soc-goal.n3']
premises: ['http://www.w3.org/2000/10/swap/test/reason/socrates.n3']
conc: http://www.w3.org/2000/10/swap/test/reason/soc-goal.n3
words: ['euler', '--prolog',
'http://www.w3.org/2000/10/swap/test/reason/socrates.n3', '--filter',
'http://www.w3.org/2000/10/swap/test/reason/soc-goal.n3']
getting:  http://localhost:1024/.euler5%20http%3A//localhost%
3A1024/.euler%2520--prolog%2520http%
253A//www.w3.org/2000/10/swap/test/reason/socrates.n3%2520--filter%
2520http%253A//www.w3.org/2000/10/swap/test/reason/soc-goal.n3
connolly@dirk:~/src/euler-yapp$ python  ~/Desktop/eucombo.py
http://www.w3.org/2000/10/swap/test/reason/socrates.n3
http://www.w3.org/2000/10/swap/test/reason/soc-goal.n3 >,soc-pf.n3
words: ['euler', '--prolog',
'http://www.w3.org/2000/10/swap/test/reason/socrates.n3', '--filter',
'http://www.w3.org/2000/10/swap/test/reason/soc-goal.n3']
e1addr:  http://localhost:1024/.euler%20--prolog%20http%
3A//www.w3.org/2000/10/swap/test/reason/socrates.n3%20--filter%20http%
3A//www.w3.org/2000/10/swap/test/reason/soc-goal.n3
getting:  http://localhost:1024/.euler5%20http%3A//localhost%
3A1024/.euler%2520--prolog%2520http%
253A//www.w3.org/2000/10/swap/test/reason/socrates.n3%2520--filter%
2520http%253A//www.w3.org/2000/10/swap/test/reason/soc-goal.n3


$ PYTHONPATH=$swap/.. python $swap/check.py --report ,soc-pf.n3
1: ...
 [by parsing <socrates.n3>]

2: :socrates a :Man .
 [by erasure from step 1]

3: ...
 [by parsing <soc-goal.n3>]

4: @forAll :C . { soc:socrates a :C . } log:implies {soc:socrates
a :C . } .
 [by erasure from step 3]

5: :socrates a :Man .
 [by rule from step 4 applied to steps [2]
  with bindings {'C':
'<http://www.w3.org/2000/10/swap/test/reason/socrates#Man>'}]

6: ...
 [by parsing <socrates.n3>]

7: :socrates a :Man .
 [by erasure from step 6]

8: ...
 [by parsing <socrates.n3>]

9: @forAll :who . { :who a soc:Man . } log:implies {:who a
soc:Mortal . } .
 [by erasure from step 8]

10: :socrates a :Mortal .
 [by rule from step 9 applied to steps [7]
  with bindings {'who':
'<http://www.w3.org/2000/10/swap/test/reason/socrates#socrates>'}]

11: :socrates a :Mortal .
 [by erasure from step 10]

12: ...
 [by parsing <soc-goal.n3>]

13: @forAll :C . { soc:socrates a :C . } log:implies {soc:socrates
a :C . } .
 [by erasure from step 12]

14: :socrates a :Mortal .
 [by rule from step 13 applied to steps [11]
  with bindings {'C':
'<http://www.w3.org/2000/10/swap/test/reason/socrates#Mortal>'}]

15: :socrates a :Man, :Mortal .
 [by conjoining steps [5, 14]]

     @prefix : <http://www.w3.org/2000/10/swap/test/reason/socrates#> .

    :socrates     a :Man,
                :Mortal .




-- 
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 23:24:10 UTC