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
know.
Birte

On 7 March 2010 02:32, Chimezie Ogbuji <ogbujic@ccf.org> wrote:
> http://www.w3.org/2009/sparql/docs/entailment/gen.html#id21744432
>
> 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 (ogbujic@ccf.org)
> Ph.D. Student Case Western Reserve University
> (chimezie.thomas-ogbuji@case.edu)
>
>
> ===================================
>
> 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.
>
>



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

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