- From: Axel Polleres <axel.polleres@deri.org>
- Date: Wed, 10 Mar 2010 17:58:20 +0000
- To: Chimezie Ogbuji <ogbujic@ccf.org>
- 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>
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 UTC