None.
16:38:55 <AxelPolleres> topic: rif:imports / rif:usedWithProfile / rif:importedWithProfile
16:38:55 <RRSAgent> logging to http://www.w3.org/2010/12/01-sparql-irc
RRSAgent IRC Bot: logging to http://www.w3.org/2010/12/01-sparql-irc ←
16:39:29 <AxelPolleres> so what's left to do for rif:imports?
Axel Polleres: so what's left to do for rif:imports? ←
16:39:59 <AxelPolleres> http://www.w3.org/2005/rules/wiki/RIF_In_RDF
Axel Polleres: 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
Axel Polleres: 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.
Sandro Hawke: 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
Axel Polleres: 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
Axel Polleres: http://www.w3.org/2009/sparql/docs/entailment/ needs it ←
16:43:18 <sandro> http://www.w3.org/2009/sparql/docs/entailment/gen.html#id35811360
Sandro Hawke: http://www.w3.org/2009/sparql/docs/entailment/gen.html#id35811360 ←
16:43:18 <AxelPolleres> Section 7.1
Axel Polleres: Section 7.1 ←
16:43:34 <AxelPolleres> http://www.w3.org/2009/sparql/docs/entailment/gen.html#id35811453
Axel Polleres: http://www.w3.org/2009/sparql/docs/entailment/gen.html#id35811453 ←
16:44:28 <AxelPolleres> need to change rif:imports to rif:usedWithProfile
Axel Polleres: 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
Axel Polleres: 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
Axel Polleres: 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.
Sandro Hawke: 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/
Axel Polleres: 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.
Sandro Hawke: 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
Axel Polleres: 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. "
Axel Polleres: "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?
Axel Polleres: are we happy with that? ←
16:55:12 <sandro> um I like it, but it gives us that non-normative reference problem.
Sandro Hawke: 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, ...
Sandro Hawke: If systems implement the optional RIF-in-RDF encoding, ... ←
16:58:35 <sandro> Document (
Sandro Hawke: Document ( ←
16:58:36 <sandro> Imports(R1')
Sandro Hawke: Imports(R1') ←
16:58:36 <sandro> ...
Sandro Hawke: ... ←
16:58:36 <sandro> Imports(Rn')
Sandro Hawke: Imports(Rn') ←
16:58:46 <sandro> XTr(G')
Sandro Hawke: XTr(G') ←
16:59:02 <AxelPolleres> Imports(XTr(G'))
Axel Polleres: Imports(XTr(G')) ←
17:02:43 <AxelPolleres> Sandro, let's spec out rif:usedWithProfile without the RIF-in-RDF part in SPARQL
Sandro Hawke: let's spec out rif:usedWithProfile without the RIF-in-RDF part in SPARQL [ Scribe Assist by Axel Polleres ] ←
17:02:54 <AxelPolleres> and then just reference the note.
Axel Polleres: 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.
Axel Polleres: problem: but the rulesets aren't part of any dataset then. [ Scribe Assist by Axel Polleres ] ←
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
Sandro Hawke: 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....
Axel Polleres: thinking.... [ Scribe Assist by Axel Polleres ] ←
17:05:48 <AxelPolleres> if I put ruleset R into graph G1
Axel Polleres: 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...
Axel Polleres: maybe remark 2 isn't a disaster, if I put the ruleset in a separate graph... [ Scribe Assist by Sandro Hawke ] ←
17:06:02 <AxelPolleres> and I say FROM G2 ...
Axel Polleres: and I say FROM G2 ... ←
17:06:38 <AxelPolleres> .... FROM NAMED G1
Axel Polleres: .... FROM NAMED G1 ←
17:07:07 <AxelPolleres> ... where G2 has a statement <G1> rif:usedWith Profile <:simple> . ...
Axel Polleres: ... where G2 has a statement <G1> rif:usedWith Profile <:simple> . ... ←
17:07:10 <AxelPolleres> then what?
Axel Polleres: then what? ←
17:08:09 <AxelPolleres> Ri' denotes
Axel Polleres: 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.
Axel Polleres: * 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.
Sandro Hawke: "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.
Axel Polleres: we leave it open, how dereference/decoding of the ruleset happens. [ Scribe Assist by Sandro Hawke ] ←
17:10:51 <sandro> axel: and we informatively point to RIF-in-RDF.
Axel Polleres: and we informatively point to RIF-in-RDF. [ Scribe Assist by Sandro Hawke ] ←
17:11:24 <AxelPolleres> ... and give an informal/non-normative wayt to do it using the RIF-in-RDF note.
Axel Polleres: ... 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
Axel Polleres: I'll try to draft a replacement for the relevant part of EntailmentRegimes [ Scribe Assist by Sandro Hawke ] ←
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.
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].
Trackbot IRC Bot: 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 ?
Axel Polleres: 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
Sandro Hawke: 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
Sandro Hawke: chris didn't want importWithProfile ←
17:16:17 <sandro> but importedWithProfile was fine.
Sandro Hawke: but importedWithProfile was fine. ←
17:17:48 <AxelPolleres> sandro looking at some email/minutes...
Axel Polleres: sandro looking at some email/minutes... ←
17:18:38 <AxelPolleres> sandro check with RIF chairs whether importedWithProfile flies with them...
Axel Polleres: 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
Axel Polleres: 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.
Axel Polleres: in case no, let's stick with usedWithProfile. ←
17:19:51 <sandro> http://www.w3.org/TR/rif-in-rdf/
Sandro Hawke: 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.
Axel Polleres: I'll draft something, run it by you, sandro, then we send it to the group. [ Scribe Assist by Axel Polleres ] ←
17:22:41 <AxelPolleres> rrsagent, make records public
Axel Polleres: rrsagent, make records public ←
Formatted by CommonScribe