Issue 57 in fuxi: RIF Parsing does not support Member and Exists

[fu...@googlecode.com]

Status: Accepted
Owner: chime...@gmail.com
Labels: Type-Defect Priority-Medium

New issue 57 by chime...@gmail.com: RIF Parsing does not support Member and
Exists
http://code.google.com/p/fuxi/issues/detail?id=57

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

Attachments:
infinite_existential.rif 3.0 KB

[fu...@googlecode.com]

Issue 57: RIF Parsing does not support Member and Exists
http://code.google.com/p/fuxi/issues/detail?id=57

This issue is now blocking issue fuxi:1.
See http://code.google.com/p/fuxi/issues/detail?id=1

--
You received this message because you are listed in the owner
or CC fields of this issue, or because you starred this issue.
You may adjust your issue notification preferences at:
http://code.google.com/hosting/settings

[fu...@googlecode.com]

Updates:
Status: Fixed

Comment #2 on issue 57 by chime...@gmail.com: RIF Parsing does not support

Member and Exists
http://code.google.com/p/fuxi/issues/detail?id=57

This issue was closed by revision 4fd7133288fe.