15:58:04 RRSAgent has joined #rdf-star 15:58:08 logging to https://www.w3.org/2024/08/29-rdf-star-irc 15:58:24 meeting: RDF-star WG biweekly meeting 15:58:32 RRSAgent, draft minutes 15:58:33 I have made the request to generate https://www.w3.org/2024/08/29-rdf-star-minutes.html TallTed 15:58:36 RRSAgent, make logs public 15:58:59 Dominik_T has joined #rdf-star 15:59:03 previous meeting: https://www.w3.org/2024/08/23-rdf-star-minutes.html 15:59:03 next meeting: https://www.w3.org/2024/08/30-rdf-star-minutes.html 15:59:15 olaf has joined #rdf-star 15:59:24 agenda: https://www.w3.org/events/meetings/348e384e-2c0d-4c88-bb5c-5ddddf93ef4d/20240829T120000/ 15:59:24 enrico has joined #rdf-star 15:59:24 clear agenda 15:59:24 agenda+ Approval of minutes from the last two meetings: -> 1 https://www.w3.org/2024/08/15-rdf-star-minutes.html , -> 2 https://www.w3.org/2024/08/22-rdf-star-minutes.html 15:59:24 agenda+ Proposed resultion by Semantics TF -> 3 https://www.w3.org/2024/08/23-rdf-star-minutes.html 15:59:25 agenda+ Proposal for next week's discussion 15:59:30 agenda+ Review of pull requests, available at -> 4 https://github.com/orgs/w3c/projects/20/views/4 15:59:31 agenda+ Issue Triage, available at -> 5 https://github.com/orgs/w3c/projects/20/views/5 15:59:34 agenda+ Any Other Business (AOB), time permitting 15:59:34 present+ 15:59:45 present+ 15:59:45 present+ 15:59:50 niklasl has joined #rdf-star 16:00:02 present+ 16:00:06 present+ 16:00:23 present+ 16:00:26 present+ 16:00:44 present+ 16:00:46 gkellogg has joined #rdf-star 16:00:55 william_vw has joined #rdf-star 16:01:19 present+ 16:01:22 scribe+ 16:01:36 present+ 16:01:41 RRSAgent, draft minutes 16:01:42 I have made the request to generate https://www.w3.org/2024/08/29-rdf-star-minutes.html TallTed 16:01:53 zakim, agenda? 16:01:53 I see 6 items remaining on the agenda: 16:01:54 1. Approval of minutes from the last two meetings: -> 1 https://www.w3.org/2024/08/15-rdf-star-minutes.html , -> 2 https://www.w3.org/2024/08/22-rdf-star-minutes.html [from 16:01:54 ... agendabot] 16:01:54 2. Proposed resultion by Semantics TF -> 3 https://www.w3.org/2024/08/23-rdf-star-minutes.html [from agendabot] 16:01:54 3. Proposal for next week's discussion [from agendabot] 16:01:58 4. Review of pull requests, available at -> 4 https://github.com/orgs/w3c/projects/20/views/4 [from agendabot] 16:01:58 5. Issue Triage, available at -> 5 https://github.com/orgs/w3c/projects/20/views/5 [from agendabot] 16:01:58 6. Any Other Business (AOB), time permitting [from agendabot] 16:02:23 present+ 16:02:46 ora has joined #rdf-star 16:02:51 pfps has joined #rdf-star 16:02:54 zakim, next agendum 16:02:54 agendum 1 -- Approval of minutes from the last two meetings: -> 1 https://www.w3.org/2024/08/15-rdf-star-minutes.html , -> 2 https://www.w3.org/2024/08/22-rdf-star-minutes.html -- 16:02:57 ... taken up [from agendabot] 16:03:01 present+ 16:03:24 present+ 16:03:34 Adrian has joined #rdf-star 16:03:42 Present+ 16:03:45 ora: Approval of minutes 16:04:04 present+ 16:04:07 q? 16:04:23 Adrian has joined #rdf-star 16:04:35 PROPOSAL: Approve last two weeks' minutes 16:04:39 +1 16:04:39 +1 16:04:40 +1 16:04:41 +1 16:04:41 +1 16:04:42 +1 16:04:42 +1 16:04:42 +1 16:04:43 fsasaki has joined #rdf-star 16:04:43 +1 16:04:43 +1 16:04:46 +1 16:04:47 +1 16:04:49 +1 16:04:53 +1 16:04:55 +1 16:04:58 +1 16:05:03 present+ 16:05:11 RESOLVED: Approve last two weeks' minutes 16:05:15 zakim, next item 16:05:15 agendum 2 -- Proposed resultion by Semantics TF -> 3 https://www.w3.org/2024/08/23-rdf-star-minutes.html -- taken up [from agendabot] 16:05:24 rubensworks has joined #rdf-star 16:05:27 Souri has joined #rdf-star 16:05:33 present+ 16:05:36 present+ 16:06:13 enrico: There was a proposal to simplify the well-formed fragment so that it is not needed. 16:07:02 ... Whenever there is a triple who's object is a triple term the semantics say that the predicate is of type rdf:ReificationProperty. 16:07:56 ... This makes the system flexible, as in Turtle there is a short-cut to introduce a reifier with a triple term without mentioning the predicate, so there will be an rdf:reifies predicate coming from that expansion. 16:08:09 https://github.com/w3c/rdf-star-wg/wiki/RDF-star-%22alternative-baseline%22 16:08:15 ... I fixed the semantics baseline to deal with thils. 16:08:19 q+ 16:08:42 ack ora 16:08:44 ... The new version of the baseline gets rid of the well-formed semantics. 16:08:45 Adrian has joined #rdf-star 16:08:56 q+ 16:09:02 ora: What does this buy us. And, what are the downsides of this? 16:09:08 ack ora 16:09:10 ack enrico 16:09:24 enrico: It means we don't need a well-formed syntax; you can write whatever you want. 16:09:39 ... It also introduces the notion that triple terms only make sense in the object position. 16:10:07 ... It maintains the "do whatever you want" philosophy of RDF, although it will have some meaning. 16:10:41 ora: If I use something which is not a property, I get nonsense. 16:10:59 enrico: You get a warning, as among the entailed triples you get something that does not sound correct.e 16:11:29 ... This is typical with reasoning. You might derive something from your knowledge that is wrong, which means you need to go back and fix it. 16:11:56 ... The entailment is interesting when you ask why something is an interest of rdf:ReificationProperty. 16:12:05 q+ 16:12:13 ack ora 16:12:24 ... The idea is that people will just use the short-cut, so it will always make sense. 16:12:39 ora: Should we add something saying that implementations are free to warn the user. 16:12:51 enrico: It's an entailment, so you assume that users mean what they say. 16:13:22 ora: This is in line with our earlier thinking; if you do something that's not okay you get something out which is not okay. 16:13:38 q? 16:14:06 Any IRI used as the predicate of a triple whose object is a triple term denotes an instance of the denotation of rdf:ReificationProperty. 16:14:19 enrico: This is what we voted on last Friday. 16:14:24 q+ 16:14:43 ack william_vw 16:15:00 william_vw: Is ReificationProperty a sub-property of rdf:Property? 16:15:16 enrico: Yes. The modeling parts are discussed at the end. 16:15:47 Remember that subclass and subproperty in RDF need to be stated - they never arise because of subset relationships 16:16:27 william_vw: I was talking with Doerte and she made the point that you can always infer that any object of ReificationProperty, as it is a sub-property of rdf:Property, you can infer that a property :x is used in a triple with a triple term. 16:16:39 q+ 16:16:57 enrico: We may have something to fix. 16:17:04 ... In principle, this should not happen. 16:17:29 ora: Do you want to fix this before we vote on it? 16:17:35 enrico: I'll let you know. 16:17:50 ack pchampin 16:18:10 pchampin: I may be misunderstanding, but I don't think that issue ... 16:18:33 ... My understand that ReificationPropery is a sub-class of rdf:Property. Not a sub-property of anything. 16:18:54 q+ 16:19:03 ... There may be a question if every reification property is a sub-property of rdf:refies, but not necessarily. 16:19:18 s/that issue/there is an issue/ 16:19:19 ack enrico 16:19:28 ... That doesn't man that the presense of a property used with a triple term would entail some other property. 16:19:55 enrico: In RDF simple entailment, we use classes and instances of classes. This does not say anything about sub-properties. 16:19:59 +1 rdf:ReificationProperty rdfs:subClassOf rdf:Property . 16:20:26 william_vw: But, it's not the case that everything needs to be a sub-property of rdf:Property? 16:20:52 q+ 16:21:00 enrico: :s :p <<(...))>>> does not imply :p a sub-property of rdf:refies. 16:21:10 ack niklasl 16:21:25 william_vw: I thought that everything in the property position can be inferred to be a sub-class of rdf:Property. 16:21:26 I think that William confuses rdf:Propety with owl:topObjectProperty / owl:DataProperty 16:21:41 niklasl: OWL has some other things, but RDF is simpler. 16:21:52 Would this be allowed in a graph? ==> :x :firstName "John" . :y :firstName <<( :s :p :o )>> . (I hope not.) 16:21:53 q+ 16:22:13 ack gtw 16:22:16 gtw: What is the value of having this ReificationProperty? 16:22:41 ... The sematantics seem to say it is entailed, but what do we get from that? 16:22:47 https://www.w3.org/TR/2014/REC-rdf-schema-20140225/#ch_property 16:22:53 enrico: You don't get anything, but it suggests that such a property is a ReificationProperty. 16:22:58 gtw: Why do it then? 16:23:09 ... If it doesn't mean anything. 16:23:29 enrico: All of these entailments don't mean anything, but they help with understanding the model. 16:23:36 ... It helps you to debug your graph. 16:23:45 Do we have an explicit draft proposal, of the thing that we might be voting on? That might help this discussion... 16:23:59 enrico: rdf:Resource is also pointless. 16:24:14 s/rdf:Resource/rdfs:Resource 16:24:18 gtw: We're not discussing changing those things, but I don't see the value of adding this if we think it's pointless. 16:24:27 rdf-semantics -- """rdfD2 xxx aaa yyy . aaa rdf:type rdf:Property .""" 16:24:35 q+ 16:24:38 enrico: It does not enrich your graph semantically, but allows you to see the entailments. 16:24:58 gtw: It's not saying that everything in the domain is a triple term. 16:25:29 enrico: It's like entailment, if you compute some entailments, that are also pointless, as they are of necessity already true. 16:25:50 ... This allows you to increase your trust in the graph. If you see something clearly false, you have something to fix. 16:26:17 ... Entailment is pointless, because it is already true. But, when you see it you learn something about your data. 16:26:33 ack tl 16:26:37 ora: This matches my experience. It's helpful when building tooling. 16:27:10 q+ 16:27:11 tl: I understood this as a guide. You can define properties with other capabilities, but this is really just documentation 16:27:17 ack william_vw 16:27:35 william_vw: I think Souri had some reservations that I asked to be clarified. 16:27:45 s/with other capabilities/with more specific capabilities 16:27:45 q+ to ask Would this be allowed in a graph? ==> :x :firstName "John" . :y :firstName <<( :s :p :o )>> . (I hope not.) 16:27:51 ack Souri 16:27:51 Souri, you wanted to ask Would this be allowed in a graph? ==> :x :firstName "John" . :y :firstName <<( :s :p :o )>> . (I hope not.) 16:27:51 ... It would be more difficult to implement, and would lead to users messing up their data. 16:28:28 Souri: The original idea was to be minimal; we get a triple term who's only value is to define a reifier to talk about the triple term. 16:28:54 ... When you see rdf:reifies, expect a triple term. That worked well from a minimalist point of view. 16:29:46 ... when we introduce ReificationProperty, we shouldn't allow things that aren't aligned with the intention of ReificationProperty. 16:30:06 ... Are we going to allow this, or not? 16:30:31 ... I don't want to allow mixed use of Triple Terms. 16:31:02 ... I see :firstName :John, and later <<(...)>>, it introduces a problem. 16:31:32 ... If we allow any property to used, then by virtue of RDF Entailment, this causes a conflict. 16:31:48 q? 16:31:49 q+ 16:32:00 ... I'm not sure we need to bring in the ReificationProperty, we only need rdf:reifies. 16:32:15 ack enrico 16:32:18 ... I'm not sure what we're getting out of it other than to find inconsistencies. 16:32:44 q+ 16:32:49 enrico: It would be more complex to impose such a restriction. 16:32:55 q+ 16:32:55 Souri has joined #rdf-star 16:33:09 ... Triple Terms can't appear elsewhere, so you need to defined a well-formed syntax. 16:33:39 q+ 16:33:42 ... It's not obvious that having an enforced syntax is simpler than using the entailments to flag misuse. 16:33:51 ack tl 16:34:19 q+ 16:34:27 q+ to mention that RDF 1.0-style reification will make any restriction on rdf:reificationProperty difficult due to rdf:object 16:34:35 tl: I think it's necessary to define an extension point for triple terms and rdf:reifies. If the group doesn't support asserts/states, then I would be in favor of the ReificationProperty. 16:35:03 ... I am for prohibiting triple terms in the subject position, but not for other hard restrictions. 16:35:05 ack pchampin 16:35:36 pchampin: Souri's concerns reminds me of another discrepancy: that with literals. 16:36:05 ... Some implementations recognize xsd:integer and will reject literals that are invalid. 16:36:18 ... But, the abstract data model allows them to be stated. 16:36:38 ... The same can occur with ReificationProperty. 16:37:06 ... We already use this type of flexibility unconsciously; the reasoning holds here too. 16:37:28 ... By not insisting on well-formedness this allows some implementations to be more strict. 16:37:43 ack Souri 16:37:46 ora: Not quite ready to vote on now. 16:38:06 Souri: My phylosophy is that if you give people too much freedom, they will mess up. 16:38:23 ... People will try to do things that don't make sense. 16:38:45 ... Unless there is a substantial benefit, it may be better to not allow it to be stated. 16:39:04 ... If we have rdf:reifies, we can do anything with the reifier, including to give it a type. 16:39:21 ... The rdf:reifies hook gives us the ability ... 16:39:31 ack fsasaki 16:39:41 ack gtw 16:39:41 gtw, you wanted to mention that RDF 1.0-style reification will make any restriction on rdf:reificationProperty difficult due to rdf:object 16:39:43 fsasaki: I agree with Souri 16:40:06 gtw: In RDF 1.0 reification, it would be hard to do these sorts of restrictions. 16:40:29 ... I don't see the value in ReificationProperty. 16:41:04 ... It would be unfortunate if we got to the point where we said it was okay to violate such restrictions. 16:41:09 Please, please, can the agenda (and mailing list) include explicit text of proposal(s) on which we aim to vote? A link to a complete page of meeting minutes doesn't help advance prep much if at all. 16:41:32 ora: People should think about this. 16:41:35 zakim, next item 16:41:35 agendum 3 -- Proposal for next week's discussion -- taken up [from agendabot] 16:41:56 q+ 16:41:58 q+ 16:42:01 ack tl 16:42:01 ora: Anything else to discuss next week? 16:42:11 tl: I'd like to discuss rdf:stated/asserted. 16:42:16 ack AndyS 16:42:29 q+ 16:42:41 Is there anything we need to do for TPAC? 16:43:08 ack enrico 16:43:14 ora: Another good discussion for next week; what do we want to accomplish at TPAC? 16:43:36 s/rdf:stated/rdf:states 16:43:43 enrico: Another thing related to ReificationProperty is the unrestricted nature of RDF, and if triple terms should be restricted from being used in the subject position. 16:43:55 s/rdf:asserted/rdf:asserts 16:44:35 ora: We can continue with today's discussion and get into some of these other issues. 16:45:08 q+ 16:45:12 ack niklasl 16:45:13 ... I don't think we need to vote on these, as they are clear discussion topics. 16:45:36 niklasl: I think the detail about naming the range of rdf:reifies is baked into the discussion. 16:45:46 zakim, next ite 16:45:46 I don't understand 'next ite', gkellogg 16:45:50 zakim, next item 16:45:50 agendum 4 -- Review of pull requests, available at -> 4 https://github.com/orgs/w3c/projects/20/views/4 -- taken up [from agendabot] 16:46:23 ora: There are several editorial things. 16:46:26 q+ 16:46:32 niklasl has joined #rdf-star 16:46:35 ... It would be nice if we could see how long things have been open. 16:46:39 q+ 16:47:01 ack AndyS 16:47:08 RRSAgent, draft minutes 16:47:09 I have made the request to generate https://www.w3.org/2024/08/29-rdf-star-minutes.html TallTed 16:47:35 ack rubensworks 16:47:48 gkellogg: plan to merge w3c/rdf-turtle#62 after the meeting. 16:47:49 https://github.com/w3c/rdf-turtle/pull/62 -> Pull Request 62 Add processor state, term constructor, and triple constructors. Change reifiedTriple to reifingTriple. (by gkellogg) [spec:editorial] 16:48:03 rubensworks: It's 4, 5, and 6 are all the same and has good agreement. 16:48:28 ... There are several about migrating from quoted triples to triple terms/reifiers which have good reviews. 16:48:37 ... I think they can all be merged. 16:48:46 ... Including Andy's update to the SPARQL grammar. 16:49:29 ora: No objections heard. General agreement that all open PRs can be merged. 16:49:39 s|4|https://github.com/w3c/sparql-protocol/pull/28 16:49:51 s|5|https://github.com/w3c/sparql-update/pull/40 16:49:52 AndyS: I think it's important to get the grammar in. 16:50:22 gkellogg: I think w3c/rdf-tests#135 needs to be merged. 16:50:22 https://github.com/w3c/rdf-tests/pull/135 -> Pull Request 135 Updates Turtle tests to use triple term syntax and reifications (by gkellogg) [enhancement] [Turtle] 16:50:31 s|and 6|and https://github.com/w3c/sparql-service-description/pull/27 16:50:43 RRSAgent, draft minutes 16:50:44 I have made the request to generate https://www.w3.org/2024/08/29-rdf-star-minutes.html pchampin 16:50:50 AndyS: It's a bit more complex. It depends on what the expectations are. 16:51:37 gkellogg: I'd rather merge sooner rather than later. 16:51:52 Chair: ora 16:51:58 AndyS: I wanted to point out that people may not have implementations ready to do good validation. 16:52:05 q? 16:52:06 ora: I agree, lets merge. 16:52:25 zakim, next item 16:52:25 agendum 5 -- Issue Triage, available at -> 5 https://github.com/orgs/w3c/projects/20/views/5 -- taken up [from agendabot] 16:52:56 ora: we're almost out of time, but I urge people to examine open issues to see what they may want to work on. 16:53:02 Q+ 16:53:22 ... We can pick up some of these items in due course, maybe at TPAC. 16:53:29 ack Adrian 16:53:48 ktk: I think we want to spend some time together to go through the lists. 16:54:08 zakim, next item 16:54:08 agendum 6 -- Any Other Business (AOB), time permitting -- taken up [from agendabot] 16:54:25 ktk: we have a couple of new members, although they're not on the call. 16:54:47 q+ 16:54:58 ack pchampin 16:55:27 pchampin: University of Oxford joined with Ian Horricks. 16:55:52 ora: Oxford Semantics was just acquired by Samsung. 16:56:18 s/Horricks/Horrocks 16:56:25 Adrian has joined #rdf-star 16:56:58 Julian: [introductory comments] 16:57:02 ora: Welcome! 16:57:28 yes, Samsung is W3C member -- https://www.w3.org/membership/list/?initial=s&ecosystem=network-communications 16:57:44 RRSAgent, draft minutes 16:57:45 I have made the request to generate https://www.w3.org/2024/08/29-rdf-star-minutes.html pchampin 16:58:05 TallTed: It would be helpful if we could have explicit proposals for what we're voting on, not pointers to discussions. 16:58:25 zakim, end meeting. 16:58:25 As of this point the attendees have been enrico, Dominik_T, TallTed, tl, eBremer, rubenswo_, niklasl, gtw, gkellogg, olaf, AndyS, pfps, ora, Adrian, william_vw, fsasaki, Souri, 16:58:25 RRSAgent, draft minutes 16:58:26 I have made the request to generate https://www.w3.org/2024/08/29-rdf-star-minutes.html TallTed 16:58:32 ... rubensworks 16:58:32 RRSAgent, please draft minutes 16:58:33 I have made the request to generate https://www.w3.org/2024/08/29-rdf-star-minutes.html Zakim 16:58:38 I am happy to have been of service, gkellogg; please remember to excuse RRSAgent. Goodbye 16:58:38 Zakim has left #rdf-star 17:01:42 s|https://github.com/w3c/sparql-protocol/pull/28,|https://github.com/w3c/sparql-protocol/pull/28 , 17:01:53 s|https://github.com/w3c/sparql-update/pull/40,|https://github.com/w3c/sparql-update/pull/40 , 17:01:55 RRSAgent, draft minutes 17:01:56 I have made the request to generate https://www.w3.org/2024/08/29-rdf-star-minutes.html pchampin 17:04:43 s|rubensworks: It's|rubensworks: 17:04:45 RRSAgent, draft minutes 17:04:46 I have made the request to generate https://www.w3.org/2024/08/29-rdf-star-minutes.html pchampin 17:06:08 s|[introductory comments]|I'm a PhD student at Universidad Politécnica de Madrid. I have already worked with RDF-star. 17:06:09 RRSAgent, draft minutes 17:06:10 I have made the request to generate https://www.w3.org/2024/08/29-rdf-star-minutes.html pchampin 17:19:01 gkellogg_ has joined #rdf-star 18:23:18 william_vw has joined #rdf-star 19:40:57 s/why something is an interest/why something is an inferrence/ 19:42:07 s/ ReificationProperty/ rdf: ReificationProperty/g 19:42:43 rrsagent, generate minutes 19:42:44 I have made the request to generate https://www.w3.org/2024/08/29-rdf-star-minutes.html gkellogg_ 19:43:19 s/ReificationPropery/rdf:ReificationProperty/g 19:45:58 s/rdf: ReificationProperty/rdf:ReificationProperty/g 19:47:05 s| rdf:states/asserted| rdf:states/rdf:asserts| 19:48:19 rrsagent, generate minutes 19:48:21 I have made the request to generate https://www.w3.org/2024/08/29-rdf-star-minutes.html gkellogg_ 19:49:13 s| s/rdf:asserted/rdf:asserts|| 19:49:16 rrsagent, generate minutes 19:49:17 I have made the request to generate https://www.w3.org/2024/08/29-rdf-star-minutes.html gkellogg_ 19:49:36 rrsagent, bye 19:49:36 I see no action items