14:59:37 RRSAgent has joined #rdf-wg 14:59:37 logging to http://www.w3.org/2012/04/25-rdf-wg-irc 14:59:52 zakim, this is rdf 14:59:53 ok, Guus_; that matches SW_RDFWG()11:00AM 14:59:57 trackbot, start meeting 15:00:00 RRSAgent, make logs world 15:00:02 Zakim, this will be 73394 15:00:02 ok, trackbot; I see SW_RDFWG()11:00AM scheduled to start now 15:00:03 Meeting: RDF Working Group Teleconference 15:00:03 Date: 25 April 2012 15:00:10 Arnaud1 has joined #rdf-wg 15:00:22 zakim, who is here? 15:00:22 I notice SW_RDFWG()11:00AM has restarted 15:00:23 On the phone I see ??P0, David_Wood, Guus, ??P4 15:00:23 On IRC I see Arnaud1, RRSAgent, Zakim, AndyS, AZ, moustaki, swh, tbaker, gavinc, Guus_, danbri, MacTed, AndyS1, ivan, davidwood, manu, manu1, NickH, trackbot, sandro, ericP 15:00:41 +Arnaud 15:00:45 zakim, ??P4 is me 15:00:45 +AZ; got it 15:01:02 zakim, dial ivan-voip 15:01:02 ok, ivan; the call is being made 15:01:03 +??P8 15:01:03 +Ivan 15:01:11 zakim, ??P8 is me 15:01:11 +AndyS; got it 15:01:22 cygri has joined #rdf-wg 15:01:24 zakim, who is here? 15:01:24 On the phone I see ??P0, David_Wood, Guus, AZ, Arnaud (muted), AndyS, Ivan 15:01:26 On IRC I see cygri, Arnaud, RRSAgent, Zakim, AndyS, AZ, moustaki, swh, tbaker, gavinc, Guus_, danbri, MacTed, AndyS1, ivan, davidwood, manu, manu1, NickH, trackbot, sandro, ericP 15:01:26 +mhausenblas 15:01:35 zakim, mhausenblas is temporarily me 15:01:35 +cygri; got it 15:01:40 AlexHall has joined #rdf-wg 15:01:48 + +1.443.212.aaaa 15:01:48 (regrets, i'm preparing to give a webinar shortly) 15:02:00 zakim, aaaa is me 15:02:00 +AlexHall; got it 15:02:05 Zakim, ??P0 is me 15:02:05 +moustaki; got it 15:02:21 sending 40+ messages between 4am and 8am my time isn't fair!.. 15:02:35 +Sandro 15:02:45 pchampin has joined #rdf-wg 15:03:13 +??P15 15:03:28 zakim, ??P15 is me 15:03:28 +pchampin; got it 15:03:33 sandro has changed the topic to: 8 Feb -- http://www.w3.org/2011/rdf-wg/wiki/Meetings:Telecon2012.04.25 15:03:52 sandro has changed the topic to: RDF Agenda http://www.w3.org/2011/rdf-wg/wiki/Meetings:Telecon2012.04.25 15:03:54 scribe: alexhall 15:04:01 scribenick: alexhall 15:04:06 FabGandon1 has joined #rdf-wg 15:04:21 topic: Admin 15:04:24 zakim, who is here? 15:04:24 On the phone I see moustaki, David_Wood, Guus, AZ, Arnaud, AndyS, Ivan, cygri, AlexHall, Sandro, pchampin 15:04:26 On IRC I see FabGandon1, pchampin, AlexHall, cygri, Arnaud, RRSAgent, Zakim, AndyS, AZ, yvesr, swh, tbaker, gavinc, Guus_, danbri, MacTed, AndyS1, ivan, davidwood, manu, manu1, 15:04:26 ... NickH, trackbot, sandro, ericP 15:04:36 +ericP 15:05:10 PROPOSED: to accept the minutes of April 18 telecon 15:05:26 RESOLVED: to accept the minutes of April 18 telecon 15:05:35 guus: Action item review 15:05:49 +gavinc 15:05:52 +??P18 15:06:30 ... any progress on open action items? 15:06:33 zakim, ??P18 is probably tbaker 15:06:33 +tbaker?; got it 15:07:39 ... no progress, move to next week 15:07:53 topic: Work priorities 15:08:14 guus: Our discussion on NG puts us at risk for the timetable in the charter 15:08:35 ... it's a difficult issue but we have to face that fact, worth a discussion of priorities 15:08:52 ... anything we can easily do quickly while keeping named graphs open? 15:09:04 ... open floor for 5-10 minute discussion on this 15:09:27 eric: what is our todo list? (i guess it's in the charter, should look at that) 15:09:45 sandro: should be in the open issues list, might be more accurate 15:09:52 +OpenLink_Software 15:09:57 Zakim, OpenLink_Software is temporarily me 15:09:57 +MacTed; got it 15:10:00 Zakim, mute me 15:10:00 MacTed should now be muted 15:10:19 david: we do have an email thread started by Sandro this morning for graph strawpoll 15:10:25 q+ 15:10:34 guus: will get to that later, for now concentrate on issues outside of NGs 15:10:56 ... right now have 29 open issues, should at least make sure we do the other ones that aren't graphs 15:10:59 q+ 15:11:17 ... do we revive the RDF-JSON work? 15:11:29 Zakim, unmute me 15:11:29 MacTed should no longer be muted 15:11:41 eric: had the impression we were waiting to see how JSON-LD shaped up to see if we need to do anything other than adopt it 15:12:04 ted: LD is about making JSON linked, not making an RDF serialization in JSON 15:12:13 I don't agree either :) 15:12:24 [disagreement from guus, david] 15:12:27 +1 to MacTed. That is my understanding of the primary use case. 15:12:47 guus: can serialize any graph into JSON-LD 15:13:16 Sorry. 15:13:26 q- 15:13:26 can you scribe yourself, andy? 15:13:32 RDFa can encode any graph but UC is RDF in HTML doc. 15:14:05 ivan: JSON-LD has gotten lots of traction in several places, this is a good thing 15:14:20 guus: will it be ready to do anything with it by this summer? 15:14:26 ivan: no, i don't think so 15:14:33 +[Sophia] 15:14:41 guus: ok, doesn't need to be a work priority for us 15:14:51 Zakim, Sophia is me 15:14:51 +FabGandon1; got it 15:14:52 ack ivan 15:15:06 ivan: don't know whether we got XMLLiterals completely closed 15:15:17 so even though JSON-LD can encode a graph, is it the right solution for RDF exchange? outside of adding semantics to JSON( which is a good thing to do). 15:15:24 ... also think there was another issue coming in about HTML5 literals, might need to decide on that 15:15:54 cygri: based on information from poll, think there's enough information to make a proposal acceptable to wg 15:16:31 ... aside from graph stuff, think ??? and HTML5 literals are the major open issues remaining 15:16:52 ... wrt HTML5 literals, is that even an issue for this wg to consider? 15:17:22 ivan: don't see any other wg that can pick it up 15:17:41 ISSUE-63? 15:17:41 ISSUE-63 -- Introduce an HTML5 datatype -- open 15:17:41 http://www.w3.org/2011/rdf-wg/track/issues/63 15:17:41 guus: ivan, can you do this since you raised an issue for it? 15:18:32 q+ 15:18:37 Issue-63 needed for LDP-WG. 15:19:12 guus: one other work item is to put out an update primer, that's on my plate 15:19:22 ... don't think i'll be able to do anything on that until june 15:19:26 btw, ISSUE-63 is related to ISSUE-81 15:19:31 ISSUE-81? 15:19:31 ISSUE-81 -- How to represent HTML formated text in an RDF Literals -- raised 15:19:31 http://www.w3.org/2011/rdf-wg/track/issues/81 15:19:58 q? 15:20:02 ack ivan 15:20:34 ivan: one thing that came up early was discussion to change title of RDF Semantics document, reorganize to make the rules normative and deemphasize the model-theoretic semantics 15:20:37 q+ 15:20:48 ack cygri 15:20:51 ... think it's a good thing to do but huge amount of editorial work 15:21:05 cygri: is there an editors draft of RDF Semantics yet? 15:21:09 [no] 15:21:35 cygri: given that there are larger changes to the doc, would feel better if there were an editors draft by now. 15:22:22 guus: suggest we should put it on the agenda for next week 15:22:36 ... any more priorities? 15:23:22 david: should ping peter and pat via email before next week 15:23:41 topic: Turtle LC 15:23:56 guus: thought we agreed to a different schedule last week than what's on the agenda 15:23:58 q+ 15:24:15 gavin: yes, we agreed to have a draft ready by next week? 15:24:20 I emailed Eric and Gavin re ":" SPARQL change in local part of prefix names 15:24:29 guus: is that still a realistic goal? 15:24:33 gavin: yes 15:24:34 ack cygri 15:24:41 AndyS, yep, and updated the Turtle grammar to contain the same thing 15:24:44 guus: will put it on the agenda for next week 15:25:14 +1 to Richard 15:25:19 cygri: there has been significant editorial work done in RDF Concepts since last published working draft 15:25:48 ... since there are small number of open issues, think we should do another public working draft soon to get feedback 15:26:11 guus: do you plan to incorporate the XMLLiteral and HTML5 literal into the draft 15:26:45 cygri: i think there are enough changes in there to publish without XML/HTML5 literals 15:27:40 Souri has joined #rdf-wg 15:27:41 guus: leave the decision to you. i'm happy to come up with proposed working draft and do an internal review. turn-around time is ~3 weeks 15:27:56 ivan: would be good to have it done before SemTech 15:28:08 cygri: that seems doable and something good to aim for 15:28:16 Pat and Peter pinged re RDF Semantics editors draft. 15:28:19 (SemTech starts on the 4th of June, FYI) 15:28:39 guus: do you want to commit to a date to put it on the agenda, or wait to see how it goes? target may 9? 15:28:46 I don't know how much effort I can put into RDF Concepts between now and 9 May, but can try. 15:29:07 cygri: would prefer to review XMLLiterals first before committing 15:29:43 guus: think it's worth taking a week longer to include XMLLiteral changes. think we came pretty close to consensus and it was just a matter of phrasing. 15:30:20 cygri: will put together a proposal for XMLLiterals in the next week, let's put it on the agenda for next week. 15:30:37 q? 15:30:43 +??P25 15:30:47 guus: good, 3 non-graph items on agenda for next week (Turtle LC, RDF Semantics draft, XMLLiteral) 15:30:53 topic: Named Graphs 15:31:08 guus: suggestion is to start with sandro's strawpoll 15:31:34 ... sandro, would you mind explaining this? 15:31:40 zakim, P25 is me 15:31:40 sorry, Souri, I do not recognize a party named 'P25' 15:31:40 1. The default graph is asserted 15:31:40 "{ }" entails turtle(" ") 15:31:51 sandro: taking them in order, tried to go from simplest to most complicated 15:32:00 zakim,?P25 is me 15:32:00 sorry, Souri, I do not recognize a party named '?P25' 15:32:18 zakim,??P25 is me 15:32:18 +Souri; got it 15:32:23 ... consensus seemed to be that this is OK, though antoine pointed out that entailment might not be the right word. 15:32:38 +1 15:32:40 +1 15:32:40 +1 15:32:42 +1 15:32:44 +1 15:32:46 +1 15:32:47 +1 15:32:48 +1 15:32:53 +1 15:32:57 +1 15:32:58 (although the terminology should be fixed) 15:33:03 (agreed) 15:33:05 2. Named graphs are not asserted 15:33:05 " { }" does not entail turtle(" ") 15:33:11 +1 15:33:26 +1 15:33:28 +1 15:33:28 +1 15:33:29 +1 15:33:30 +1 15:33:31 +1 15:33:32 +1 15:33:33 sandro: think most people agreed that named graphs are not asserted, but there were a couple of disagreements 15:33:37 +1 15:33:39 +0 15:33:40 ... could those people speak up? 15:33:46 +0 15:34:08 I'm not current on this thread ... and not sure I understand the proposition. 15:35:16 gavin, can you please scribe your comment (didn't quite follow)? 15:35:56 sandro: the point here is that there needs to be a way to talk about some triples without asserting them as true 15:36:05 gavinc: Not clear to me what the diffrence between " { }" and GET " " is 15:36:34 sandro: who is saying the second one? in what language? 15:36:49 david: can you even say that? don't you just say "Get "? 15:37:51 gavin: as a data publisher, what is the difference between publishing a single trig doc vs. publishing lots of turtle docs 15:37:54 q+ to ask whether they shouldn't just be two difference publication styles. 15:38:06 q+ 15:38:33 sandro: the trig doc doesn't assert the contents of the graphs, publishing as turtle docs does 15:38:42 ack davidwood 15:38:42 davidwood, you wanted to ask whether they shouldn't just be two difference publication styles. 15:38:43 gavin: don't really understand why that is the case 15:38:52 gavin: It's just not clear to me why putting all my turtle documents in one big trig document would change the meaning. 15:39:29 david: think this is a matter of style. it's a difference between quoting the contents of the graphs vs publishing them individually 15:39:49 ... if i'm a publisher, the contents of both of those docs should be the same 15:39:49 q? 15:39:53 ack ivan 15:39:55 publishing something doesn't assert it. 15:40:09 sandro: not sure about the semantics of publishing on the web here. don't necessarily see publishing on the web as being equivalent to asserting 15:40:13 sandro: I think it may be possible to publish RDF on the Web without asserting it. I'm not sure about that. 15:40:16 cygri, sure but the statement was " { }" does not entail turtle(" ") 15:41:07 ivan is saying " a :ResolvableRDFResouce ." ? 15:41:20 ivan: convention is that graph iri's are just labels, but maybe there is an extension where we can say that the labeled graphs are the same as what is published on those IRIs 15:41:28 eric, yes, although we had about 50 different names for that class already:-) 15:41:30 3. Named graphs are opaque 15:41:30 " { }" does not entail " { _:x}" 15:41:41 +1 15:41:42 -1 15:41:44 -1, i think 15:41:49 q+ 15:41:57 q+ 15:42:00 -1 -- it should entail (within the graph). A graph is a graph everywhere. 15:42:08 -1, i think 15:42:14 +0.5 (I think) 15:42:15 +1 15:42:26 sandro: the reason i think this is the right thing to do is, you want to keep things from changing out from under you all the time 15:42:32 q+ 15:42:37 (err - SPARQL entailment would have that entailment) 15:42:39 ... the graph is not the same as its entailments 15:42:48 q? 15:43:00 ... this is another way of saying that entailment has to be explicit. 15:43:03 -1, because I don't see why. 15:43:03 ack cygri 15:44:03 i think we need to support the graph structure upon which SPARQL (and most of the world) relies 15:44:05 cygri: two reasons i disagree. first, we are defining a semantics, so we shouldn't say we do something because this is how sparql works. sparql is defined in terms of graphs, but we're concerned about the logical assertions within those graphs 15:44:11 SPARQL with entailment regime really gives you the implicit statements 15:44:33 cygri: Entailment goes nicely with the partial graph semantics. 15:44:59 ... second, i like the partial semantics approach 15:45:13 ... it works well with entailments 15:45:29 sandro: think this might be something we can't decide without more experience. 15:45:30 q+ 15:45:34 ack ivan 15:46:24 ivan: when i have named graphs, what is in the named graphs is quoted. i'm not talking about entailment when i'm quoting. 15:47:05 ... the entailment in the example is true if i'm explicitly doing entailment, but not otherwise 15:47:13 zakim, who is muted? 15:47:13 I see Arnaud, tbaker? muted 15:47:15 ack pchampin 15:47:30 pchampin: i agree with ivan 15:47:58 +1 to that 15:48:10 ... either we have to accept all kinds of inference in the curly brackets, or none 15:48:12 +1 we acept all kinds of inference, or none, within curlies 15:48:23 +1 to no inferences or none 15:48:28 0 15:48:30 +1 15:48:32 pchampin: either all inferences should be allowed inside the curly brackets, or none 15:48:34 can we make a guess at a descriminating use case? 15:48:38 ack AlexHall 15:48:39 i propose capturing that graph { :Fido a :Dog . :Dog rdfs:subClassOf :Mammal } has an RDFS entialment which include { :Fido a :Mammal } 15:48:45 +1 to no inference 15:48:50 s/include/includes/ 15:49:55 q? 15:50:24 q+ to propose a test 15:50:27 4. Graph labels denote just like in RDF 15:50:27 "{ owl:sameAs } { }" 15:50:27 owl-entails 15:50:27 " { }" 15:50:29 q- 15:50:46 +1 15:51:06 -1 as the default but have a mechanism to switch to this case when needed 15:51:45 sandro: point of this item is that you can use graph IRIs in RDF and have those IRIs talk about the actual graphs 15:52:16 ... this is refuting the people who claim that the label doesn't denote the graph 15:52:18 -1 (I see no reason to *interpret* the semantics of owl:sameAs within RDF, but that would be fine within OWL) 15:52:38 +1 15:52:39 ±0. the question needs to be made clearer 15:52:44 -Arnaud 15:53:15 sandro: using owl:sameAs as an example, not suggesting we incorporate OWL into RDF 15:53:20 q+ 15:53:27 q+ 15:53:47 { dc:creator "David Wood" } { } 15:54:05 ... you can only get at this feature by incorporating some higher semantics where different IRIs can mean the same thing 15:54:11 q+ 15:54:15 -Guus 15:54:18 different issue because of label -> thing -> graph indirection 15:54:28 sandro: are the terms "u" in the same general namespace, the I( .... ) 15:54:31 AndyS++ 15:54:32 q? 15:54:37 +0 (changed from previous after Sandro's explanation - I will need to think about it) 15:54:40 ... or, in this dc:creator example, is the thing created by David Wood the graph within the braces? 15:54:41 my phone just broke down, it seems the battery is corrupt :-( 15:54:42 ack AZ 15:54:43 ack AZ 15:55:32 david, can you chair the last 15 min? 15:55:43 it would be great if we get through all 7 15:55:48 +Arnaud 15:55:49 +1 AZ there is a use case against this (I just don't think it's worth it.) 15:56:04 thanks ivan 15:56:17 q? 15:56:35 q? 15:56:37 az: you can imagine that you have two IRIs used as a graph label for two different graphs, both denoting some resource that is the primary subject of those graphs 15:56:45 q? 15:57:04 { a :American } , { a :African } 15:57:09 gavinc: They use DNS as the basis to make their names, just like now 15:57:10 ack pchampin 15:57:20 no ericP not that. 15:57:23 ... you can't declare the names to be same without also declaring the graphs to be the same in this example 15:57:26 why would i say = ? 15:57:50 gavinc: Oops, sorry. I thought that was you. 15:58:12 pchampin: afraid that this kind of inference would have lots of sparql implementers yelling at us 15:58:20 Two different datasets may have same for different things (e..g viewed at 15:00, viewed at 16:00). Good decision? globally no, but without agreement, it will happen. 15:58:31 ... other than that this looks sensible, but afraid it might break things for implementers 15:58:39 +1 pchampin 15:58:56 sandro: could this be handled by a sparql entailment regime? 15:58:59 SELECT * WHERE { { ?s ?p ?o } } 15:59:01 The entailment regime do not do anything with the graph labels 15:59:13 pchampin: maybe, but only if the entailment regime also applies to graph labels 15:59:24 +1 pchampin Good Question. 15:59:34 q? 15:59:38 pchampin -- good point - enatilment only applies to BGP matching, not the named part 15:59:40 (I reviewed SPARQL 1.1 Entailment Regimes) 15:59:43 entailment regime only applies to pattern matching within the context of a graph 16:00:08 ack cygri 16:00:15 q? 16:00:50 +1 cygri 16:01:00 +1 to cygri 16:01:01 cygri: the entailment regimes is something to keep in mind. one thing entailing something else doesn't necessarily mean the entailed thing goes back into the data structure. 16:01:17 +??P54 16:01:29 { dc:creator "David Wood" } { } 16:01:32 ... your tools uses those entailments sometimes when you tell it to 16:01:34 cygri: I think I can say YES, but my sparql store doesn't have to compute these 16:01:38 zakim, ??p54 is me 16:01:38 +Guus_; got it 16:02:02 cygri: In this example, the two 's are the same thing. 16:02:10 q+ 16:02:29 ... regarding the dc:creator, i think the question of what the 's denote is different from what relation that thing stands to the stuff in the graph. 16:02:37 q? 16:02:48 ack pchampin 16:03:03 guus: think we should speed this up to get to rest of questions on this telecon 16:03:11 -1 for now b/c entailment today does not apply to graph labels -- the implications of this new extension is unclear to me 16:03:57 pchampin: question to richard, when you say it doesn't mean the triples won't be automatically in your triple-store, do you mean just that they won't be materialized or that they won't be returned as query results to that graph? 16:04:05 STRAWPOLL: (4) In a trig document like { .... } ... { .... ... } the three "" terms mean the same thing. 16:04:09 zakim, who is noisy? 16:04:18 +1 16:04:25 +1 16:04:26 ivan, listening for 10 seconds I heard sound from the following: pchampin (58%), Guus_ (100%) 16:04:45 +1 16:04:46 zakim, mute me 16:04:46 +1 16:04:48 +1 16:04:48 +1 16:04:49 Guus_ should now be muted 16:04:59 +1 (I think) but the labelling has the indirection so it is a bit complicated 16:05:12 What do you mean by "mean the same thing"? 16:05:16 (caveat PatH's work) 16:05:20 +1 16:05:26 so ... is scoped to Trig doc 16:05:28 5. Blank nodes labels have file scope 16:05:36 -0.5 16:05:39 ±1 16:05:43 MacTed - nice way of putting it. +1 16:05:43 http://www.w3.org/2011/rdf-wg/wiki/Graphs_Design_6.1#Blank_Nodes 16:05:47 @AndyS agreed, labelling adds an indirection 16:05:53 +1 16:06:20 makes pragmatic sense 16:06:20 -0.3 16:06:21 q+ 16:06:22 +1 16:06:43 ack ivan 16:06:46 ±0 16:06:58 i thiunk that is what users would expect 16:07:02 sandro: use case here is that blank nodes need to be shared between graphs, e.g. when inference results from one graph are stored in another and the bnode labels need to denote the same thing in both places 16:07:05 0 16:07:13 It is cheaper and easier at scale to have file scope. Problem exists even in RDF/XML in the bnodes id tracking. 16:07:20 ivan: but RDF graphs today cannot share blank nodes 16:07:34 i'm pretty sure RDF Semantics says nothing about bnode scope 16:07:35 I don't see the reason against 16:07:39 +1 16:07:49 AlexHall, RDF semantics doesn't talk about more than one graph ;) 16:07:50 Surely RDF says exactly nothing one way or the other about anything across graphs 16:07:54 Bnodes (and their labels) are scoped to Gbox/Gsnap/Gtext.... yes? 16:08:10 q? 16:08:18 ivan: don't see how we can do this without skolemizing bnodes 16:08:39 Bnodes are to be discouraged ... for MANY reasons. and this is one of those reasons. 16:09:10 sandro: disadvantage is simplicity and performance in terms of tracking bnode labels across a large document 16:09:23 +1 16:09:24 +1 16:09:25 0 16:09:25 5. Blank nodes labels have file scope 16:09:27 0 16:09:28 +1 16:09:30 ±1 16:09:32 0 16:09:36 -0.5 16:09:48 ±0 16:09:49 I *think* +1 16:09:55 +1 file scope 16:09:58 +1, and avoid blank nodes wherever possible ;) 16:09:59 -0.3 16:10:02 +1 16:10:05 6. In trig, @union can be used in place of the default graph 16:10:05 ted: right now nothing says triple store implemeners have to allow for bnode sharing, doing so might prevent optimizations 16:10:13 +1 16:10:19 out of curiosity, did you try your test on majors SPARQL implementations? 16:10:19 s/ted/ericP/ 16:10:24 (regarding bnodes?) 16:10:31 (or another kind of syntactic indicator) 16:10:46 -1 in this format, not INSTEAD OF, but ADDITIONALLY to the default graph 16:11:11 it does seem a bit at odds with 2. 16:11:18 sandro: this is basically a way of using trig to annotate sections of a graph 16:11:21 purely syntactic sugar for repeating all the triples in all the named graphs. 16:11:23 +0.5 16:11:23 +.4 16:11:26 +0 16:11:28 +0.1 16:11:32 Better *may* be RDF triples to say this - may be lots of different things to say. Has some ordering problems/issues but a good idea. 16:11:39 +0.75 16:11:45 +0.5 16:11:49 +0.5 16:12:02 STRAWPOLL: In trig, @union is syntacitc sugar for inlcuding all the named graph contrntst in the default graph 16:12:05 +1 16:12:06 +0.75 16:12:08 +0.5 16:12:11 ivan's proposal would make processing easier (e..g see it at end of parse run) 16:12:13 s/contrntst/contents/ 16:12:14 0 16:12:20 +0.5 16:12:22 (Syntax: Likely means that all declerations should come BEFORE the first graph statement) 16:12:23 (we could change the word later,of course.) 16:12:25 +1 16:12:30 +0 16:12:31 +0 because not sure the cost of extra syntax is worth it 16:12:31 0 16:12:35 q? 16:12:36 +0.5 16:12:42 +0 16:12:45 7. Datasets only say which triples are known to be in a named graph, 16:12:45 not which triples are *not* in that named graph. 16:12:57 +1 16:13:05 sandro: this last one is the partial vs. complete semantics 16:13:15 q+ 16:13:23 +1 16:13:24 The merge of " { }" and " { }" is 16:13:24 " { ,}". 16:13:39 -FabGandon1 16:13:45 Also " { ,}" entails " { }". 16:14:04 ... this implies an entailment test. 16:14:08 if graphs are opaque, then no it does not hold 16:14:30 definitely looks like subgraph entailment to me! 16:14:35 q? 16:14:38 +FabGandon1 16:14:39 I prefer "*if* you wish to merge the two datasets then that is what the merge is" 16:15:05 ivan: this is inconsistent with our earlier statement that we have to either do all entailment or no entailment 16:15:13 +1 (without the word "entailment") 16:15:16 q- 16:15:17 +1 16:15:19 sandro: it's entailment, but it's trig-entailment not rdf-entailment 16:15:19 I'm lost, then 16:15:31 q+ 16:15:57 So, what does "implies" *mean*? 16:16:15 eric: is this a referendum on whether we allow partial graphs, or on the semantics of those partial graphs? 16:16:31 +0.8 16:16:32 +1 to first part, not sure what the consequence of second part is. 16:16:58 pchampin: rephrase my previous proposal: either trig-entailment should completely match rdf-entailment for labelled graphs, or it should do no rdf-entailmenet for labelled graphs at all 16:16:59 ack pchampin 16:17:00 -tbaker? 16:17:03 strawpoll: Partial, Complete, or Both --- (or Huh???) :-) 16:17:13 tbaker, you can write "partial, "complete" or "both" before you leave 16:18:00 partial must be default interpretation; want way to say "this graph is complete (or not)"; think we need both... 16:18:02 The merge of " { }" and " { }" is 16:18:02 " { ,}". 16:18:25 +1 to partial 16:18:27 agree with partial being the default 16:18:29 complete 16:18:30 +1 to partial 16:18:32 probably prefer partial 16:18:33 both 16:18:34 +1 16:18:38 okay with either partial or complete, not sure about both at once 16:18:39 (at least partial) 16:18:46 sandro: the point is that complete semantics says this example is inconsistent, partial at least allows it 16:18:50 -Souri 16:18:52 +0 (have to think over) 16:18:53 "huh???" and partial (may be app choice) 16:18:54 partial 16:18:54 -moustaki 16:18:55 +1 have both with an indicator to say which 16:19:09 complete for datasets, partial for trig syntax, which is complete at the end of the document 16:19:16 thx ivan, to take over 16:19:22 -Arnaud 16:19:24 guus: adjourned 16:19:27 -AZ 16:19:30 -Ivan 16:19:35 -gavinc 16:19:37 -AlexHall 16:19:40 -Guus_ 16:19:44 -AndyS 16:19:46 -cygri 16:20:35 { a :American } , { a :African } 16:20:48 = 16:20:58 +1 to "don't do that" 16:21:18 Zakim, who's here? 16:21:18 On the phone I see David_Wood, Sandro, pchampin, ericP, MacTed, FabGandon1 16:21:21 On IRC I see FabGandon1, pchampin, AlexHall, cygri, Arnaud, RRSAgent, Zakim, yvesr, tbaker, gavinc, MacTed, AndyS, davidwood, manu, manu1, NickH, trackbot, sandro, ericP 16:21:28 RRSAgent, draft minutes 16:21:28 I have made the request to generate http://www.w3.org/2012/04/25-rdf-wg-minutes.html AlexHall 16:21:38 RRSAgent, make logs public 16:23:36 -David_Wood 16:24:46 -ericP 16:24:49 -Sandro 16:25:39 { a :US_President . a :US_President. = } 16:25:59 { [some triples from the republicans ] } 16:26:11 { [some triples from the democats] } 16:26:33 SELECT ?s ?p ?o WHERE { ?g a :US_President. ?g { ?s ?p ?o } } 16:28:57 { a :US_President . = } 16:32:16 -MacTed 16:32:19 -FabGandon1 16:33:35 FabGandon1 has left #rdf-wg 16:37:20 disconnecting the lone participant, pchampin, in SW_RDFWG()11:00AM 16:37:22 SW_RDFWG()11:00AM has ended 16:37:22 Attendees were Guus, David_Wood, Arnaud, AZ, Ivan, AndyS, cygri, +1.443.212.aaaa, AlexHall, moustaki, Sandro, pchampin, ericP, gavinc, tbaker?, MacTed, FabGandon1, Souri, Guus_ 16:39:35 mischat has joined #rdf-wg 17:03:44 AlexHall has left #rdf-wg 17:11:52 AndyS has joined #rdf-wg 17:18:15 swh has joined #rdf-wg 18:30:44 Zakim has left #rdf-wg 18:41:24 mischat has joined #rdf-wg 19:27:05 swh has joined #rdf-wg