W3C home > Mailing lists > Public > public-rif-wg@w3.org > August 2007

status of basic rif logic document

From: Michael Kifer <kifer@cs.sunysb.edu>
Date: Tue, 14 Aug 2007 07:56:10 -0400
To: public-rif-wg@w3.org (RIF WG)
Message-ID: <15804.1187092570@cs.sunysb.edu>

Dear All:

Meanwhile, we did several updates in the Basic Logic Dialect:

The changes represent a sweeping cleanup of the positive conditions and
of the slotted part. Remarks by Dave and Chris have been taken care of
(we think all of them, in one way or another). Definitions of the slotted
part have been completed. Previously, signatures were not properly plugged
into that part of the doc; the semantics of classification terms was

Many small typos and errors have been fixed.

We did not yet touch other aspects that need to be changed for WD2.
(For instance, the intro still refers to RIF Core, etc.)

-- Michael and Harold
Received on Tuesday, 14 August 2007 11:56:31 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:46 UTC