W3C home > Mailing lists > Public > public-rule-workshop-discuss@w3.org > August 2005

Re: FOL versus Rule Languages - A tutorial

From: Sandro Hawke <sandro@w3.org>
Date: Sat, 27 Aug 2005 00:24:21 -0400
To: doug.foxvog@deri.org
Cc: Dieter Fensel <dieter.fensel@deri.org>, public-rule-workshop-discuss@w3.org, Christian de Sainte Marie <csma@ilog.fr>
Message-Id: <20050827042424.8B2714EEB7@homer.w3.org>


> MMS is non-monotonic in that anything that cannot be proved
> true in MMS is concluded to be false.  Adding any (non-provable)
> ground statement or rule to a Herbrand model, limits the Herbrand
> space and falsifies the conclusions that various statements are
> false obtained from the earlier model.

So MMS necessarily brings with it the CWA?

I guess Flora-2 and Triple do this in a clever way, so they have MMS
but their CWA is somehow scoped?

    -- sandro, wandering off to read more about Flore-2
Received on Saturday, 27 August 2005 04:24:26 GMT

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