BTW, I've updated FuXi with a built-in Rete network implementation with test cases for various description logics semantics (Subsumption / Role Inclusion, Disjointness, Inverse Functional Roles, Transitive Closure, enumerateds, etc..) using Rete networks of N3 semantics
http://cvs.4suite.org/viewcvs/*checkout*/Fuxi/test/existentialVariables.n3 http://cvs.4suite.org/viewcvs/*checkout*/Fuxi/README.txt On 6/27/06, Marco De Vitis <[EMAIL PROTECTED]> wrote: > > > Alternatively you can stay tuned.. :) I'm currently working on a > > stand-alone RETE implementation (from scratch) for FuXi as a > > replacement for PyChinko with some additional expert-system > > services/features . I'm mostly there.. > > Hurry up! :D > > -- > Ciao, > Marco. > > _______________________________________________ > Dev mailing list > [email protected] > http://rdflib.net/mailman/listinfo/dev > _______________________________________________ Dev mailing list [email protected] http://rdflib.net/mailman/listinfo/dev
