14:00:55 RRSAgent has joined #rdf-star 14:00:59 logging to https://www.w3.org/2024/03/22-rdf-star-irc 14:01:45 present+ 14:01:47 RRSAgent, draft minutes 14:01:48 I have made the request to generate https://www.w3.org/2024/03/22-rdf-star-minutes.html TallTed 14:01:50 RRSAgent, make logs public 14:01:51 meeting: RDF-star Semantics TF 14:01:53 chair: ?chair? 14:01:55 scribe: ?scribe? 14:01:57 agenda: https://www.w3.org/events/meetings/6d0cd306-0be8-4267-865a-6272cc8d9da4/20240322T100000/ 14:01:57 clear agenda 14:01:57 agenda+ Continue discussion on normal form and semantics 14:02:13 TallTed has changed the topic to: RDF-Star WG -- 2024-03-22 agenda: https://www.w3.org/events/meetings/6d0cd306-0be8-4267-865a-6272cc8d9da4/20240322T100000/ 14:02:27 previous meeting: https://www.w3.org/2024/03/21-rdf-star-minutes.html 14:02:37 next meeting: https://www.w3.org/2024/03/28-rdf-star-minutes.html 14:02:43 RRSAgent, draft minutes 14:02:44 I have made the request to generate https://www.w3.org/2024/03/22-rdf-star-minutes.html TallTed 14:02:59 present+ pfps, tl 14:03:03 tl has joined #rdf-star 14:03:17 present+ niklas, souri 14:03:19 Zakim, who's here? 14:03:19 Present: TallTed, pfps, tl, niklas, souri 14:03:21 On IRC I see tl, RRSAgent, Zakim, TallTed, AndyS, agendabot, ktk, Tpt, pchampin, driib5, gb, gtw, csarven, rhiaro, AnthonySpencer, VladimirAlexiev, SintayewGashaw, Timothe, 14:03:21 ... smoothsalt, joraboi445 14:04:36 Souri has joined #rdf-star 14:04:48 present+ 14:04:56 present+ 14:07:51 niklasl has joined #rdf-star 14:09:22 Only five of us are on zoom. Were there many regrets for this TF meeting? 14:09:44 regrets+ pchampin 14:10:15 Ora said yetserday that he won't be able to join 14:10:15 will be along in a moment 14:10:24 no regrets on the mailing list 14:10:34 regrets+ ora 14:10:35 s/yetserday/yesterday 14:13:45 RRSAgent, draft minutes 14:13:47 I have made the request to generate https://www.w3.org/2024/03/22-rdf-star-minutes.html TallTed 14:14:15 Something to think about: Should there be an OWL class that rdf:reifies belongs to? (Neither owl:DatatypeProperty, nor owl:ObjectProperty?) 14:16:17 +1 to "reifier" for the subject of rdf:reifies 14:16:44 rdf:reifies, Domain "reification domain", Range "reification range". 14:18:40 Google result: https://www.yourdictionary.com/reifier > "One who reifies." 14:19:36 We do need a name for the "subject" used in a rdf::reifies statement. 14:21:46 Zakim, open agenda item 1 14:21:46 'item\ 1' does not match any agenda item, TallTed 14:21:49 We may not need to talk frequently about the entity who asserted the rdf:reifies statement. Given that, I like reifier as a way of referring to the subject. 14:21:54 Zakim, open first agenda item 14:21:54 I don't understand 'open first agenda item', TallTed 14:22:01 zakim, start agenda 14:22:01 I don't understand 'start agenda', TallTed 14:22:06 zakim, next agenda item 14:22:06 agendum 1 -- Continue discussion on normal form and semantics -- taken up [from agendabot] 14:29:11 RRSAgent, draft minutes 14:29:13 I have made the request to generate https://www.w3.org/2024/03/22-rdf-star-minutes.html TallTed 14:29:59 https://www.yourdictionary.com/reification > "The consideration of an abstract thing as if it were concrete, or of an inanimate object as if it were living." So, "concretization"? 14:31:36 :spouse . :spouse . # Both are reified by the marriage (an event, the more concrete way of conceiving the relationship)? 14:36:03 Or, in OWL, is rdf:reifies an owl:FunctionalProperty? 14:36:28 (Example above implies that it should not be.) 14:37:26 => four possibilities, if we enumerate. We should think of possible ways of interpreting or managing all of these possibilities (eg., when merging). 14:39:13 No one wants rdf:reifies to be an inverse functional property... (AFAICS) 14:41:39 ex:TripleToken rdfs:subClassOf [ a owl:Restriction ; owl:onProperty rdf:reifies ; owl:cardinality 1 ] . # A triple token is effectively functional in relation to the triple term. 14:52:21 A graph is a set of triples, but a set of triples is not *necessarily* a graph. 14:55:37 enrico: noted in chat -- 14:55:37 ``` 14:55:37 << :b1 | :enrico :born-in :rome >> :on-date 1962 . 14:55:37 << :b1 | :enrico :born-on 1962 >> :location :rome . 14:55:37 ``` 14:55:42 RRSAgent, draft minutes 14:55:44 I have made the request to generate https://www.w3.org/2024/03/22-rdf-star-minutes.html TallTed 14:55:50 It should be sufficient to discuss these two (not all four) of the enumerations, right? 1) :e rdf:reifies <<( :s1 :p1 :o1 )>>, <<( :s2 :p2 :o2 )>> . 2) :e1 rdf:reifies <<( :s :p :o )>>, :e2 rdf:reifies <<( :s :p : o )>>. 14:55:52 enrico has joined #rdf-star 14:55:55 present+ 14:56:07 << :b1 | :enrico :born-in :rome >> :on-date 1962 . 14:56:17 << :b1 | :enrico :born-on 1962 >> :location :rome . 14:56:27 present+ 14:57:47 s/enrico: noted in chat/enrico noted in zoom chat/ 15:08:59 An interesting case=> :e rdf:reifies <<( :john :SSN 123456789 )>>, <<( :john :SSN 234567891 )>> . (and :SSN is supposed to be unique for a person). 15:10:56 Then :e a :Fallacy ? 15:14:24 The domain layer would still allow this, yes. 15:14:30 doerthe has joined #rdf-star 15:15:47 driib5 has joined #rdf-star 15:15:57 a couple of code fence tests (see minutes for result): `one inline backtick`, ```three inline backtick``` 15:16:01 RRSAgent, draft minutes 15:16:02 I have made the request to generate https://www.w3.org/2024/03/22-rdf-star-minutes.html TallTed 15:16:30 s/a couple of code fence tests (see minutes for result): `one inline backtick`, ```three inline backtick```// 15:17:51 s/?chair?/none 15:17:51 s/?scribe?/none 15:18:03 RRSAgent, draft minutes 15:18:04 I have made the request to generate https://www.w3.org/2024/03/22-rdf-star-minutes.html TallTed 15:20:38 I was thinking of <| ... |> as an alternative. Would that work? 15:20:59 This is would work too <{ :s :p :o }> *grin* 15:21:23 Thank you for generating the minutes Ted, I was late and wanted to catch up :) 15:22:49 we dropped keywords in N3 at some point 15:24:13 doerthe: why? 15:26:35 EBCDIC 15:35:29 pfps: https://en.wikipedia.org/wiki/UTF-EBCDIC 15:57:48 RRSAgent, draft minutes 15:57:49 I have made the request to generate https://www.w3.org/2024/03/22-rdf-star-minutes.html TallTed 15:59:19 Zakim, end meeting 15:59:19 As of this point the attendees have been TallTed, pfps, tl, niklas, souri, enrico, niklasl 15:59:21 RRSAgent, please draft minutes 15:59:23 I have made the request to generate https://www.w3.org/2024/03/22-rdf-star-minutes.html Zakim 15:59:29 I am happy to have been of service, TallTed; please remember to excuse RRSAgent. Goodbye 15:59:29 Zakim has left #rdf-star 15:59:33 RRSAgent, bye 15:59:33 I see no action items