W3C home > Mailing lists > Public > public-cwm-talk@w3.org > July to September 2009

Yet another release of FuXi

From: Chimezie <chimezie@gmail.com>
Date: Thu, 24 Sep 2009 07:47:14 -0700 (PDT)
Message-ID: <fba4e09f-49e3-4ff4-a2ef-64e6f34a349e@l31g2000vbp.googlegroups.com>
To: fuxi-discussion <fuxi-discussion@googlegroups.com>
Cc: public-cwm-talk@w3.org
- http://pypi.python.org/pypi/FuXi/1.0-rc-II.dev
- http://code.google.com/p/fuxi/source/detail?r=fce0195ff8a2b728a7c86825309a66fe4ec37e3c

Besides bug fixes, the main highlights are: updated support for non-
monotonic negation in both forward and backward chaining inference.
I've updated the user manual and overview regarding this capability:

Also, the backward chainer now attempts to collect as many subgoals
(consequents for rules) that it can to send over as a single SPARQL
query against the base RDF datasest.  There have also been significant
performance improvements to the top-down (backward chainer) via better
use of lazy list iteration.

- http://code.google.com/p/fuxi/wiki/FuXiUserManual#Negation
- http://code.google.com/p/fuxi/wiki/Overview#Non-Monotonic_Negation


- Demorgan normal form doesn't flatten negated disjunctions if they
are named, atomic classes
- added reduce function for rendering MINUS SPARQL expressions:
- added support for handling of topdown resolution of theories with
negation (network.negRules are in play for proof search space)
- added calculation of stratified model to bottom up method
- factored out adornment and IDB/EDB introspection
- added proper support of adornment with negated literals
- added serialization and compilation of proofs with negation
 - sparql resolvable method used to build large SPARQL queries to
dispatch against the RDF dataset to solve for base predicates during
evaluation of sip strategy
- proof creation: support for conjunctive queries against based
predicates as RDF dataset
- queries to fact graph are only dispatched if they involve  base
predicates (otherwise, we must assume they are solved by the inference
- updated Tests
- added support for str:lessThan and log:equalTo to builtin SPARQL
- fixed the interaction between --method=topDown, both, bottomUp (they
were stepping on each other's setup)
- simple atomic concept inclusion axioms (i.e., subClassOf between two
named classes) are now solved in large groups rather than one at a
- fixed lazy collection of multiple answers for a subgoal (if the
first answer is true, the rest are not processed)
- added useful selective_memoize decorator and lazyGeneratorPeek to
Received on Thursday, 24 September 2009 14:47:54 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 24 September 2009 14:47:56 GMT