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. 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 _______________________________________________ Dev mailing list [email protected] http://rdflib.net/mailman/listinfo/dev
