- From: Chimezie <chimezie@gmail.com>
- Date: Thu, 24 Sep 2009 07:47:14 -0700 (PDT)
- To: fuxi-discussion <fuxi-discussion@googlegroups.com>
- Cc: public-cwm-talk@w3.org
See: - 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 CHANGELOG - Demorgan normal form doesn't flatten negated disjunctions if they are named, atomic classes - added reduce function for rendering MINUS SPARQL expressions: collapseMINUS - 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 procedure) - updated Tests - added support for str:lessThan and log:equalTo to builtin SPARQL templates - 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 time - 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 FuXi.Rete.Util
Received on Thursday, 24 September 2009 14:47:54 UTC