Re: more on RIF entailment regime

On 3/25/10 7:39 PM, "Axel Polleres" <axel.polleres@deri.org> wrote:
>> The cyclic restrictions of stable models and stratification are of the same
>> kind used in the RIF Core strong safety conditions (whether or not they are
>> used for negation).
> 
> Well, it is inspired but quite different from that stratification, similar
> restrictions have been defined
> in terms of extending Datalog (with or without negation) with general function
> symbols... 
> I just wouldn't give the stable model semantics as the primary reference here
> (besides that for stable model
> semantics I would use a different reference), AFAIR, stratification was first
> defined in terms of the perfect model semantics,
> anyways...no?

The reference I chose wasn't meant to suggest that stable models are the
progenitor of this method.  I chose that reference because it gives a good
overview of the background.  Do you have a suggestion for a different one?

>>  This paragraph (and reference) was meant to describe
>> how (traditionally) these kind of restrictions are used and how they are
>> leveraged to ensure finiteness.
> 
> yes, but what I meant to say here is that in the current form it might be a
> bit distracting, that is why
> I'd rather keep these explaining sentences out, as e.g. referring to negation
> which is not at all in RIF
> might be more confusing than enlightning here for the common reader.

I could remove mention of negation (see the sentence below), but my
intention was to clarify that even though stratification techniques were
mainly motivated by being able to address non-monotonic semantics, they are
applicable to positive programs as well.

"..This entailment regime restricts the legal graphs to only those that
refer to strongly safe RIF core documents. This excludes the use of negated
(non-monotonic) atoms and cyclic references between terms in built-ins."

> There is 
> suficient explanation given
> in the RIF doc, IMO, which should suffice as reference, without adding a
> non-normative reference. Agreed?

Actually, (from an implementors perspective) I don't feel like there is
sufficient explanation of the intuition behind the strongly safe criteria
and this is made worse in some ways by the fact that those criteria are only
informative in that document.

-- Chime


===================================

P Please consider the environment before printing this e-mail

Cleveland Clinic is ranked one of the top hospitals
in America by U.S.News & World Report (2009).  
Visit us online at http://www.clevelandclinic.org for
a complete listing of our services, staff and
locations.


Confidentiality Note:  This message is intended for use
only by the individual or entity to which it is addressed
and may contain information that is privileged,
confidential, and exempt from disclosure under applicable
law.  If the reader of this message is not the intended
recipient or the employee or agent responsible for
delivering the message to the intended recipient, you are
hereby notified that any dissemination, distribution or
copying of this communication is strictly prohibited.  If
you have received this communication in error,  please
contact the sender immediately and destroy the material in
its entirety, whether electronic or hard copy.  Thank you.

Received on Friday, 26 March 2010 13:47:37 UTC