FuXi - rewritten as a stand-alone RETE N3 reasoner

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 UTC