- From: Dan Connolly <connolly@w3.org>
- Date: Thu, 24 Sep 2009 11:01:08 -0400
- To: Chimezie <chimezie@gmail.com>
- CC: fuxi-discussion <fuxi-discussion@googlegroups.com>, public-cwm-talk@w3.org
Chimezie wrote: > See: > - http://pypi.python.org/pypi/FuXi/1.0-rc-II.dev > - http://code.google.com/p/fuxi/source/detail?r=fce0195ff8a2b728a7c86825309a66fe4ec37e3c Interesting... have you started playing with RIF? I gather the WG is getting pretty close to done, but I haven't managed to give it a close look myself. http://www.w3.org/TR/rif-bld/ > 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 > -- Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Thursday, 24 September 2009 15:01:16 UTC