RIF Review of SPARQL RIF ER[Fwd: Solicitation of feedback]

See forward message.

Forwarded message 1

  • From: Chimezie Ogbuji <ogbujic@ccf.org>
  • Date: Mon, 19 Jul 2010 10:26:29 -0400
  • Subject: Solicitation of feedback
  • To: public-rif-wg@w3.org
  • cc: "Sandro Hawke" <sandro@w3.org>, "Ivan Herman" <ivan@w3.org>, "Birte Glimm" <birte.glimm@comlab.ox.ac.uk>, "Lee Feigenbaum" <lee@thefigtrees.net>, "Axel Polleres" <axel.polleres@deri.org>
  • Message-ID: <C869D8D5.12774%ogbujic@ccf.org>
Hello.

In the W3C DAWG, we recently published an updated working draft of the
SPARQL 1.1 Entailment Regimes.  I understand the RIF WG is closing soon and
was hoping to get some input regarding the RIF entailment regime (section 7
RIF Core Entailment) in an official capacity before hand (if it is still
feasible).

In particular we were hoping for input in the following areas indicated in
editor's notes:

7.1 Referencing a RIF Core document

"The namespace and URI used for rif:imports is still under discussion within
the group" 

We are currently re-using the rif namespace for this predicate and have not
resolved whether this is appropriate given that we restrict usage to only
the http://www.w3.org/ns/entailment/Simple profile in forming RIF-RDF
combinations for the regime and the concern in making such a predicate too
specific to SPARQL.

Also, would the forthcoming RIF in RDF specification be a more appropriate
approach than the current import mechanism by allowing the RIF combination
to be formed directly from any RIF expressed as RDF in the scoping graph -
rather than by explicit inclusion as we currently do?

7.2 (Simple) RIF Core Entailment Regime

"It is unclear whether safe RIF-Core rules used to form combinations for
this entailment regime guarantee uniqueness (up to RDF graph equivalence) on
answer sets [...] Without strongly safe restrictions, there may be
interoperability issues ... However, strong safety restrictions are only
defined in the informative sections of the RIF-Core specification"

Can you give any background into why the strong safety characteristics are
only an informative part of the specification that might help in informing
conditions for preventing trivial infinite answers as appropriate for the
RIF regime if the use of the strong safety criteria is not appropriate for
this?

Thanks in advance

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, 19 July 2010 15:24:47 UTC