Re: [TF-Ent] RIF Core Entailment section

Where my Facebook Like button ;-) Nice to see we are making good
progress on RIF. I'll have a look at the document tomorrow and if you
have any concrete issues for our teleconf on Wednesday, please let me

On 7 March 2010 02:32, Chimezie Ogbuji <> wrote:
> It has been fleshed out and I have added various references.  There are a
> few editorial notes involving the following issues:
> - the 8th condition (C8) of a common-RIF-RDF-interpretation includes the
> set-theoretic semantics of rdfs:subClassOf that are also used by the RDFS
> Entailment regime
> - Embedding a subset of RIF-OWL combinations (OWL 2 RL for instance) as
> extensions to this entailment regime (issues of consistency checking,
> axiomatic triples and rules)
> Are there examples of RIF Core (normatively) safe rulesets / documents that
> use builtins that do not introduce new values into the domain that are
> useful as arguments against the finite restrictions? I started by looking at
> the extant N3 Logic / CWM builtins but none of them jumped out at me except
> the obvious log:semantics, etc.
> A mapping from all the SPARQL builtins to corresponding RIF builtins (beyond
> those in the RIF Datatypes and Built-Ins document) could further close the
> expressive gap between RIF Core and SPARQL.  I think they would all be safe
> (and maybe also strongly safe).
> ----------------------
> Chime (chee-meh) Ogbuji (oh-bu-gee)
> Heart and Vascular Institute (Clinical Investigations)
> Architect / Informatician
> Cleveland Clinic (
> Ph.D. Student Case Western Reserve University
> (
> ===================================
> 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
> 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.

Dr. Birte Glimm, Room 306
Computing Laboratory
Parks Road
United Kingdom
+44 (0)1865 283529

Received on Sunday, 7 March 2010 21:46:19 UTC