CARVIEW |
Select Language
HTTP/2 200
date: Wed, 08 Oct 2025 03:30:07 GMT
content-type: text/html; charset=utf-8
content-encoding: gzip
content-location: Implementations.html
vary: negotiate,Accept-Encoding
tcn: choice
last-modified: Fri, 02 Feb 2024 09:55:36 GMT
cache-control: max-age=21600
expires: Wed, 08 Oct 2025 09:30:07 GMT
x-backend: www-mirrors
x-request-id: 98b28ec70a0bcb77
strict-transport-security: max-age=15552000; includeSubdomains; preload
content-security-policy: frame-ancestors 'self' https://cms.w3.org/ https://cms-dev.w3.org/; upgrade-insecure-requests
cf-cache-status: BYPASS
set-cookie: __cf_bm=pC4RWbjpSLWTKtOspck4pvP7CDblmstbBDnsPmu9AN4-1759894207-1.0.1.1-Vupchf7pDz3A2Wy701Vbi4kzdk8JXEwfdOC29TfNMmWv5CAJlmgxeUL1Fng_C_Skm.4PFA.mZsVKpu.Xn1wS8.8oy1uiJzBoojX5sjjoai8; path=/; expires=Wed, 08-Oct-25 04:00:07 GMT; domain=.w3.org; HttpOnly; Secure; SameSite=None
server: cloudflare
cf-ray: 98b28ec70a0bcb77-BLR
alt-svc: h3=":443"; ma=86400
Implementations - RIF
Warning:
This wiki has been archived and is now read-only.
Implementations
From RIF
Jump to: navigation, search
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.
Navigation menu
- This page was last modified on 10 May 2011, at 15:57.