17:04:14 RRSAgent has joined #rdf-star 17:04:18 logging to https://www.w3.org/2023/11/16-rdf-star-irc 17:04:27 Enrico has joined #rdf-star 17:04:30 present+ 17:04:32 Souri_ has joined #rdf-star 17:04:33 present+ 17:04:35 present+ 17:04:36 present+ 17:04:37 present+ 17:04:37 present+ 17:04:41 chair+ 17:04:42 present+ 17:04:46 present+ 17:04:47 present+ 17:04:50 present+ 17:04:56 meeting: RDF-star WG biweekly meeting 17:05:00 present+ 17:05:02 agenda: https://www.w3.org/events/meetings/d45f4f0d-141c-440d-8fec-ef5842345ca2/20231102T120000/ 17:05:02 clear agenda 17:05:02 agenda+ Approval of minutes from the last two weeks: [1] 17:05:02 agenda+ Proposal for next week's discussion 17:05:02 agenda+ Review of open actions, available at [2] 17:05:02 agenda+ Review of pull requests, available at [3] 17:05:05 agenda+ Issue Triage, available at [4] 17:05:08 agenda+ Any Other Business (AOB), time permitting 17:05:08 present+ 17:05:22 agenda: https://www.w3.org/events/meetings/0a6aa6e3-635c-42c2-baba-938c76b6ef01/20231116T120000/ 17:05:22 TallTed, sorry, I did not recognize any agenda in https://www.w3.org/events/meetings/0a6aa6e3-635c-42c2-baba-938c76b6ef01/20231116T120000/ 17:05:22 only on irc 17:05:31 regrets: olaf 17:05:34 Zakim, clear agenda 17:05:34 agenda cleared 17:06:02 regrets: ktk 17:06:11 regrets: ktk 17:08:20 As Gregg, I remembered that this would be a 1 hour meeting, but not an hour spent on administrative stuff 17:09:46 https://github.com/w3c/rdf-star-wg/blob/main/docs/scribes.md 17:10:05 There is a link to it from the Github wiki 17:11:11 Actually, the scribe list was not updated since May 2023 17:12:16 scribe: AndyS 17:12:23 scribe: Tpt 17:12:52 ora: Intro 17:13:50 ... Questions and Observations slide 17:14:36 .. not required to "rubber stamp" the CG work 17:15:07 ora: set of decisions to make - not independent 17:15:28 ... challenge is to come up with the consistent set of choices 17:15:53 ... how much do we extend RDF semantics 17:16:08 ora: timescale 17:16:34 ... now, and for work after this WG 17:17:56 q? 17:18:04 present+ 17:18:22 q+ 17:18:25 q+ 17:18:59 It was always clear that we were not going to “rubber-stamp” the work of the CG, because we have a different group of participants now 17:19:46 gkellogg: Need to get abstract syntax right. 17:19:47 We have a set of decisions to make, many of which depend on one another (and are informed/influenced by use cases). Can we make a consistent selection of solutions/answers to these questions? 17:20:06 Can we finish our work in a finite amount of time? Can we reach consensus for an approach where we limit ourselves to some (“simple”) solution now, but make it possible for us (or others) to continue the work after this WG is done? 17:20:26 q+ 17:20:53 ack gkellogg 17:21:00 ... either reification or graphs 17:21:20 q+ 17:21:24 ... concrete syntax can be different ways 17:21:42 pfps has joined #rdf-star 17:21:49 ... somewhat different work to be done 17:22:41 ack fsasaki 17:22:45 ... "do the least harm" - start with changes to RDF concepts 17:23:16 fsasaki: charter scope is implement quoted triples 17:23:31 Enrico has joined #rdf-star 17:23:36 ... what is the implication of this on process? 17:23:44 Present+ 17:24:17 pchampin: all work falls under the charter 17:24:31 ... the CG work is input not final 17:24:50 ... graph terms is unclear as to whether in/out 17:25:18 ... triple terms may imply grapohs by some reading 17:25:52 ack tl 17:25:52 ... we would need to inform the members we are interpreting the charter in a particular way 17:25:59 s/grapohs/graphs/ 17:26:42 ThomasL: Reification and statement id is quite different 17:26:59 ... makes it a big difference 17:27:07 ack niklasl 17:27:58 niklasl: my approach is conservative conceptually with liberal concrete syntax 17:28:11 q+ 17:28:16 ... want simple as possible that does not upset the wider communities 17:28:37 ... inc those using RDF-star already 17:29:18 ... charter has "quoted" which I think implies opacity 17:30:45 ... in named graphs, there is no way to control the union default graph 17:31:30 ack ora 17:31:48 ora: nebulous community 17:32:43 ... in original spec work, reification was introduced very early in the text 17:33:04 q+ 17:33:19 q+ to note how similar reification is to collections, which are also unpopular 17:33:21 ... there is probably a community that relies on reification 17:34:07 ... why was it called "quoted"? lisp analogy - no interpretation. 17:34:30 q+ 17:34:34 ... so my interpretation is that it implies "not asserted" 17:34:50 ack niklasl 17:35:31 niklasl: something about tokens - describes a triple, not asserts it 17:35:55 ... named graphs have this capacity to quote 17:36:22 ... multiple interpretations 17:36:50 ... power in named graphs 17:38:41 ... problem is that want to use RDF 1.1 implementations 17:39:36 ack gkellogg 17:39:36 gkellogg, you wanted to note how similar reification is to collections, which are also unpopular 17:39:43 ora: different interpretations by different communities 17:40:32 gkellogg: there is a problem with changing URI named graphs - more usage 17:41:02 ... blank node can only refer to the graph 17:41:26 gkellogg: c.f. RDF collections (lists) -- unpopular 17:42:06 ... similar dilemma to if we wanted list as first class concepts 17:42:11 q+ 17:42:25 ... similar to quote triples as reifications 17:42:38 s/quote/quoted/ 17:43:13 ora: lists were from closed collections in OWL. 17:43:30 ack tl 17:43:38 q- 17:43:54 tl: lists got syntactic sugar. 17:44:45 ... quotation - embedded triples were asserted and this changed in the CG to support unasserted statements 17:44:50 q+ 17:45:25 ... requirement - unasserted triples is orthogonal to annotated statements 17:45:35 ... graph literals cover this 17:46:10 ... can use concrete syntax for different use cases 17:46:59 s/ThomasL:/tl:/ 17:47:14 ack niklasl 17:48:09 niklasl: my POV is that unasserted statements and annotated statements are close together 17:49:21 q+ 17:49:33 ... trusted and untrusted graphs 17:50:05 q? 17:50:18 tl: graph literals - queryable 17:50:48 ... need a marker to distinguish the two cases 17:51:02 ack ora 17:51:16 ora: interesting discussion 17:51:53 ... Q for today - is it possible to work on proposal 2 (CG work??) 17:52:10 ... which that the work on graphs can build on that 17:52:16 q+ 17:52:17 q+ 17:52:26 Enrico has joined #rdf-star 17:52:36 .. I think that is the way to go 17:52:44 ack AndyS 17:52:44 present+ 17:52:55 scribe+ 17:52:56 Can someone remind us, what option 2 was? :) 17:53:24 AndyS: There are two technical fundamental issues from option 2: we're much clearer on types vs tokens. 17:53:36 ... Any option will have to have both working within them. 17:54:04 q+ 17:54:08 ... It was always in the background that we might want to talk about graphs, and it's now become the "genie you can't put back in the bottle". 17:54:42 ... But, I don't think moving from quoted triples to quoted graphs is really that big a step; I don't see how it really changes the problem. 17:54:55 q+ 17:55:02 ack niklasl 17:55:04 scribe= 17:55:07 scribe- 17:55:30 niklasl: I think that "option 2" distracts from the right thing to do. 17:55:52 ... quoted triples as types are a problem - can be misused 17:56:27 q- 17:57:04 q+ 17:57:34 niklasl: name the graph vs name the occurrence 17:57:47 ack pchampin 17:57:50 ... option 2 will not help the important cases 17:58:27 Souri has joined #rdf-star 17:58:45 pchampin: quoted graphs are more complicated because need to look inside graphs to answer questions 17:59:32 q+ 17:59:40 present+ 18:00:05 ... to niklasl on numbers - seem to be counter to the fact numbers occur once in a graph 18:00:06 q+ 18:00:55 ... types can be useful 18:01:00 ack AndyS 18:01:24 AndyS: when we talk talk about option 2, what are we refering to 18:01:35 ora: I was referring to gregg's email 18:01:41 gregg's email: https://www.w3.org/mid/30203E2A-6941-44D2-92A1-9A9FD9E40C27@greggkellogg.net 18:02:43 AndyS: I am afraid you lost me about type. I did not quite followed. If you say we write the same pointy bracket syntax in different places of the graph and it means different terms, we have changed RDF fondamentally 18:03:01 ack tl 18:03:19 tl: idea - literal as the type 18:03:23 q+ 18:04:26 ... the problems Peter described and pchampin mentioned, subgraph containment. 18:05:26 ack niklasl 18:05:57 q+ 18:06:28 scribe: Tpt 18:06:33 q? 18:06:48 niklasl: I am not sure you understood me. I used 5 as an example because the use of it in a piece of paper is an occurence of 5 18:07:18 niklasl: If we say X is born in 1902 and somebody else too, those 2 occurences are what I am talking about 18:07:31 q+ 18:07:35 niklasl: I don't think we should go all that way to graph terms, it's out of the charter 18:07:55 niklasl: Named graphs being pairs of any term and a graph is very fine and the way it should be 18:09:25 niklasl: what the gaph is is application specific, it can be a file or just the graph itself 18:09:50 niklasl: I like RDF-star triples for annotations (what is the source...) 18:10:01 s/gaph/graph 18:10:11 ack doerthe 18:10:38 doerthe: niklasl: do you affirm we don't need graph terms at all? 18:11:22 doerthe: We can do quoted triples with literals, but we still want to query that, have a mechanism to query that. 18:11:31 q+ 18:11:50 doerthe: I don't think the logical consequence of the graph is a logician problem, in SPARQL we implement entailment and it affects results 18:12:00 ack AndyS 18:12:55 AndyS: I want to make an example. There are two occurences, they are triples about the same subject. You need to have a look inside of them. 18:13:29 ack niklasl 18:13:39 AndyS: To niklasl, other than your concern of working with RDF 1.1, would having query statement like "the node having an occurence of X" works for you? 18:13:50 q+ 18:15:09 niklasl: "yes" to rdf:occurenceOf example 18:15:19 q+ 18:16:30 ack tl 18:16:30 niklasl: I have no need for graph/triple term type, I would like to have more use cases. The proposal I made covers all the use cases I have seen 18:17:00 q+ 18:17:01 tl: The problem with type is that it's early optimization. 18:17:08 q+ 18:17:24 tl: As soon as you have two facts "bob said X on monday", you need an identifier 18:18:17 ack pchampin 18:18:25 tl: as soon as you get into metamodeling it creates problem 18:19:15 pchampin: reaction to tl: in the CG the choice to make quoted triples type is not an optimization but as you pointed out forcing that all triples have an identifier is standard reification 18:19:32 pchampin: if RDF-star has been so popular is because of its simplicity 18:19:43 pchampin: but we are not bounded by the CG 18:20:47 q+ 18:21:00 pchampin: to niklasl you consider term in subject and object position to work differently. I have an issue with that. I don't avocate to change that. But the semantic does not care about this distrinction. Am I wrong that you make this strong distinction? 18:21:15 ack niklasl 18:22:15 niklasl: Yes and no, I uses inverse all the time, there is no real difference between subject and object. Literals are fine to have them as subject but it's quite easy to missuse as subject. You would end up with JSON in RDF 18:23:18 niklasl: One of my problem with triple terms is that they change the semantics. I have to see if the value of adding them outweights the complexity 18:23:35 niklasl: The usecase is the measurement I have used to know this more confidently 18:23:52 niklasl: It's easy to do wrong when we have them 18:24:01 ack AndyS 18:24:46 AndyS: I thought we were going to do something difference. I want to hear about the proposal and what they are going to change. 18:25:30 AndyS: We need to get a little bit more working on what the core principals are and spend time discussing how we move forward. I don't feel we have moved forward in any way 18:26:01 ora: Rather than saying what is the proposal you support we might answer instead to what are we willing to live with 18:26:17 q+ 18:26:20 ora: I am not entierly sure how to make progress 18:26:50 q- 18:27:06 ora: do we need to be more clear about what the possible way forward are? 18:27:39 I will also have to leave 18:27:45 ora: Do we need to check at compatibility to see what people can live with 18:27:45 Bye 18:28:05 ack niklasl 18:28:12 q+ 18:28:16 niklasl: We were talking about proposal 2 and I wanted to know how many people can live without triple terms 18:28:17 q+ 18:28:35 q+ to suggest to rephrase "can live without triple terms" into "cal live without extending the abstract syntax" 18:28:35 q+ 18:28:50 ack gkellogg 18:29:10 gkellogg: The minimum we can do is to do nothing, we do not harm 18:29:46 gkellogg: But we push the problem into the realm of syntax. I believe it's what peter was higlighting. We leverage the concepts we have and we do thing at the syntax level 18:30:02 gkellogg: For example, it works with list even if they are a pain to query 18:30:21 ack tl 18:30:29 gkellogg: I don't think we need to go that if we bridge the gap about what a graph name means in subject and object 18:30:33 q- 18:31:54 tl: Our problem is very complicated: metamodeling in RDF. RDF-star puts a lot of strings on users. 18:32:30 ack pchampin 18:32:30 pchampin, you wanted to suggest to rephrase "can live without triple terms" into "cal live without extending the abstract syntax" 18:32:35 tl: I made a proposal that changes a very few things but I think it brings a lot. I would appreciate feedback and comments 18:32:43 q+ 18:33:24 pchampin: I was wondering if the spirit is more about living without triple terms in the abstract syntax rather leaving it untouched. Then there are the option of having graph and triple terms 18:33:37 ack niklasl 18:33:47 q+ 18:34:37 niklasl: That's a good point. I don't think triple terms are possible without type. It's why I am suggesting annotation only. 18:35:42 ack AndyS 18:36:12 AndyS: I cannot square we are not changing the abstract syntax if we are introducing occurences as a first class object 18:36:24 q+ 18:36:24 q+ 18:36:55 AndyS: It opens a question about replacement of blank node by uris 18:37:13 ack niklasl 18:37:49 q+ 18:37:59 niklasl: every example I use serialize as nquads and the denotation is the same 18:38:11 q- 18:38:18 AndyS: In this case, what about you write a document that describes how to do annotations in RDF 1.1 18:39:13 ack TallTed 18:39:16 q+ 18:40:05 TallTed: niklasl: in terms of teaching RDF, you are teaching language, grammar. When teaching RDF concepts it does not matter that subject is restricted to not a literal, it's refinement 18:40:32 TallTed: RDF is at base a system of describing anything in statements of triples 18:41:03 TallTed: When the 4th column was added it was named "context" and not given a definition 18:41:12 q+ 18:41:17 TallTed: because people had different ideas of how to names them 18:41:42 TallTed: lots of people are using it as other than a named graph even if it's the most common usage 18:42:13 TallTed: Using it as named graph with a firm definition, we are going ahead of ourselves 18:42:36 https://www.w3.org/TR/rdf11-concepts/#section-dataset 18:42:50 An RDF dataset is a collection of RDF graphs, and comprises: 18:42:50 Exactly one default graph, being an RDF graph. The default graph does not have a name and may be empty. 18:42:50 Zero or more named graphs. Each named graph is a pair consisting of an IRI or a blank node (the graph name), and an RDF graph. Graph names are unique within an RDF dataset. 18:42:53 TallTed: our challenge is to make our changes as small as possible while still archiving what we need 18:43:29 TallTed: Something that does not exactly exists. Quad are not necessary, they are a sugar that disrupt the purity of the triples 18:44:04 TallTed: Getting all of this stuff to work right requires to satisfy not only the new use cases but the old one 18:44:05 gkellogg, I think what TallTed is saying is that people are putting more "meaning" in the term "named graph" than what the spec says 18:44:15 TallTed: and apply on the existing systems 18:44:38 TallTed: I am afraid of the logical purity will distrupt people who use RDF today 18:45:18 TallTed: We have competing goals. There was a people that people liked that was about briding RDF and property graph 18:45:20 pchampin, yes, I agree. My thought in 1.2 is that we should be able to talk about named graphs, or rather the graphs which are named by that pair. 18:45:30 q+ 18:45:34 TallTed: It turned out what we wanted is something to annotate and quote 18:46:02 TallTed: The annotation is talking about something asserted and quoting is about something not asserted 18:47:02 TallTed: Describing bridges between RDF and property graph is more important than solving them 18:47:39 TallTed: We can't make veryone happy but we can deliver an improvement 18:47:54 TallTed: RDF built on reification is hugly and nobody things that way 18:48:11 ack niklasl 18:48:28 +1 to making most people mostly happy; hence the importance of "can you live with it?" questions 18:49:10 q+ 18:49:12 niklasl: I agree with that. Reification is explicitely talking about the token. The thing I propose uses only what is in RDF 18:49:37 s/built on reification is hugly and nobody things/built-in reification is ugly and nobody thinks/ 18:50:22 ack AndyS 18:50:45 AndyS: I heard TallTed say to respect what is already out there and using named graph in a specific way is not respecting what is out there 18:51:09 niklasl you are implying a specific relation between the graph and its name 18:51:15 gkellogg has joined #rdf-star 18:51:50 AndyS: Currently we have a pair (graph, graph name) that has no defined relation between them 18:52:08 q- 18:52:17 ack tl 18:52:37 q+ 18:54:16 AndyS: I have asked on all proposal how they work on the abstract syntax level. I have not had answers. 18:54:16 tl: I have made a lot of work in my semantic proposal such that it does not interract to much with existing named graphs 18:55:06 tl: ...usages. You can nest named graph in some totally application specific named graphs 18:55:54 ack ora 18:56:18 ora: I would need a lot of thinking on who to move forward 18:56:34 ora: to tl I need to understand about how his proposal interacts with SPARQL 18:56:54 ora: I agree with TallTed, the situation is exactly as you describe 18:57:17 ora: We need to answer what are the question we are trying to answer and find a consistent set of answers 18:57:43 ora: And leave things such that things that people argue are outside the charter can still be possible 18:57:50 ora: such that we don't close doors 18:58:19 ora: I urge people to think about the things they can and they can not live with 18:58:41 +1 to that :) 18:58:48 ora: I think it would be worthwile for everyone to think about what TallTed said 18:59:08 ora: I propose we are adjourned. 18:59:25 ora: we decided no meeting next week because of Thanksgiving 18:59:40 pchampin: next meeting will be a short meeting 18:59:50 ora: ...in two weeks 19:00:09 ora: I urge people to continue talking on the mailing list 19:00:30 ora: Happy thanksgiving, I feel very grateful for this group 19:00:58 rrsagent, draft minutes 19:01:00 I have made the request to generate https://www.w3.org/2023/11/16-rdf-star-minutes.html Tpt 19:01:30 gkellogg has joined #rdf-star 19:02:39 RRSAgent, make public 19:02:39 I'm logging. I don't understand 'make public', Tpt. Try /msg RRSAgent help 19:03:35 s/archiving what we need/achieving what we need/ 19:04:05 s/requires to satisfy/requires that we satisfy/ 19:04:32 RRSAgent, make minutes public 19:04:32 I'm logging. I don't understand 'make minutes public', pchampin. Try /msg RRSAgent help 19:04:47 s/people that people liked that was about briding RDF/paper that people liked that was about bridging RDF/ 19:05:12 RRSAgent, make logs public 19:05:14 s/more important than solving them/more important than building them/ 19:06:09 RRSAgent, draft minutes 19:06:10 I have made the request to generate https://www.w3.org/2023/11/16-rdf-star-minutes.html TallTed 19:06:56 i/ora: Intro/scribe: andys/ 19:07:00 RRSAgent, draft minutes 19:07:01 I have made the request to generate https://www.w3.org/2023/11/16-rdf-star-minutes.html TallTed 19:09:20 previous meeting: https://www.w3.org/2023/11/02-rdf-star-minutes.html 19:09:32 next meeting: https://www.w3.org/2023/11/30-rdf-star-minutes.html 19:09:37 RRSAgent, make minutes 19:09:38 I have made the request to generate https://www.w3.org/2023/11/16-rdf-star-minutes.html pchampin 19:40:39 gkellogg has joined #rdf-star 20:04:42 gkellogg has joined #rdf-star 20:19:44 gkellogg has joined #rdf-star 20:38:58 gkellogg has joined #rdf-star 21:11:49 gkellogg has joined #rdf-star 21:14:13 gkellogg has joined #rdf-star 21:42:52 gkellogg has joined #rdf-star 22:18:22 gkellogg has joined #rdf-star 23:13:16 gkellogg has joined #rdf-star 23:31:00 gkellogg has joined #rdf-star 23:53:27 gkellogg has joined #rdf-star present+ eBremer