[TF-ENT] Updates to RIF Entailment section

Birte, all.

I made changes to the RIF entailment regime (in the SPARQL 1.1 entailment
editor's draft document) mostly in response to Jos's comments [1].
Primarily, the semantics of answers are now with respect to the merge of the
scoping graph *and* any graphs imported (with the Simple profile) into the
referenced, safe RIF document.  Also, the rif:imports statement is not
included.  The language regarding common RIF-RDF interpretations,
satisfaction, etc. has been clarified.  The editorial note regarding safety
and its relationship to Condition 4 has been removed since it appears
(through various comments, etc.) that uniqueness and the exclusion of
(trivial) infiniteness can be guaranteed with certain safety criteria (at
the expense of expressiveness of the language).

The paragraph describing stratification methods for ensuring finite answers
in the face of cyclic dependencies in builtins has been removed and that
paragraph has been shortened.

I'm still not satisfied with the text regarding summarizing the balance
between sacrificing interoperation and query safety for a more expressive
power.  Hopefully, I'll have a brief paragraph to add to the informative
section later this week.

[1] 
http://lists.w3.org/Archives/Public/public-rdf-dawg-comments/2010Jul/0012.ht
ml

-- 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 Monday, 9 August 2010 15:08:59 UTC