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