- From: Michael Kifer <kifer@cs.sunysb.edu>
- Date: Tue, 7 Jul 2009 13:19:58 -0400
- To: leora@cs.nyu.edu
- Cc: public-rif-wg@w3.org
yes, sorry for the spelling :-( Something distracted me in the middle of writing this. m On Tue, 7 Jul 2009 13:03:29 -0400 (EDT) "Leora Morgenstern" <leora@cs.nyu.edu> wrote: > 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:20:38 UTC