Re: Review of Entailment Regimes (Action-317)

Birte, Ivan. See response inline below

On 10/2/10 2:01 PM, "Birte Glimm" <> wrote:
>> ------
>> There is a sudden jump in the complexity of the examples when getting to the
>> RIF core. I wonder whether it is possible to add a simpler example here...
> not done, I leave this up to Chime

I added a simple example right after [1] the definition of "7.2 (Simple) RIF
Core Entailment Regime".  I forgot to mention that I wanted to make this
small change prior to publication in today's meeting, sorry about that.  But
the change was quite small so I figure no harm in adding it.


-- 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 for
a complete listing of our services, staff and

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 Tuesday, 5 October 2010 19:02:34 UTC