15:02:17 RRSAgent has joined #rdf-star 15:02:22 logging to https://www.w3.org/2024/03/08-rdf-star-irc 15:02:22 Zakim has joined #rdf-star 15:02:35 AndyS has joined #rdf-star 15:02:50 ora has joined #rdf-star 15:02:53 meeting: RDF-star Semantics TF 15:02:55 previous meeting: https://www.w3.org/2024/03/07-rdf-star-minutes.html 15:02:57 next meeting: https://www.w3.org/2024/03/14-rdf-star-minutes.html 15:03:01 present+ 15:03:13 present+ 15:03:14 present+ 15:03:21 present+ 15:03:34 enrico has joined #rdf-star 15:03:56 present+ tl, pchampin, enrico 15:04:03 Zakim, who's here? 15:04:03 Present: TallTed, gkellogg, ora, AndyS, tl, pchampin, enrico 15:04:06 On IRC I see enrico, ora, AndyS, Zakim, RRSAgent, pfps, TallTed, gkellogg, tl, niklasl, driib, Tpt, ktk, pchampin, csarven, gb, gtw, AnthonySpencer, VladimirAlexiev, 15:04:06 ... SintayewGashaw, Timothe, smoothsalt, joraboi445, rhiaro, agendabot 15:04:17 present+ pfps 15:04:38 present+ 15:05:17 q? 15:05:19 present+ souri 15:05:28 Souri has joined #rdf-star 15:05:30 present+ 15:05:50 present+ 15:06:09 present+ 15:06:24 can only stay until the end of the hour, though 15:06:46 q+ 15:10:35 q+ 15:11:05 ack pchampin 15:11:30 q+ 15:13:37 ack gkellogg 15:14:22 q+ 15:15:16 "subject term", "predicate term", "object term", "triple term"? 15:16:01 q+ 15:16:24 ack ora 15:16:54 q+ 15:19:08 q- 15:21:08 ack Souri 15:24:33 q+ 15:24:57 q+ 15:26:42 q+ 15:27:04 ack tl 15:27:55 <#pa> a schema:Person . 15:27:55 Depending on the context, I can call #pa an identifier/IRI, a node of the RDF graph, a person. 15:29:45 q+ 15:29:57 ack pchampin 15:30:09 ack AndyS 15:31:01 q+ 15:31:12 ack gkellogg 15:32:31 For example, for PG audience, I could choose to say: An atomic reification associates a name with a (set of) directed, labeled edge(s). 15:32:35 ack enrico 15:35:12 ack pchampin 15:37:23 GOFR = "Good Old-Fashioned Reification" (pronounce like "gopher"?) 15:37:35 q+ 15:38:10 "gopher it" 15:38:12 [] rdf:subjct []. 15:38:38 s/subjct/subject/ 15:38:55 q+ 15:39:07 ack enrico 15:39:13 perhaps instead of talking about "triple term", we could talk about rdf:triple alongside rdf:subject, rdf:predicate, rdf:object. "triple occurrence" remains hard for me to get a grip on. 15:39:33 For example, for PG audience, I could choose to say: [refined a bit] Using atomic reification(s), a name may be associated with a (set of) directed, labeled edge(s). 15:40:57 ack AndyS 15:46:48 q+ 15:47:13 q+ 15:48:48 https://github.com/w3c/rdf-star-wg/wiki/RDF%E2%80%90star-semantics:-option-3 15:48:49 https://github.com/w3c/rdf-star-wg/wiki/RDF%E2%80%90star-semantics%3A-option-3 15:49:50 :e rdf:reifies <<(:s :p :o)>> . 15:50:58 ack gkellogg 15:52:40 https://lists.w3.org/Archives/Public/public-rdf-star-wg/2024Feb/0066.html 15:52:49 ack pchampin 15:53:51 [Simplified message to PG audience] A single atomic (well-formed?) reification (using a single rdf:reifies triple) associates a (single) name to a (single) directed, labeled edge. One can always use multiple rdf:reifies triples to implement many-to-many associations. 15:54:06 q+ 15:55:17 q+ 15:56:06 ack enrico 15:56:54 ack Souri 15:57:04 q+ 15:58:02 :richard :marriedTo :liz {| :e | |}. 15:58:07 :) 15:59:13 :e rdf:reifies <<( richard :marriedTo :liz )>>. # isn't this just a named edge (not even asserted)? 15:59:44 niklasl, indeed 16:00:00 (also +1 for the macro syntax for named and asserted) 16:00:21 q+ 16:00:23 (... with the caveat of the "sparql property path or" issue) 16:03:08 q+ 16:03:48 ack AndyS 16:06:48 q- 16:08:03 "upfront restricted syntax" is for defining semantics, and not a restriction on N-Triple, Turtle grammar. 16:10:12 << :e | :s :p :o >> a rdf:Resource . 16:11:32 () a rdf:Resource . 16:11:55 s/rdf:Resource/rdfs:Resource/ 16:12:15 s/rdf:Resource/rdfs:Resource/g 16:13:21 q? 16:13:48 tl- 16:13:50 ack tl 16:14:36 RRSAgent, draft minutes 16:14:37 I have made the request to generate https://www.w3.org/2024/03/08-rdf-star-minutes.html TallTed 16:15:26 Zakim, bye 16:15:26 leaving. As of this point the attendees have been TallTed, gkellogg, ora, AndyS, tl, pchampin, enrico, pfps, souri 16:15:26 Zakim has left #rdf-star 16:15:34 RRSAgent, make logs public 16:15:46 RRSAgent, bye 16:15:46 I see no action items