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

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

From: Sandro Hawke <sandro@w3.org>
Date: Sun, 25 May 2008 15:20:37 +0100
To: public-rif-wg@w3.org
Message-ID: <15488.1211725237@ubuhebe>

FLD says "All logic-based RIF dialects are required to be derived from
RIF-FLD by specialization" and several variants of that notion appear
elsewhere in FLD and UCR (and possibly elsewhere, that I didn't notice).

I don't really undertand what this constraint is trying to do.  Is it a
promise that all future logic dialects from RIF-WG *will* use FLD?  Is
it some kind of constraint on vendor extensions?  I don't think it's
right for us to say either one here.

I'm fine with conveying expectation, like: "Logic-based RIF dialects
are expected to be derived from RIF-FLD by specialization".  Okay?

      -- Sandro
Received on Sunday, 25 May 2008 14:21:14 UTC

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