- 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>
> 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 UTC