IRC log of rdf-star on 2024-03-08
Timestamps are in UTC.
- 15:02:17 [RRSAgent]
- RRSAgent has joined #rdf-star
- 15:02:22 [RRSAgent]
- logging to https://www.w3.org/2024/03/08-rdf-star-irc
- 15:02:22 [Zakim]
- Zakim has joined #rdf-star
- 15:02:35 [AndyS]
- AndyS has joined #rdf-star
- 15:02:50 [ora]
- ora has joined #rdf-star
- 15:02:53 [TallTed]
- meeting: RDF-star Semantics TF
- 15:02:55 [TallTed]
- previous meeting: https://www.w3.org/2024/03/07-rdf-star-minutes.html
- 15:02:57 [TallTed]
- next meeting: https://www.w3.org/2024/03/14-rdf-star-minutes.html
- 15:03:01 [TallTed]
- present+
- 15:03:13 [gkellogg]
- present+
- 15:03:14 [ora]
- present+
- 15:03:21 [AndyS]
- present+
- 15:03:34 [enrico]
- enrico has joined #rdf-star
- 15:03:56 [TallTed]
- present+ tl, pchampin, enrico
- 15:04:03 [TallTed]
- Zakim, who's here?
- 15:04:03 [Zakim]
- Present: TallTed, gkellogg, ora, AndyS, tl, pchampin, enrico
- 15:04:06 [Zakim]
- 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 [Zakim]
- ... SintayewGashaw, Timothe, smoothsalt, joraboi445, rhiaro, agendabot
- 15:04:17 [TallTed]
- present+ pfps
- 15:04:38 [enrico]
- present+
- 15:05:17 [ora]
- q?
- 15:05:19 [TallTed]
- present+ souri
- 15:05:28 [Souri]
- Souri has joined #rdf-star
- 15:05:30 [Souri]
- present+
- 15:05:50 [tl]
- present+
- 15:06:09 [pchampin]
- present+
- 15:06:24 [pchampin]
- can only stay until the end of the hour, though
- 15:06:46 [pchampin]
- q+
- 15:10:35 [gkellogg]
- q+
- 15:11:05 [ora]
- ack pchampin
- 15:11:30 [ora]
- q+
- 15:13:37 [ora]
- ack gkellogg
- 15:14:22 [Souri]
- q+
- 15:15:16 [TallTed]
- "subject term", "predicate term", "object term", "triple term"?
- 15:16:01 [pchampin]
- q+
- 15:16:24 [ora]
- ack ora
- 15:16:54 [tl]
- q+
- 15:19:08 [pchampin]
- q-
- 15:21:08 [ora]
- ack Souri
- 15:24:33 [pchampin]
- q+
- 15:24:57 [AndyS]
- q+
- 15:26:42 [gkellogg]
- q+
- 15:27:04 [ora]
- ack tl
- 15:27:55 [pchampin]
- <#pa> a schema:Person .
- 15:27:55 [pchampin]
- Depending on the context, I can call #pa an identifier/IRI, a node of the RDF graph, a person.
- 15:29:45 [enrico]
- q+
- 15:29:57 [ora]
- ack pchampin
- 15:30:09 [ora]
- ack AndyS
- 15:31:01 [pchampin]
- q+
- 15:31:12 [ora]
- ack gkellogg
- 15:32:31 [Souri]
- 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 [ora]
- ack enrico
- 15:35:12 [ora]
- ack pchampin
- 15:37:23 [ora]
- GOFR = "Good Old-Fashioned Reification" (pronounce like "gopher"?)
- 15:37:35 [enrico]
- q+
- 15:38:10 [AndyS]
- "gopher it"
- 15:38:12 [pchampin]
- [] rdf:subjct [].
- 15:38:38 [gkellogg]
- s/subjct/subject/
- 15:38:55 [AndyS]
- q+
- 15:39:07 [ora]
- ack enrico
- 15:39:13 [TallTed]
- 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 [Souri]
- 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 [ora]
- ack AndyS
- 15:46:48 [gkellogg]
- q+
- 15:47:13 [pchampin]
- q+
- 15:48:48 [AndyS]
- https://github.com/w3c/rdf-star-wg/wiki/RDF%E2%80%90star-semantics:-option-3
- 15:48:49 [enrico]
- https://github.com/w3c/rdf-star-wg/wiki/RDF%E2%80%90star-semantics%3A-option-3
- 15:49:50 [AndyS]
- :e rdf:reifies <<(:s :p :o)>> .
- 15:50:58 [ora]
- ack gkellogg
- 15:52:40 [AndyS]
- https://lists.w3.org/Archives/Public/public-rdf-star-wg/2024Feb/0066.html
- 15:52:49 [ora]
- ack pchampin
- 15:53:51 [Souri]
- [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 [enrico]
- q+
- 15:55:17 [Souri]
- q+
- 15:56:06 [ora]
- ack enrico
- 15:56:54 [ora]
- ack Souri
- 15:57:04 [AndyS]
- q+
- 15:58:02 [pchampin]
- :richard :marriedTo :liz {| :e | |}.
- 15:58:07 [pchampin]
- :)
- 15:59:13 [niklasl]
- :e rdf:reifies <<( richard :marriedTo :liz )>>. # isn't this just a named edge (not even asserted)?
- 15:59:44 [pchampin]
- niklasl, indeed
- 16:00:00 [niklasl]
- (also +1 for the macro syntax for named and asserted)
- 16:00:21 [enrico]
- q+
- 16:00:23 [niklasl]
- (... with the caveat of the "sparql property path or" issue)
- 16:03:08 [tl]
- q+
- 16:03:48 [ora]
- ack AndyS
- 16:06:48 [enrico]
- q-
- 16:08:03 [AndyS]
- "upfront restricted syntax" is for defining semantics, and not a restriction on N-Triple, Turtle grammar.
- 16:10:12 [tl]
- << :e | :s :p :o >> a rdf:Resource .
- 16:11:32 [gkellogg]
- () a rdf:Resource .
- 16:11:55 [niklasl]
- s/rdf:Resource/rdfs:Resource/
- 16:12:15 [gkellogg]
- s/rdf:Resource/rdfs:Resource/g
- 16:13:21 [AndyS]
- q?
- 16:13:48 [tl]
- tl-
- 16:13:50 [AndyS]
- ack tl
- 16:14:36 [TallTed]
- RRSAgent, draft minutes
- 16:14:37 [RRSAgent]
- I have made the request to generate https://www.w3.org/2024/03/08-rdf-star-minutes.html TallTed
- 16:15:26 [TallTed]
- Zakim, bye
- 16:15:26 [Zakim]
- leaving. As of this point the attendees have been TallTed, gkellogg, ora, AndyS, tl, pchampin, enrico, pfps, souri
- 16:15:26 [Zakim]
- Zakim has left #rdf-star
- 16:15:34 [TallTed]
- RRSAgent, make logs public
- 16:15:46 [TallTed]
- RRSAgent, bye
- 16:15:46 [RRSAgent]
- I see no action items