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

adding existentials and conjunctions to BLD consequents

From: Sandro Hawke <sandro@w3.org>
Date: Thu, 22 May 2008 10:11:23 -0400
To: public-rif-wg@w3.org
Message-ID: <15425.1211465483@ubuhebe>

In planning to implement RIF for N3, the two extensions I mostly need
are to allow existentials and conjunctions in the the rule consequents.
These are straightforward extensions, with nice fallback rewrites, but I
thought I would just raise the question of putting them directly in BLD.

I note, in particular, that Production Rule systems want something very
much like existentials in the consequent, too, so this might possibly
even go into Core.  But maybe it's not exactly the same thing, and
datalog certainly doesn't have it.

I'm fine working with this as just an extension, but I thought I should
at least raise the issue in case anyone else is sympathetic.

     - Sandro
Received on Thursday, 22 May 2008 14:14:01 UTC

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