Implementation plans
This page is a starting point for developers to describe their RIF implementation plans. The idea is to collect the information on systems, libraries and components, which might be reused by other RIF implementors.
Rule System |
Organization, Contact |
RIF dialect/profile |
RIF components |
Impl. language (license), libraries used, |
Time frame |
BLD and some profiles (Datalog) |
1. producer (rules generated by data/text mining algorithms) |
likely C++ (LGPL) |
couple of months after BLD is sufficiently specified (XML, builtins) |
||
TU Vienna, DERI Galway, Thomas Krennwallner <tkren@kr.tuwien.ac.at> AxelPolleres |
BLD (Datalog fragment, extended by NAF and RDF support) |
engine |
C++ under GPL, libraries used: Boost, dlv disjunctive datalog engine, reusable components: RIF BLD parser (Boost Spirit) |
end of January 2008 |
|
Vulcan, BBN, Stony Brook University, BenjaminGrosof, MikeDean, MichaelKifer |
BLD + development of a Default Logic Dialect extending FLD |
producer, consumer |
Java (license TBD) |
October (BLD) and December (DLD) 2009 |
Useful libraries