RIF Parsing does not support Member and Exists

cliffxuan / fuxi

Automatically exported from code.google.com/p/fuxi

0 stars 0 forks source link

RIF Parsing does not support Member and Exists #57

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago

What steps will reproduce the problem?
1.  Create RIF XML document involving Member and Exists (such as the attached 
one)
2.  Parse it via:
  FuXi --ruleFormat=rif --output=rif --rules=..path..to..document..

The expected output is:

Forall ?x ( Exists ?y ( And( ex:hasParent(?x ?y) ex:Person(?y) ) ) :- 
ex:Person(?x) )

Instead an error is raised

Original issue reported on code.google.com by chime...@gmail.com on 2 Nov 2012 at 5:48

Attachments:

infinite_existential.rif

GoogleCodeExporter commented 9 years ago

Original comment by chime...@gmail.com on 2 Nov 2012 at 5:51

Now blocking: #1

GoogleCodeExporter commented 9 years ago

This issue was closed by revision 4fd7133288fe.

Original comment by chime...@gmail.com on 2 Nov 2012 at 9:28

Changed state: Fixed

GoogleCodeExporter commented 9 years ago

Original comment by chime...@gmail.com on 9 Nov 2012 at 11:10