- From: Leora Morgenstern <leora@cs.nyu.edu>
- Date: Tue, 7 Jul 2009 13:03:29 -0400 (EDT)
- To: kifer@cs.sunysb.edu
- Cc: public-rif-wg@w3.org
Hi Michael, Below, I believe you wish to have "Horn with syntactic extensions" rather than "Horn with syntac extensions." (I am cc'ing the WG because I'm assuming we'll all be using some variant of this message when we send it out to various mailing lists.) Best regards, Leora > 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 17:04:11 UTC