Re: Review of Entailment Regimes (Action-317)

Chime,

thanks, that is helpful for the readers I believe.

Just editorial things: for readers who have not seen the RIF syntax before, it may be useful to

- put the two conditions in separate lines (and RDF person may not realize that there is no separator, ie, that ?X [ ex:isChildOf -> ?Y] ?Y # ex:Male are actually two conditions
- do not use the '#' shortcut for typing; it is not understandable to outsiders. 

Ie, I would propose to have

Group ( 
    Forall ?X ?Y ( 
        ?Y [ ex:isFatherOf -> ?X ] :- And( ?X [ ex:isChildOf -> ?Y] 
                                           ?Y rdf:type ex:Male 
                                      )  
    )
)            

Thanks!

Ivan


On Oct 5, 2010, at 20:41 , Chimezie Ogbuji wrote:

> Birte, Ivan. See response inline below
> 
> On 10/2/10 2:01 PM, "Birte Glimm" <birte.glimm@comlab.ox.ac.uk> 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.
> 
> [1] http://www.w3.org/2009/sparql/docs/entailment/xmlspec.xml#id6176595
> 
> -- 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.
> 
> 


----
Ivan Herman, W3C Semantic Web Activity Lead
Home: http://www.w3.org/People/Ivan/
mobile: +31-641044153
PGP Key: http://www.ivan-herman.net/pgpkey.html
FOAF: http://www.ivan-herman.net/foaf.rdf