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

RIF implementation experience? Re: Yet another release of FuXi

From: Dan Connolly <connolly@w3.org>
Date: Thu, 24 Sep 2009 11:01:08 -0400
Message-ID: <4ABB89B4.2040104@w3.org>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 24 September 2009 15:01:20 GMT