Re: FOL versus Rule Languages - A tutorial

> 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