W3C home > Mailing lists > Public > public-cwm-talk@w3.org > October to December 2006

FuXi - rewritten as a stand-alone RETE N3 reasoner

From: Chimezie Ogbuji <chimezie@gmail.com>
Date: Tue, 31 Oct 2006 16:43:07 -0500
Message-ID: <f6ec8dcb0610311343r3ed7991ejca365bf48e73aa9d@mail.gmail.com>
To: cwm <public-cwm-talk@w3.org>
I've recently finished a release of FuXi (a RETE-based Notation3
reasoner) which continues an effort I started a few months ago to
rewrite (from scratch) a stand-alone RETE implementation for RDFLib.
I thought pychinko / cwm / euler user's might be interested.  Using a
specific ruleset (same as CWM, Pychinko, and Euler) it is able to pass
a majority of OWL tests.

I don't have comprehesive benchmarks to compare against (I hope to
have these) but I'm able to calculate pD [1] OWL closures in about 200
- 700 miliseconds.  The attached README.txt describes (generally) the
implementation, motivation, and cited (academic) literature.

I'm still looking for a permanent home for FuXi, but for those
interested you can get it here:

## CVS ###
http://cvs.4suite.org/viewcvs/Fuxi/

## Zip ##
http://metacognition.info/FuXi/fuxi-1.0rc2.zip

Chimezie Ogbuji

[1] http://www.websemanticsjournal.org/ps/pub/2005-15


Received on Tuesday, 31 October 2006 21:43:22 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:11:02 GMT