Implementations
From RIF
This page summarizes the implementation reports we have received. If you have an implementation not listed below, please send us a report. Preliminary and in-progress reports are welcome. If the implementation report is out of date, please send us an updated report. See How to Submit an Implementation Report.
Report | Rule System | Organization, Contact | RIF dialect | Consumer, Producer, Function | Impl. language & license | Time frame | Notes |
---|---|---|---|---|---|---|---|
[1] | SILK | Vulcan, BBN, Stony Brook University, BenjaminGrosof, MikeDean, MichaelKifer | BLD + development of a Default Logic Dialect (DLD) extending BLD | producer, consumer | Java (license TBD) | October (BLD) and December (DLD) 2009 | |
[2] | OntoBroker 5.3 | ontoprise Christian Schmidt | BLD (partial) | producer, consumer | commercial | Available | |
[3] | fuxi | Chimezie Ogbuji | RIF Core and OWL 2 RL in RIF | producer | BSD license | Available | |
[4] | N/A | Susan Malaika | BLD (but should support all XML syntaxes) | producer | IBM DeveloperWorks | Available | |
[5] | IBM Websphere ILOG JRules | Changhai Ke IBM/ILOG | PRD+Core | producer (PRD), consumer (PRD+Core) | October | ||
[6] | Eye | Jos De Roo | BLD+DTB using external RIF/XML->N3 translator | consumer | Yap and W3C License | DTB available | |
[7] | VampirePrime | Alexandre Riazanov | BLD | consumer | LGPL | Available | |
[8] | RIFle | José María Álvarez, Luis Polo | Core, PRD, DTB | Validator | Eclipse Public License | Core+DTB Available, PRD (Dec. 2009) | |
[9] | OBR | Gary Hallmark, Oracle | PRD without Import + some of DTB | Producer+Consumer | Proprietary | ||
[10] | RIF4J+IRIS | Adrian Marte, STI Innsbruck | BLD+DTB | Producer+Consumer | Apache License 2.0 | Available | |
[11] | N/A | Stijn Heymans, MichaelKifer | FLD | Core Answer Set Programming Dialect (RIF-CASPD) | N/A | Available | |
[12] | N/A | Jidi Zhao, HaroldBoley | FLD | RIF Uncertainty Rule Dialect (RIF-URD) | N/A | Available | |
[13] | riftr | Sandro Hawke | Core, BLD, DTB, RDF Import | producer, consumer, validator | Python, W3C License | unknown |
The following page summarizes the currently available RIF dialects defined by specializing RIF-FLD.