IRC log of rdf-star on 2024-02-02
Timestamps are in UTC.
- 00:13:56 [gkellogg]
- gkellogg has joined #rdf-star
- 00:38:27 [gkellogg]
- gkellogg has joined #rdf-star
- 00:58:07 [gkellogg]
- gkellogg has joined #rdf-star
- 01:43:13 [gb]
- gb has joined #rdf-star
- 01:53:37 [gb]
- gb has joined #rdf-star
- 04:10:24 [gkellogg]
- gkellogg has joined #rdf-star
- 04:23:34 [gkellogg]
- gkellogg has joined #rdf-star
- 04:56:15 [gkellogg]
- gkellogg has joined #rdf-star
- 05:21:02 [gkellogg]
- gkellogg has joined #rdf-star
- 05:41:04 [gkellogg]
- gkellogg has joined #rdf-star
- 06:10:19 [gkellogg]
- gkellogg has joined #rdf-star
- 06:27:10 [gkellogg]
- gkellogg has joined #rdf-star
- 06:34:52 [ktk]
- RRSAgent, leave
- 06:34:52 [RRSAgent]
- I see no action items
- 15:13:38 [RRSAgent]
- RRSAgent has joined #rdf-star
- 15:13:38 [RRSAgent]
- logging to https://www.w3.org/2024/02/02-rdf-star-irc
- 15:13:40 [Zakim]
- Zakim has joined #rdf-star
- 15:13:50 [TallTed]
- present+
- 15:14:28 [niklasl]
- present+
- 15:14:41 [tl]
- present+
- 15:14:44 [pchampin]
- present+
- 15:14:55 [ora]
- present+
- 15:14:58 [AndyS]
- present+
- 15:15:02 [TallTed]
- meeting: RDF-star Semantics TF
- 15:15:24 [TallTed]
- chair: ora
- 15:15:30 [TallTed]
- present+ gkellogg
- 15:15:32 [doerthe]
- present+
- 15:16:10 [TallTed]
- present+ pfps
- 15:16:20 [TallTed]
- RRSAgent, draft minutes
- 15:16:22 [RRSAgent]
- I have made the request to generate https://www.w3.org/2024/02/02-rdf-star-minutes.html TallTed
- 15:16:26 [TallTed]
- RRSAgent, make logs public
- 15:17:04 [pchampin]
- q+
- 15:17:11 [pfps]
- pfps has joined #rdf-star
- 15:17:13 [gkellogg]
- present+
- 15:17:56 [niklasl]
- q+
- 15:18:07 [pfps]
- q+
- 15:18:10 [pfps]
- q-
- 15:19:19 [ora]
- ack pchampin
- 15:20:06 [AndyS]
- q+
- 15:21:13 [gkellogg]
- q+
- 15:21:19 [ora]
- ack niklasl
- 15:21:40 [AndyS]
- q-
- 15:23:13 [AndyS]
- q+
- 15:24:56 [ora]
- ack gkellogg
- 15:25:25 [tl]
- niklas: in proposal 1 just add some :e :partOf :g to "fake" a graph containement
- 15:26:00 [pchampin]
- q+ to ask about compliance levels
- 15:26:01 [niklasl]
- yes, I could go with that too if that's where we end up
- 15:26:35 [niklasl]
- +1 to gregg's point about working with existing RDF 1.1 systems
- 15:27:07 [ora]
- ack AndyS
- 15:28:41 [tl]
- q+
- 15:29:04 [tl]
- q-
- 15:29:46 [pchampin]
- +1, it's too early to talk about optimization :->
- 15:30:13 [enrico]
- enrico has joined #rdf-star
- 15:30:15 [enrico]
- present+
- 15:30:23 [tl]
- q+
- 15:30:30 [niklasl]
- +1, more about well-formedness / integrity perhaps?
- 15:30:30 [ora]
- ack pchampin
- 15:30:30 [Zakim]
- pchampin, you wanted to ask about compliance levels
- 15:33:05 [ora]
- ack tl
- 15:37:54 [niklasl]
- +1 for a very neutral name for what is currently rdfx:nameOf
- 15:38:18 [AndyS]
- q+ to talk about renaming reification vocabulary
- 15:40:11 [TallTed]
- double chevron == `<< >>`
- 15:40:15 [TallTed]
- properly, "double angle brackets"
- 15:40:22 [gkellogg]
- q+ to ask about <<()>> in concrete syntaxes
- 15:40:25 [ora]
- ack AndyS
- 15:40:25 [Zakim]
- AndyS, you wanted to talk about renaming reification vocabulary
- 15:41:12 [pchampin]
- q+
- 15:41:21 [ora]
- ack gkellogg
- 15:41:21 [Zakim]
- gkellogg, you wanted to ask about <<()>> in concrete syntaxes
- 15:42:47 [AndyS]
- q+
- 15:42:50 [ora]
- ack pchampin
- 15:46:08 [ora]
- ack AndyS
- 15:46:08 [tl]
- q+
- 15:47:13 [niklasl]
- A way to "control" sugar+: rdfx:triple rdfs:range [ owl:intersectionOf ( [ owl:onProperty rdf:subject ; owl:cardinality 1 ] [ owl:onProperty rdf:predicate ; owl:cardinality 1 ] [ owl:onProperty rdf:object ; owl:cardinality 1 ]) ] .
- 15:48:50 [ora]
- ack tl
- 15:53:43 [TallTed]
- i|meeting: RDF-star Semantics TF|topic: continuing discussion of https://github.com/w3c/rdf-star-wg/blob/main/docs/seeking-consensus-2024-01.md|
- 15:53:48 [TallTed]
- q+
- 15:54:08 [ora]
- ack TallTed
- 15:54:24 [gkellogg]
- q+
- 15:54:31 [ora]
- ack gkellogg
- 15:56:49 [enrico]
- enrico has joined #rdf-star
- 15:58:33 [TallTed]
- hmmmm... the htmlpreview doesn't update when the html it previews is updated? https://htmlpreview.github.io/?https://github.com/w3c/rdf-star-wg/blob/main/docs/seeking-consensus-2024-01.html
- 15:59:20 [pchampin]
- TallTed you might need to "strong-refresh"
- 15:59:39 [niklasl]
- q+
- 16:00:05 [pchampin]
- q+
- 16:00:06 [doerthe]
- q+
- 16:01:11 [AndyS]
- q+
- 16:03:02 [ora]
- ack niklasl
- 16:04:41 [ora]
- ack pchampin
- 16:04:41 [gkellogg]
- q+
- 16:04:53 [pchampin]
- well-formed-ness constraint: "the object of rdf:nameOf must have exactly one rdf:subject, one rdf:predicate, one rdf:object, and no two distinct nodes in the object of rdf:nameOf can have the same subject, predicate and object"
- 16:08:35 [ora]
- ack doerthe
- 16:10:28 [ora]
- ack AndyS
- 16:12:22 [enrico]
- enrico has joined #rdf-star
- 16:12:28 [enrico]
- present+
- 16:12:37 [enrico]
- q+
- 16:14:39 [ora]
- ack gkellogg
- 16:14:59 [doerthe]
- thank you andy, I was really just curious
- 16:17:01 [pchampin]
- q+
- 16:17:32 [niklasl]
- +1 to Gregg
- 16:17:57 [ora]
- ack enrico
- 16:20:09 [AndyS]
- :e1 rdf:nameOf <<( :s :p :o )>> . :e2 rdf:nameOf <<( :s :p :o )>> . matches :e1 rdf:nameOf ?Z . :e2 rdf:nameOf ?Z . -- one term in the object position, used twice.
- 16:21:02 [pchampin]
- + 1 AndyS
- 16:21:14 [niklasl]
- +1 to AndyS's example; that is what we need.
- 16:21:37 [AndyS]
- q+
- 16:24:32 [ora]
- ack pchampin
- 16:25:52 [enrico]
- q+
- 16:28:04 [ora]
- ack AndyS
- 16:28:22 [AndyS]
- q-
- 16:29:03 [ora]
- ack enrico
- 16:29:44 [TallTed]
- RRSAgent, draft minutes
- 16:29:45 [RRSAgent]
- I have made the request to generate https://www.w3.org/2024/02/02-rdf-star-minutes.html TallTed
- 16:30:53 [pchampin]
- I stand corrected, this goes beyond the problem of leanness
- 16:31:09 [TallTed]
- s|hmmmm... the htmlpreview doesn't update when the html it previews is updated? https://htmlpreview.github.io/?https://github.com/w3c/rdf-star-wg/blob/main/docs/seeking-consensus-2024-01.html||
- 16:31:09 [TallTed]
- s/TallTed you might need to "strong-refresh"//
- 16:31:21 [TallTed]
- RRSAgent, draft minutes
- 16:31:23 [RRSAgent]
- I have made the request to generate https://www.w3.org/2024/02/02-rdf-star-minutes.html TallTed
- 16:32:52 [TallTed]
- previous meeting: https://www.w3.org/2024/02/01-rdf-star-minutes.html
- 16:33:09 [TallTed]
- next meeting: https://www.w3.org/2024/02/08-rdf-star-minutes.html
- 16:33:13 [TallTed]
- RRSAgent, draft minutes
- 16:33:15 [RRSAgent]
- I have made the request to generate https://www.w3.org/2024/02/02-rdf-star-minutes.html TallTed
- 16:40:20 [gkellogg]
- gkellogg has joined #rdf-star
- 16:44:53 [gb]
- gb has joined #rdf-star
- 16:50:09 [gkellogg]
- gkellogg has joined #rdf-star
- 17:23:37 [gkellogg]
- gkellogg has joined #rdf-star
- 17:23:57 [gkellogg]
- gkellogg has joined #rdf-star
- 17:29:09 [gkellogg]
- gkellogg has joined #rdf-star
- 17:43:33 [gkellogg]
- gkellogg has joined #rdf-star
- 18:19:24 [TallTed]
- TallTed has joined #rdf-star
- 18:25:26 [gkellogg]
- gkellogg has joined #rdf-star
- 18:56:06 [gkellogg]
- gkellogg has joined #rdf-star
- 19:29:44 [gkellogg]
- gkellogg has joined #rdf-star
- 20:28:25 [gkellogg]
- gkellogg has joined #rdf-star
- 20:43:38 [gkellogg]
- gkellogg has joined #rdf-star
- 20:55:24 [gkellogg]
- gkellogg has joined #rdf-star
- 20:58:06 [gkellogg]
- gkellogg has joined #rdf-star
- 21:19:01 [gkellogg]
- gkellogg has joined #rdf-star
- 21:54:23 [gkellogg]
- gkellogg has joined #rdf-star
- 22:11:22 [gkellogg]
- gkellogg has joined #rdf-star
- 22:50:11 [gkellogg]
- gkellogg has joined #rdf-star
- 23:14:29 [gkellogg]
- gkellogg has joined #rdf-star
- 23:31:24 [gkellogg]
- gkellogg has joined #rdf-star