W3C home > Mailing lists > Public > public-rif-wg@w3.org > May 2008

Re: FLD "required" vs "expected" to be used for all RIF logic dialects

From: Sandro Hawke <sandro@w3.org>
Date: Wed, 28 May 2008 17:21:44 +0100
To: kifer@cs.sunysb.edu
Cc: public-rif-wg@w3.org
Message-ID: <7036.1211991704@ubuhebe>

> The whole purpose is to impose a standard on how logic extensions are going to> be defined. Otherwise, we will have open season for introducing all kinds of
> kludges. Note that the document says that, if necessary, FLD will be extended
> to accommodate other logic-based dialects. But this should be done with extra
> care and not on a whim.

notes from discussion -- something like:

    The WG plans to base future standard logic dialects on FLD, so any
    logic dialects being developed to become a stardard should either be
    specializations of FLD or justify deviating from (or extending) FLD.

        - s
Received on Wednesday, 28 May 2008 16:22:43 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:07:44 UTC