- From: Michael Kifer <kifer@cs.sunysb.edu>
- Date: Tue, 7 Jul 2009 12:39:11 -0400
- To: F-logic Forum <forum-flogic@projects.semwebcentral.org>
- Cc: RIF WG Public list <public-rif-wg@w3.org>
The W3C Rule Interchange Format working group
http://www.w3.org/2005/rules/wiki/RIF_Working_Group
has released a number of documents.
All the documents below have the "last call" status in the W3C-speak.
Comments from the public to the Working Group are welcome at
mailto:public-rif-comments@w3.org
http://www.w3.org/2005/rules/wiki/BLD - Basic logic dialect
(Horn with syntac extensions)
http://www.w3.org/2005/rules/wiki/FLD - Framework for logic dialects
Framework for defining expressive logic
dialects, including those with default
and explicit negation.
http://www.w3.org/2005/rules/wiki/SWC - RDF and OWL compatibility
Defines the BLD+RDF and BLD+OWL dialects
http://www.w3.org/2005/rules/wiki/DTB - RIF data types and built-ins
http://www.w3.org/2005/rules/wiki/Core - The core RIF dialect.
A simple sub-dialect of BLD (no
function symbols and other
restrictions).
http://www.w3.org/2005/rules/wiki/PRD - RIF production rule dialect
Received on Tuesday, 7 July 2009 16:39:47 UTC