W3C home > Mailing lists > Public > public-rule-workshop-discuss@w3.org > April 2006

Re: Meta-level requirements for RIF

From: Francois Bry <bry@ifi.lmu.de>
Date: Wed, 19 Apr 2006 10:02:49 +0200
Message-ID: <4445EEA9.9050408@ifi.lmu.de>
To: Adrian Walker <adrianw@snet.net>
CC: public-rule-workshop-discuss@w3.org

Adrian Walker wrote:
> Francois --
>
> At 06:43 PM 4/18/2006 +0200, you wrote:
>> Semantics requirement for RIF: In my opinion, a declarative semantics
>> is needed
>
> Agreed.
>
> However, there is a problem.  W3C folks seem to lean strongly towards
> open world, whereas database (and most other) folks mostly use closed
> world and negation as failure.
>
> In OW, if Adrian is not in the list of people who work for W3C, you
> cannot conclude that Adrian does not work for W3C.  In CW you can.
>

THis refers to nonmonotonic negation which is for the second phase.

If RIF is to be used with and as an extension to RDF, then "closed world
assumption" and "nonmonotonic negation" will be necessary -- whatebver
W3C folks lean strongly towards.

Francois
Received on Wednesday, 19 April 2006 08:03:04 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:16:23 GMT