FuXi 1.0-rc-I.dev
FuXi has been updated and (recently) moved to its own Project on
Google code w/ a mercurial repository.
I have updated pypi / easy_install (http://pypi.python.org/pypi/FuXi/
1.0-rc-I.dev) as well:
Submitting dist/FuXi-1.0-rc-I.dev.tar.gz to http://www.python.org/pypi
Server response (200): OK
Submitting dist/FuXi-1.0_rc_I.dev-py2.5.egg to http://www.python.org/pypi
Server response (200): OK
A few noteworthy changes in logs below. The user manual [1] and
overview [2] have been heavily worked on to improve reference, fixed
examples, and described architectural motivations and features.
Revision 635ccf444e:
- fixed handling of URI to QName
- wired top-down functions with debug flag
- fixed handling of multi-variable SELECT sub queries
- fixed recursive passing on of remaining body literals upon multiple
prior answers
- fixed handling of answers when invoking a rule with multiple prior
answers
- added support for top-down solving of builtins
- fixed matching of adornment when finding rule heads that match
subquery
Revision 0041d3a603:
- fixed handling of normalization of clauses with empty heads
- added explicit exception for unsupported negation
- core support for rule safety with 3 levels of conformance
- fixed handling of Existentials in heads and structure of rules WRT
safety
- added HornFromDL to FuXi.Horn.HornRules
- added methods to support rule safety criteria to all conditions,
etc..
- updated command-line: builtin to SPARQL templates, rule safety,
debug, base/predicate strictness,
evaluation method , namespace handling,
- fix for derived/base predicate introspection
- fix for rule adornment in the face of open query
- handling of Exists
- added DisjunctiveNormalForm helper function to FuXi.DLP
- implementation for builting / SPARQL templates
- top-down method (similar to Prolog w/ Memoing and last call
optimization) is a full generator
- top-down handles special cases: no sips in magic programs (IFP OWL
test)
[1] http://code.google.com/p/fuxi/wiki/FuXiUserManual
[2] http://code.google.com/p/fuxi/wiki/Overview
