16:38:55 <RRSAgent> RRSAgent has joined #sparql
16:38:55 <RRSAgent> logging to http://www.w3.org/2010/12/01-sparql-irc
16:39:29 <AxelPolleres> so what's left to do for rif:imports?
16:39:59 <AxelPolleres> http://www.w3.org/2005/rules/wiki/RIF_In_RDF
16:41:08 <AxelPolleres> Axel to re-check whether any comments open from dave regarding sections 7+8
16:41:10 <sandro> still a WD, almost ready to be WG Note, pending Sandro making some changed approved by WG.
16:41:24 <AxelPolleres> sandro to implement some more changes asked from the RIF group
16:42:47 <AxelPolleres> http://www.w3.org/2009/sparql/docs/entailment/ needs it
16:42:59 <AndyS> AndyS has joined #sparql
16:43:18 <sandro> http://www.w3.org/2009/sparql/docs/entailment/gen.html#id35811360
16:43:18 <AxelPolleres> Section 7.1
16:43:34 <AxelPolleres> http://www.w3.org/2009/sparql/docs/entailment/gen.html#id35811453
16:44:28 <AxelPolleres> need to change rif:imports to rif:usedWithProfile
16:46:34 <AxelPolleres> we can bring the RIF doc to W3C note status http://www.w3.org/2005/rules/wiki/RIF_In_RDF
16:46:59 <AxelPolleres> mentione it as an informal/non-normative reference in the entailment regimes doc
16:47:11 <sandro> the reference rule is to prevent a conformant SPARQL system from being rendered non-conformant by a change to the RIF Note.
16:47:29 <AxelPolleres> and copy the text from section 7 into section 7.1 of http://www.w3.org/2009/sparql/docs/entailment/
16:50:31 <sandro> when we do a Second Edition for XSD, of SWC, we can include a mention of SPARQL Entailment Regimes.
16:52:32 <AxelPolleres> http://www.w3.org/2005/rules/wiki/RIF_In_RDF#Importing_RIF_into_RDF
16:52:43 <AxelPolleres> "It is also possible for the graph G to itself contain an encoded ruleset along with additional RDF statements to which the ruleset is intended to apply. "
16:52:52 <AxelPolleres> are we happy with that?
16:55:12 <sandro> um I like it, but it gives us that non-normative reference problem.
16:57:31 <sandro> If systems implement the optional RIF-in-RDF encoding, ...
16:58:35 <sandro> Document (
16:58:36 <sandro>      Imports(R1') 
16:58:36 <sandro>      ...
16:58:36 <sandro>      Imports(Rn')
16:58:46 <sandro>    XTr(G')
16:59:02 <AxelPolleres> Imports(XTr(G'))
17:02:43 <AxelPolleres> Sandro, let's spec out rif:usedWithProfile without the RIF-in-RDF part in SPARQL
17:02:54 <AxelPolleres> and then just reference the note.
17:03:31 <AxelPolleres> s/Sandro,/Sandro:
17:03:51 <AxelPolleres> Axel: problem: but the rulesets aren't part of any dataset then.
17:03:55 <sandro> WITH a paragraph saying if you want to store rulesets in data sets, you have to use a RIF-in-RDF mapping, such as [NOTE REFERENCE], and if you do that, the URI of the ENCODED ruleset can be used like the URI of a RIF XML document
17:05:33 <AxelPolleres> axel: thinking....
17:05:48 <AxelPolleres> if I put ruleset R into graph G1
17:05:50 <sandro> axel: maybe remark 2 isn't a disaster, if I put the ruleset in a separate graph...
17:06:02 <AxelPolleres> and I say FROM G2 ...
17:06:38 <AxelPolleres> .... FROM NAMED G1    
17:07:07 <AxelPolleres> ... where G2 has a statement <G1> rif:usedWith Profile  <:simple> . ... 
17:07:10 <AxelPolleres> then what?
17:08:09 <AxelPolleres>  Ri' denotes
17:08:09 <AxelPolleres>     * the RIF document obtained from applying the inverse mapping XTr to the graph Gi if Ri denotes an RDF graph Gi. 
17:10:23 <sandro> "extensibility point" ... sparql doesn't mandate how you get from ruleset URI to ruleset.
17:10:41 <sandro> axel: we leave it open, how dereference/decoding of the ruleset happens.
17:10:51 <sandro> axel: and we informatively point to RIF-in-RDF.
17:11:24 <AxelPolleres> ... and give an informal/non-normative wayt to do it using the RIF-in-RDF note.
17:12:08 <sandro> axel: I'll try to draft a replacement for the relevant part of EntailmentRegimes
17:12:18 <AxelPolleres> ACTION: try to sketch a replacement for section http://www.w3.org/2009/sparql/docs/entailment/gen.html#id35811453 based on the discussion today.
17:12:18 <trackbot> Sorry, couldn't find user - try
17:12:31 <AxelPolleres> ACTION: axel to try to sketch a replacement for section http://www.w3.org/2009/sparql/docs/entailment/gen.html#id35811453 based on the discussion today.
17:12:32 <trackbot> Created ACTION-339 - Try to sketch a replacement for section http://www.w3.org/2009/sparql/docs/entailment/gen.html#id35811453 based on the discussion today. [on Axel Polleres - due 2010-12-08].
17:13:50 <AxelPolleres> Can I say that we have the consent of the RIF WG to use the URI rif:usedWithProfile ?
17:14:20 <sandro> http://lists.w3.org/Archives/Public/public-rif-wg/2010Sep/att-0009/rif-mins-7-Sept-2010.html
17:16:11 <sandro> chris didn't want importWithProfile
17:16:17 <sandro> but importedWithProfile was fine.
17:17:48 <AxelPolleres> sandro looking at some email/minutes...
17:18:38 <AxelPolleres> sandro check with RIF chairs whether importedWithProfile flies with them...
17:19:00 <AxelPolleres> in case yes, let's adapt the note and also the SPARQL entailments section
17:19:11 <AxelPolleres> in case no, let's stick with usedWithProfile.
17:19:51 <sandro> http://www.w3.org/TR/rif-in-rdf/
17:21:39 <AxelPolleres> Axel: I'll draft something, run it by you, sandro, then we send it to the group.
17:22:41 <AxelPolleres> rrsagent, make records public 
17:29:58 <AxelPolleres> sandro, one more thing...
17:30:02 <AxelPolleres> http://www.w3.org/TR/rif-in-rdf/ 
17:30:09 <sandro> yes?
17:30:16 <AxelPolleres> doesn't have the #Importing_RIF_into_RDF section yet.
17:31:12 <sandro> Right.   Do we need to refer to that particular section?    I think for SPARQL's text, it just needs to refer to the concept of a RIF-in-RDF mapping.
17:31:26 <sandro> (since it's defining how you import.)
17:33:18 <AxelPolleres> Well, we need the semantics of rif in rdf...
17:33:39 <AxelPolleres> but maybe not really if we leave out usedwith profile, you're right
17:33:51 <AxelPolleres> ok
17:33:57 <sandro> leave it out of which....?
19:39:33 <AxelPolleres> AxelPolleres has joined #sparql
20:04:08 <SteveH> SteveH has joined #sparql
21:04:51 <AxelPolleres> AxelPolleres has joined #sparql
21:25:41 <AxelPolleres> AxelPolleres has left #sparql