13:59:45 RRSAgent has joined #rdf-star 13:59:50 logging to https://www.w3.org/2024/10/04-rdf-star-irc 14:00:25 agenda: https://www.w3.org/events/meetings/6d0cd306-0be8-4267-865a-6272cc8d9da4/20241004T100000/ 14:00:26 clear agenda 14:00:26 agenda+ Map the annotation syntax to rdfs:states, starting from -> https://github.com/w3c/rdf-star-wg/issues/128 https://github.com/w3c/rdf-star-wg/issues/128 14:00:27 present+ 14:00:29 meeting: RDF-star Semantics TF 14:00:31 rrsagent, draft minutes 14:00:33 I have made the request to generate https://www.w3.org/2024/10/04-rdf-star-minutes.html TallTed 14:00:35 rrsagent, make logs public 14:01:49 previous meeting: https://www.w3.org/2024/10/03-rdf-star-minutes.html 14:01:51 next meeting: https://www.w3.org/2024/10/10-rdf-star-minutes.html 14:02:51 present+ 14:02:55 william_vw has joined #rdf-star 14:02:55 Souri has joined #rdf-star 14:03:02 present+ 14:03:04 present+ 14:03:26 gkellogg has joined #rdf-star 14:04:40 doerthe has joined #rdf-star 14:04:46 RRSAgent, draft minutes 14:04:47 I have made the request to generate https://www.w3.org/2024/10/04-rdf-star-minutes.html TallTed 14:05:08 present+ 14:07:06 pfps has joined #rdf-star 14:07:16 present+ 14:09:17 present+ 14:09:34 scribe: pchampin 14:09:40 present+ 14:09:51 present+ 14:10:07 chair: enrico 14:10:35 topic: Thomas' proposal on rdf:states 14:10:53 enrico has joined #rdf-star 14:10:57 present+ 14:11:11 RRSAgent, draft minutes 14:11:13 I have made the request to generate https://www.w3.org/2024/10/04-rdf-star-minutes.html TallTed 14:11:20 tl: sharing slides -> https://lists.w3.org/Archives/Public/public-rdf-star-wg/2024Oct/att-0018/states.pdf 14:12:43 tl: slide 4: discussing the intuitions about "unsasserted statements" 14:13:09 ... what's intuitive for logic is not for the real world 14:13:19 ... in PGs there is no such thing as unasserted assertions 14:13:51 q+ 14:14:30 ... slide 5: we could have a strong link between asserted statements and annotations, with a specific predicate rdf:states 14:14:34 niklasl has joined #rdf-star 14:14:51 present+ 14:15:16 slide 6: we have 3 primitives, one in N-Triples and two in Turtle; I think users should only use Turtle 14:15:25 s/slide 6/... slide 6 14:15:53 ... slide 7: discrepancy between the user-facing syntax and what's in the database 14:16:26 q+ to talk about the example slide 7 14:16:45 q+ to talk about the example on slide 7 14:16:54 ... this creates an ambiguity about whether or not Alice endorsed that statement 14:16:59 ... we don't want that 14:17:34 q+ to say "that doesn't say what Alice 'meant' anyway" 14:17:36 I'm completely lost by this argument. 14:18:02 ... slide 9: proposal: 2 different reification properties, one for the << ... >>, and one for the annotation syntax {| ... |} 14:18:31 "most of the SW is about facts" - note that this may be due to the fact that reification was underspecified / terrible until now 14:18:57 ... this would make round-tripping work, and would satisfy user's intuitions IMO. 14:19:55 ... slide 10: discuss the drawbacks of this proposal 14:20:30 enrico: in slide 10, 2nd bullet, I think you mean "union" instead of "join" 14:20:36 tl: you are probably right. 14:21:13 ... the fact that the annotation syntax was never challenged is telling. 14:21:45 ... So capturing the intent of the annotation syntax with rdf:states seems valuable. 14:22:17 slide 11: we need to make a decision now, as we are specifying the syntax now 14:23:33 q? 14:23:39 ... [something about vocabularies for propositions] 14:24:01 ack pfps 14:24:01 pfps, you wanted to talk about the example on slide 7 14:24:06 pfps: I find none this compelling. 14:24:33 ... You say it is not about propositional attitudes, but "says" in your example is a propositional attitude. 14:25:10 ... But then again it is not about prop. attitudes, because there is no relation between Alice's endorsement and the assertedness of the triple. 14:25:41 ... Roundtripping is a red herring; other syntactic shortcuts do not roundtrip either. 14:26:03 tl: w.r.t. propositional attitude, my 2nd example is not related to them. 14:26:16 pfps: the first example is, though. 14:26:25 the most common Turtle shorthand -- `:s a :p` -- doesn't roundtrip. it becomes `:s rdf:type :p` in a triple store. 14:27:09 https://www.w3.org/2024/08/16-rdf-star-minutes.html 14:27:16 ... and we have been over these arguments again and again. 14:27:17 https://www.w3.org/2024/08/02-rdf-star-minutes.html 14:27:24 ack pchampin 14:27:24 pchampin, you wanted to talk about the example slide 7 14:27:24 TallTed: this is a different presentation. 14:27:31 scribe+ 14:28:12 pchampin: In reverse order: In the last slide, you said we couldn't postpone it because of syntax discussions. But, nothing is final until REC. 14:28:42 q+ 14:28:59 ... Other arguments were stated by pfps. Using examples like "says" is a problem, as there are a lot of specific issues ... 14:29:32 ... The problem with "says", is that when someone says something, they endorse it. 14:29:46 q+ 14:30:16 ... We could use "quote" instead of "says". Then, I have no preconceived assumption about what they mean. 14:30:59 ... The assertedness tells you something about alice, but having multiple perspectives represented in a graph is fraught. 14:31:44 ... I consider that the round-tripping issue is not an issue. If the triple is endorsed by the author, it doesn't matter what non-authors say. 14:32:02 scribe- 14:32:13 ack niklasl 14:32:13 niklasl, you wanted to say "that doesn't say what Alice 'meant' anyway" 14:32:25 niklasl: that's basically what I thought as well. 14:32:26 :Foo :madeOf :Bar {| :rejectedBy :Alice |} {| :believedBy :Bob |} . # Invokes other "intuitions"? 14:32:57 ... maybe the example above helps. I wouldn't say this example is strange. 14:33:10 ... That's ok to state that alice rejects an asserted triple. 14:33:12 I feel strongly about maintaining independence (i.e., having no side-effects). Presence or absence of :s :p :o, the triple, in the graph, IMO, should be independent of the presence or absence of :r rdf:reifies <<( :s :p :o )>>. Anything one says about :r is about the triple-term <<( :s :p :o )>>, not about the :s :p :o triple, as far as RDF 14:33:12 semantics is concerned. Data creators can connect them if they want to. 14:33:25 ... I disagree with what you claim is a common intuition. 14:33:35 q? 14:33:43 I agree with this. 14:33:59 tl: Niklas, you model it the other way around, then you don't have a problem. 14:34:14 ... Of course we can educate the users to do it that way. 14:34:43 niklasl: the graph says what is true or not; if you want to model your interpretation process, you have to model it in the graph. 14:34:52 ack andys 14:34:53 q- 14:35:04 https://lists.w3.org/Archives/Public/public-rdf-star/2020Aug/0041.html -- Holger Knublauch 14:35:12 AndyS: one of the problems I see is: taking an existing use-case that has been discussed long enough, 14:35:26 ... and repurposing it for something different. 14:35:51 ... See link above, the annotation syntax was meant to allow people to write less. 14:35:59 ... You are questioning the utility of this. 14:36:29 ... I don't think that we can or should repurpose the annotation syntax. 14:36:33 q+ 14:37:00 ack souri 14:37:25 Souri: the more side effects we have, the more confusion it creates. 14:37:51 ... rdf:states would have imply the s p o in the triple term, I see that as a side effect. 14:38:27 ... For me, the triple S P O and :r rdf:reifies << S P O >> are independant as far as RDF is concern. 14:38:39 ... Even if users may chose to connect them. 14:39:09 q+ 14:39:13 q+ 14:39:31 enrico: I'm not sure what we are really discussing. 14:39:56 ack enrico 14:40:00 ... Is it rdf:states per se? Or whether there should be a shortcut for it? 14:40:09 q+ 14:40:35 "states" could be a syntactic shortcut (that would translate to some specific RDF). "rdf:states" would be an RDF predicate. 14:40:52 "states" akin to "a" 14:41:02 ... I don't see this would be confusing for authors, as most of them would not enable RDFS entailemnt. 14:41:31 s/"rdf:states" would/"rdfs:states" would/ 14:41:33 s/rdf:states/rdfs:states/g 14:41:52 tl: my proposal is to change the annotation syntactic sugar to use rdfs:states 14:42:58 ... the annotation syntax would create 2 triples, just like today, but use rdfs:states instead of rdf:reifies. 14:43:16 ... plus, rdfs:states only would entail the triple if it was not explicit 14:43:34 enrico: ok, so the macro would enforce the entailment provided by rdfs:states. 14:43:50 q+ 14:43:54 ack doerthe 14:43:55 ... So the question is whether people want this special thing. 14:44:10 doerthe: I have a similar question. I was not sure how you see rdfs:states. 14:44:43 ... enrico assumes that it would lead to some entailments, while my impression from your slide is that it would have no extra-semantics. 14:44:56 https://github.com/w3c/rdf-star-wg/issues/128 14:44:57 https://github.com/w3c/rdf-star-wg/issues/128 -> Issue 128 map the annotation syntax to `rdfs:states` (by rat10) [discuss-f2f] 14:45:21 ... We came here because you care about roundtripping the annotation syntax. 14:45:55 Since rdfs:states is not part of RDF1.2 -- whether it should be added to RDFS vocabulary as an extension or not is not for us to decide right now 14:45:58 tl: the issue above gives the complete mapping to N-Triples. 14:46:13 ... I acknowledge the problem you raise in the issue. 14:46:45 q? 14:46:52 q+ 14:47:15 ... Is it viable to tell peoplel to only use Turtle with the syntactic sugar, and only use triple terms if they really know what they are doing. 14:47:19 It would be "deleteable" *unless* RDFS entailment is used; if that is used, it would be "immutable" since the rdfs:states would imply it (*very* informally speaking). I see that as a potential problem. 14:47:53 doerthe: to be sure I understand, you want rdfs:states to entail the object triple term. 14:48:03 tl: you have to see it the other way, start with the annotation syntax. 14:48:14 doerthe: I would like to see it my way as well. 14:49:23 I agree with doerthe - the shorthands are syntactic sugar, no more 14:49:35 tl: the current annotation syntax maps to 2 triples; if you destroy one of them, and serialize it back to Turtle, you get only the << ... >> 14:49:49 ack pchampin 14:49:55 ... but yes, I would like RDFS entailment to entail the triple term back. 14:51:09 q+ 14:51:20 scribe+ 14:51:35 pchampin re-purposing the annotation syntax; becoming more than syntactic sugar 14:51:35 q+ 14:51:38 q- 14:52:09 pchampin when people write 2 things, they want both to stay together; that is the argument 14:52:17 pchampin: I find it adds complexity, and not convinced 14:53:07 pchampin: about educating users; the argument relies on a misunderstanding of stated triples; i.e., of how RDF works 14:53:24 pchampin: not convinced that it is part of people 14:53:29 ...'s intuition 14:53:49 pchampin: not opposed to having entailment for the original triple 14:53:54 scribe- 14:53:59 q+ 14:54:31 tl: I'm having trouble accepting AndyS's argument. I'm not taking away anything or repurposing anything. 14:54:32 qq+ 14:54:50 ... We didn't have the notion of reifier at the time. 14:55:48 q? 14:56:03 ... What I'm changing is how the annotation syntax is encoded, and ensure that with entailment, the intent of the annotation is preserved. 14:56:22 q+ 14:56:38 ... About "says", I provided another example, with theories. 14:56:40 q- 14:56:54 q- 14:57:40 ack tallted 14:57:41 ... There are drawbacks, but that's a small price to pay. 14:57:50 Here is my attempt to answer that question about opposing theories: https://gist.github.com/niklasl/f4a5dee1b991ff5a19a33360c6fd3078?permalink_comment_id=5172827#gistcomment-5172827 14:58:00 ... I agree that I'm repeating myself, if you all disagree, then so be it. 14:58:16 TallTed: there is a regular concern about complexity. RDF is complex even if it seems simple. 14:58:23 q+ 14:58:25 ... Few people get it right the first time. 14:58:47 ... That's ok, we can't remove all complexity from the world. 14:59:20 ... We need to decide whether we are designing syntactic sugar on Turtle (and other concrete syntaxes) or on the abstract syntax. 14:59:33 ... I think that abstract syntax is not a good idea. 15:00:12 ... Round-trippable is a red-herring. 15:00:36 ... Syntactic sugar is useful for putting things in, not be able to say "this is how things were written". 15:00:41 ... Inference is something different. 15:01:08 ... I can infer new things from what is explicitly stated. 15:02:24 ... Baking too much semantics in rdfs:states (or other predicates) will cause confusion. 15:02:35 ... Putting sugar is less problematic. 15:03:22 you are assuming semantics here... 15:03:22 ack andys 15:03:26 tl: slide 7 shows how you lose the info about who endorsed the triple. 15:03:28 pchampin: no! 15:03:51 AndyS: there is a difference between authoring data and accessing that data. 15:04:16 ... They happen at different types. Entailment is available when accessing. 15:04:50 ... What I think TallTed was getting at is: when you exchange database dumps today, 15:05:08 ... you exchange N-Triples or N-Quads, not Turtle, so you don't keep the sugar. 15:05:38 ... Finally, I don't believe that your examples are majority use-case, as you claim. 15:06:00 ... If you say "this triple has a source", it does not matter whether the triple is asserted or not. 15:06:11 ... You don't want the removal or adding of that triple to change the source. 15:06:33 ... That's the problem of requiring rdfs:states in one place, and not in another. 15:08:10 tl: this is a valid argument; but if you want more, you need to add it (and query it) all the time. 15:08:16 ack william_vw 15:09:25 william_vw: N-Triples is used to exchange data, it is the grount truth. Hiding it under the rug is not a good idea. 15:09:45 ... Forcing some well-formedness on it is not something we can handwave. 15:09:53 s/grount/ground/ 15:10:06 ... I think Pat Hayes once said "every RDF statements stands by itself" 15:10:21 s/by itself/on itself 15:10:58 ... Having a constraint that prevents rdfs:state to exist without the accompanying S P O goes against that. 15:11:43 ... In JS, you can add a semicolon at the end of a statement, but you don't have to. It is a matter of preference or policy. 15:11:46 q? 15:11:52 ... Should an editor or a linter add it if it's not there? 15:13:02 q+ 15:13:03 q+ 15:13:08 q- 15:13:30 ack niklasl 15:13:54 Can't I use three different reifiers to separate out what ALice thinks, what Bob thinks, and what Dan thinks. 15:14:51 tl: someone could use 3 combinations to encode different semantics (rdf:reifies, rdfs:states + asserted, rdfs:states without asserted) but that would be a hack 15:15:39 niklasl: I agree with pchampin that there is a mistake in your example, where you assign an intent to the use of annotations. 15:16:04 ... Not sure about propositional attitude. 15:16:26 ... I also agree with william_vw that you seem to try to link the meaning of 2 triples with rdfs:states. 15:17:24 ... I don't know how we can assess what the majority of users thinks, but in the group, most of us don't interpret it that way. 15:17:37 q+ 15:17:55 ... If you want to model that Alice endorses a triple, you can model that in your own vocabulary. 15:18:15 ... I would not say that RDF is complex. The interpretation is the complexity of it. 15:18:33 ... Coming back to your claim that in LPGs the edges exist; 15:18:46 ... they exist in the data, but there is no notion of assertion. 15:19:15 ... In LPGs, some edges have a property "certainty: 0.4", this does not assert the edge. 15:19:37 enrico: rescuing tl, I don't have an opinion about rdfs:states or the annotation syntax. 15:19:55 How does rdfs:states make anything shorter? 15:19:57 but that is not what was proposed, right? tl wanted two triples? 15:20:07 ... If the use-case is preventing to write two lines, rdfs:state is a way to do that. 15:20:49 same meaning <> round-trip 15:20:55 ... Round-trip: Turtle and N-Triples are completely round-tripable, as they have the very same meaning. 15:21:12 niklasl - but that is about syntax and not semantics 15:21:17 comments are also lost, and they *may* be semantically important to the humans involved 15:21:29 +1 TallTed 15:21:34 @doerthe look at the tl;dr in the issue linked above for the mapping 15:21:36 TallTed - sorry but I don't think that is what enrico meant 15:21:44 ... If you want to change the graph and want to retract a triple, and you wrote rdfs:states, 15:21:57 ... then you have to change it to rdf:reifies. You need to take seriously what you wrote. 15:22:37 @TallTed you can round-trip comments but they would be just as meaningless the first time 15:22:51 (regarding their machine-interpretable semantics) 15:23:14 q+ 15:23:16 Of course. In OWL you can even entail :spouse from an "N-ary" ;Marriage. 15:23:22 ... If I write A subClass B, B subClass C and A subClass C, even if I remove A subClass B, A subClass C remains because I stated it explicitly. 15:23:36 ack souri 15:23:50 william_vw -- if I load Turtle (which has comments) into an RDF store, and then dump that graph, I have lost the comments 15:24:12 @enrico I was talking about a well-formedness that is introduced by rdfs:states + assertion 15:24:12 Souri: I have a basic question: we are doing RDF. Why do we have to discuss RDFS, is it not out of scope? 15:24:28 s/load Turtle/load Turtle, NQuads, or NTriples/ 15:24:41 TallTed -- say I have a system that keeps comments and can roundtrip them, it doesn' 15:24:50 ... Second question: if Alice and Bob have different opinions about SPO, we can associate two different reifies to them, and both can go their way. 15:24:51 t matter; they are meaningless from the RDF perspective 15:25:15 they are purely syntax 15:25:21 "say I have a system that keeps comments and can roundtrip them" -- that's completely jumped the rails around RDF 15:25:58 Souri, RDFS *is* in our scope, see the charter 15:26:22 q? 15:26:34 enrico: RDFS semantics is defined in the same REC as RDF's semantics 15:26:55 Souri: wasn't RDFS defined after RDF, historically? 15:26:59 @TallTed - let me rephrase - the fact that comments are not translated into RDF means they are meaningless from a machine-interpretable semantics viewpoint 15:27:02 There is noone who "says" the graph. It's simply true (*if* you decide interpret it). That's the simplicity. What that implies is interpretation upon that. 15:27:06 enrico: no, they were created at the same time. 15:27:14 q+ 15:27:22 ack enrico 15:27:22 q- 15:27:48 ack william_vw 15:28:06 tl: if somebody writes N-Triples following the rules, they don't need entailment. 15:29:24 william_vw: to respond to enrico, what I meant with well-formedness: tl suggests that somebody writing rdfs:states in N-Triples should also write the asserted triple. 15:29:46 enrico: but with entailment, you don't *need* to add it. 15:30:12 q? 15:30:33 william_vw: yes, but we are talking about RDF. 15:30:41 Now you are discussing the two different questions at once? 15:30:43 ack andys 15:31:00 tl: this is similar to lists; you *can* write ill-formed lists, but that's not a good idea. 15:31:55 AndyS: if you have a lot of triples (more than memory), you would use restricted forms of Turtle, which would not necessarily preserve annotations or the rdfs:states. 15:32:35 william_vw: enrico, it is true that you can write OWL-entailed triples in RDF, but as far as RDF is concerned, they do not exist. 15:32:55 You can certainly write triples that use the OWL vocabulary in an RDF graph, and they then exist in the graph. 15:33:02 indeed, I think that tl and enrico's understanding differ here 15:33:25 s/they do not exist/they do not exist until you wrote them 15:34:35 enrico: to summarize: we have again discussed about rdfs:states, which is an orthogonal choice to have multiple reifiers. 15:35:14 RRSAgent, draft minutes 15:35:15 I have made the request to generate https://www.w3.org/2024/10/04-rdf-star-minutes.html TallTed 15:35:37 IMO, stay within RDF. And, rdf:reifies + (rdf:asserts property or rdf:ReificationProperty class) is sufficient. 15:36:04 ... The previous discussion about reification properties rules out rdfs:states. 15:36:15 AndyS: why? 15:36:26 @pfps - I meant the OWL inferences do not exist as far as RDF is concerned 15:36:27 I don't see that either. 15:36:39 Me neither. 15:37:01 Only if rdf:ReificationProperty is somehow owl:oneOf (rdf:reifiies) ... ? 15:37:11 RRSAgent, make minutes 15:37:12 I have made the request to generate https://www.w3.org/2024/10/04-rdf-star-minutes.html pchampin 15:37:51 ...adjourned... 15:50:03 gkellogg has joined #rdf-star 16:24:16 RRSAgent, draft minutes 16:24:18 I have made the request to generate https://www.w3.org/2024/10/04-rdf-star-minutes.html TallTed 16:24:24 gkellogg has joined #rdf-star 16:24:24 Zakim, bye 16:24:24 leaving. As of this point the attendees have been TallTed, tl, Souri, william_vw, doerthe, pfps, gkellogg, pchampin, AndyS, enrico, niklasl 16:24:24 Zakim has left #rdf-star 16:24:31 RRSAgent, bye 16:24:31 I see no action items