W3C home > Mailing lists > Public > public-rdf-dawg@w3.org > January to March 2010

Re: [TF-Ent] RIF Core Entailment section

From: Axel Polleres <axel.polleres@deri.org>
Date: Wed, 10 Mar 2010 17:58:20 +0000
Cc: "SPARQL Working Group WG" <public-rdf-dawg@w3.org>, "Birte Glimm" <birte.glimm@comlab.ox.ac.uk>, "Ivan Herman" <ivan@w3.org>, "Sandro Hawke" <sandro@w3.org>
Message-Id: <EE18D272-E7F8-4397-91CD-57B40B962D02@deri.org>
To: Chimezie Ogbuji <ogbujic@ccf.org>
I frankly apologise for not having got back earlier... before I process all the follow-up mails, let me 
shoot out an initial response to the current draft just for the TF-ENT call today.

First of all: thanks for the excellent starting point!

Now here some comments:

"The compatibility document defines 3 additional notions of RIF
satisfiability with respect to a combination that builds on simple
entailment: RIF-RDF, RIF-RDFS, and RIF-D satisfiability."

I's suggest to  mention RIF-simple satisfiability, explicitly, before.
--

"For the purpose of this entailment regime, we will only define
answers with respect to those RDF graphs that are RIF-RDF satisfiable
and RIF-RDF-entailed by the combination formed from the scoping graph
and a referenced, strongly safe RIF-Core [RIF-Core] document."

why not RIF-simple?
---

"Any legal RDF graph. RDF graphs that do not have a statement with a
predicate of rif-rdf:usesRuleset will not be applicable to this
entailment regime"

I find this too strong. It seems to preclude to use e.g. an RDF stroe
which has some default Ruleset, it uses.
Can we get around this?

------

"well-formed RDF triples that are RIF-RDF-entailed by the RIF-RDF
combination formed from SG and the strongly safe RIF core documents
referenced from SG via the rif-rdf:usesRuleset predicate."

this seems to include all the RDF axiomatic triples! so possibly
infinite answers, unless you meant to use s/RIF-RDF/RIF-simple/g in
all the above said. 

However, I think we could - quite easily - extend that to RIF-RDF and
RIF-RDFS alalogoosly as we do it for the RDF and RDFS entailment regimes!


----

"<> rif-rdf:usesRuleset <.. path to above document ..>"

BTW, my idea for rif-rdf:usesRuleset was that it also specifies the
import-profile i.e. somet triple like e.g. 

<http://www.w3.org/2007/rif-import-profile#Simple> rif-rdf:usingRuleset
<Ruleset> 

would determine that the graph imports
 <Ruleset> with the simple profile... that is, the subject has the profile.
Received on Wednesday, 10 March 2010 17:58:55 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:15:41 GMT