IRC log of rdf-star on 2024-07-25

Timestamps are in UTC.

00:16:40 [gkellogg]
gkellogg has joined #rdf-star
00:33:57 [gkellogg]
gkellogg has joined #rdf-star
00:53:12 [gkellogg]
gkellogg has joined #rdf-star
01:23:14 [gkellogg]
gkellogg has joined #rdf-star
01:41:33 [gkellogg]
gkellogg has joined #rdf-star
02:12:12 [gkellogg]
gkellogg has joined #rdf-star
02:29:30 [gkellogg]
gkellogg has joined #rdf-star
02:55:19 [gkellogg]
gkellogg has joined #rdf-star
03:13:12 [gkellogg]
gkellogg has joined #rdf-star
03:31:44 [gkellogg]
gkellogg has joined #rdf-star
03:50:38 [gkellogg]
gkellogg has joined #rdf-star
04:10:14 [gkellogg]
gkellogg has joined #rdf-star
04:28:11 [gkellogg]
gkellogg has joined #rdf-star
04:28:46 [gkellogg]
gkellogg has joined #rdf-star
04:47:04 [gkellogg]
gkellogg has joined #rdf-star
05:00:42 [gkellogg]
gkellogg has joined #rdf-star
05:19:00 [gkellogg]
gkellogg has joined #rdf-star
05:35:18 [gkellogg]
gkellogg has joined #rdf-star
05:54:20 [gkellogg]
gkellogg has joined #rdf-star
06:41:58 [gkellogg]
gkellogg has joined #rdf-star
07:08:20 [gkellogg]
gkellogg has joined #rdf-star
08:25:06 [gkellogg]
gkellogg has joined #rdf-star
08:59:40 [gkellogg]
gkellogg has joined #rdf-star
09:19:39 [gkellogg]
gkellogg has joined #rdf-star
09:39:08 [gkellogg]
gkellogg has joined #rdf-star
09:56:11 [gkellogg]
gkellogg has joined #rdf-star
10:15:32 [gkellogg]
gkellogg has joined #rdf-star
10:35:40 [gkellogg]
gkellogg has joined #rdf-star
10:54:05 [gkellogg]
gkellogg has joined #rdf-star
11:13:48 [gkellogg]
gkellogg has joined #rdf-star
11:32:49 [gkellogg]
gkellogg has joined #rdf-star
11:51:46 [gkellogg]
gkellogg has joined #rdf-star
12:10:04 [gkellogg]
gkellogg has joined #rdf-star
12:26:41 [gkellogg]
gkellogg has joined #rdf-star
12:45:49 [gkellogg]
gkellogg has joined #rdf-star
13:04:56 [gkellogg]
gkellogg has joined #rdf-star
13:24:55 [gkellogg]
gkellogg has joined #rdf-star
13:47:53 [gkellogg]
gkellogg has joined #rdf-star
14:16:09 [gkellogg]
gkellogg has joined #rdf-star
14:37:27 [gkellogg]
gkellogg has joined #rdf-star
14:38:27 [TallTed]
TallTed has joined #rdf-star
14:45:54 [TallTed]
Zakim, bye
14:45:54 [Zakim]
leaving. As of this point the attendees have been enrico, TallTed, Souri, AndyS, niklasl, pfps, tl, gkellogg
14:45:54 [Zakim]
Zakim has left #rdf-star
14:45:56 [TallTed]
RRSAgent, bye
14:45:56 [RRSAgent]
I see no action items
14:46:10 [RRSAgent]
RRSAgent has joined #rdf-star
14:46:10 [RRSAgent]
logging to https://www.w3.org/2024/07/25-rdf-star-irc
14:46:14 [Zakim]
Zakim has joined #rdf-star
14:46:55 [TallTed]
meeting: RDF-star WG biweekly focused meeting
14:47:00 [TallTed]
RRSAgent, draft minutes
14:47:01 [RRSAgent]
I have made the request to generate https://www.w3.org/2024/07/25-rdf-star-minutes.html TallTed
14:47:04 [TallTed]
RRSAgent, make logs public
14:47:41 [TallTed]
previous meeting: https://www.w3.org/2024/07/19-rdf-star-minutes.html
14:47:41 [TallTed]
next meeting: https://www.w3.org/2024/07/26-rdf-star-minutes.html
14:48:25 [TallTed]
TallTed has changed the topic to: RDF-star WG — 2024-07-25 agenda: https://www.w3.org/events/meetings/23bcb331-af6e-40af-98f1-11c029455d12/20240725T120000/
14:48:43 [TallTed]
scribe: TallTed
14:51:07 [TallTed]
agenda: https://www.w3.org/events/meetings/23bcb331-af6e-40af-98f1-11c029455d12/20240725T120000/
14:51:08 [agendabot]
clear agenda
14:51:08 [agendabot]
agenda+ Use Cases -> 1 https://github.com/w3c/rdf-ucr/wiki/Summary
14:56:59 [gkellogg]
gkellogg has joined #rdf-star
15:30:05 [gkellogg]
gkellogg has joined #rdf-star
15:47:25 [gkellogg]
gkellogg has joined #rdf-star
15:55:10 [AndyS]
AndyS has joined #rdf-star
15:56:09 [pchampin]
pchampin has joined #rdf-star
15:58:59 [TallTed]
present+ pfps, pchampin
15:59:20 [pfps]
pfps has joined #rdf-star
15:59:21 [tl]
tl has joined #rdf-star
15:59:29 [tl]
present+
15:59:30 [pfps]
present+
15:59:46 [TallTed]
RRSAgent, draft minutes
15:59:48 [RRSAgent]
I have made the request to generate https://www.w3.org/2024/07/25-rdf-star-minutes.html TallTed
16:00:02 [niklasl]
niklasl has joined #rdf-star
16:00:17 [eBremer]
eBremer has joined #rdf-star
16:00:48 [gtw]
present+
16:01:02 [eBremer]
present+
16:01:14 [ora]
ora has joined #rdf-star
16:01:15 [gkellogg]
present+
16:01:20 [ora]
present+
16:01:51 [AndyS]
present+
16:02:00 [ora]
chair: ora
16:02:05 [TallTed]
regrets+ ktk
16:02:14 [niklasl]
present+
16:02:26 [TallTed]
Zakim, open first agendum
16:02:26 [Zakim]
I don't understand 'open first agendum', TallTed
16:02:31 [TallTed]
Zakim, next agendum
16:02:31 [Zakim]
agendum 1 -- Use Cases -> 1 https://github.com/w3c/rdf-ucr/wiki/Summary -- taken up [from agendabot]
16:02:55 [enrico]
enrico has joined #rdf-star
16:03:01 [enrico]
present+
16:03:50 [pfps]
q+
16:04:09 [TallTed]
s/regrets+ ktk//
16:04:09 [ora]
ack pfps
16:04:16 [TallTed]
present+ ktk
16:04:33 [TallTed]
ora: How do we want to proceed with use case discussion?
16:04:57 [TallTed]
pfps: Some people were going to add use cases, but none have.
16:05:09 [ktk]
regrets+ fsasaki
16:05:11 [ktk]
regrets+ AZ
16:05:19 [TallTed]
ora: We should issue some kind of "last call" to WG
16:05:29 [TallTed]
q+
16:05:47 [ora]
ack TallTed
16:06:44 [ktk]
q+
16:06:50 [ora]
ack ktk
16:07:02 [TallTed]
ora: are people OK with a last call, now?
16:07:02 [TallTed]
pfps: will draft a message to that effect
16:07:28 [TallTed]
ktk: reminder to ora & gtw that they were going to add a use case
16:07:44 [TallTed]
ora: does enrico have a use case to add?
16:08:17 [TallTed]
enrico: there's a project about attaching metadata to publications, prodding them to submit use case ASAP
16:08:35 [TallTed]
TallTed: I'm late with writing mine up. Will prioritize.
16:08:53 [tl]
q+
16:09:09 [TallTed]
ora: Does anyone have anything specific to discuss, or should we just review the use cases as they are?
16:09:42 [ora]
ack tl
16:10:21 [pfps]
q+
16:10:44 [ora]
ack pfps
16:10:50 [TallTed]
tl: I don't understand how to discuss use cases without having settled on how to describe "unasserted assertions" or "occurences" or ...
16:11:33 [TallTed]
pfps: We have had precise definitions of lots of things, which shouldn't be discussed unless there's something being raised as wrong with those definitions.
16:12:43 [TallTed]
tl: My impression was that we wanted to be able to discuss/describe triples without adding them to the graph. It's not clear how to achieve this.
16:13:15 [ktk]
RRSAgent, draft minutes
16:13:17 [RRSAgent]
I have made the request to generate https://www.w3.org/2024/07/25-rdf-star-minutes.html ktk
16:13:26 [TallTed]
... Occurence was presented as how to do this. Occurrence isn't added to graph.
16:13:42 [eBremer]
eBremer has joined #rdf-star
16:13:51 [TallTed]
ora: You want to be able to say, "I'm annotating this triple on the condition that it's not asserted"?
16:13:59 [TallTed]
tl: roughly, yes
16:14:01 [AndyS]
q+
16:14:11 [gkellogg]
q+
16:15:34 [pchampin]
q+
16:15:38 [ktk]
regrets+ kurt
16:16:14 [TallTed]
... Turtle-star offers a syntax that provides an intuitive visualization of annotating triples that are asserted, and of annotating triples that are *not* asserted, but other syntaxes don't make these clear
16:16:28 [pchampin]
q-
16:16:50 [TallTed]
... "Special case" of describing statements without asserting them is problematic.
16:17:40 [TallTed]
... Suggest two reifying properties, one which asserts and one which does not
16:17:46 [ora]
ack AndyS
16:18:49 [TallTed]
AndyS: If we want to get back to use cases, there are 2 that seem immediately interesting. One is about deltas and diffs, which has trouble because of bnodes. The other is about LPGs
16:19:08 [TallTed]
ora: Remembers a "patch" proposal
16:19:33 [TallTed]
AndyS: There's an RDF-like syntax, but it's not RDF
16:19:44 [ora]
ack gkellogg
16:20:31 [tl]
q+
16:20:35 [TallTed]
gkellogg: Trying not to derail use cases, we need to be clear in our nomenclature, e.g., triple_term instead of occurrence.
16:21:22 [TallTed]
... graphs are immutable. We don't add things to graphs. We derive or construct or retrieve them, but once that is done, they're concrete.
16:21:32 [TallTed]
q+
16:21:51 [AndyS]
FYI: https://afs.github.io/rdf-delta/rdf-patch.html -- it's not an RDF syntax - it may look like it but talks about the actual blank node as implemented via its system identifier.
16:21:57 [TallTed]
... It's always been possible to construct a set of triples that include contradictions.
16:21:58 [ora]
ack tl
16:22:23 [TallTed]
tl: Immutable is a theoretical position. We have UDPATEs and DELETEs, etc.
16:22:49 [TallTed]
... Gave examples of things, and then discussed how they are misled
16:23:29 [TallTed]
... Still trying to understand what enrico says about LPG use case from gtw, and the use case itself
16:23:42 [gkellogg]
From RDF Concepts: "The RDF data model is atemporal: RDF graphs are static snapshots of information."
16:23:48 [pfps]
q+
16:23:58 [ora]
ack TallTed
16:24:07 [pchampin]
scribe+
16:24:17 [gkellogg]
q+
16:24:18 [pchampin]
TallTed: I'm concerned about that assertion that graphs are immutable
16:24:33 [pchampin]
... the only way this can be true, in my experience, is by timestamping everything.
16:24:58 [pchampin]
... Yes, we don't have a formal semantics of named graphs, but many people are using them, and they change all the time for various reasons.
16:25:12 [pchampin]
... A name usually is not usually used with a timestamp.
16:25:12 [gkellogg]
"We informally use the term RDF source to refer to a persistent yet mutable source or container of RDF graphs. "
16:25:19 [ora]
ack pfps
16:25:19 [AndyS]
q+ to talk about today's weather
16:25:22 [pchampin]
scribe-
16:25:35 [niklasl]
+1 to gkellogg
16:25:55 [TallTed]
pfps: The fundamental semantics of RDF say that graphs don't change.
16:26:16 [AndyS]
q-
16:26:26 [TallTed]
... Nonetheless, it is useful to be able to say `"this graph" is just like "this graph" except for the following differences...`
16:26:41 [ora]
ack gkellogg
16:26:51 [TallTed]
... It's useful to distinguish between "this is what happens in practice" vs "this is what RDF says"
16:27:12 [AndyS]
q+
16:27:55 [ora]
ack AndyS
16:27:55 [TallTed]
gkellogg: There are differences between "RDF graphs" which are immutable and "RDF sources" which are mutable and may deliver RDF graphs that differ over time
16:28:29 [TallTed]
AndyS: When you publish (endorse) a graph, it's the whole graph that you're endorsing; you can't publish a partial graph.
16:28:37 [tl]
q+
16:28:57 [TallTed]
... The only way mutability is available is by moving from one graph to another.
16:29:16 [niklasl]
+1 to AndyS
16:30:05 [ora]
ack tl
16:30:10 [TallTed]
ora: Change has been problematic since early on
16:30:38 [niklasl]
q+
16:30:44 [TallTed]
tl: i'm struggling with terminology confusions, and abstract and/or confusing answers to questions
16:30:46 [pfps]
q+
16:31:03 [ora]
ack niklasl
16:31:21 [pfps]
q-
16:31:26 [niklasl]
<< <s> :p <o> >> a :Theory . <s> :p <o> {| a :Truth |} .
16:31:40 [niklasl]
<s> :p <o> . _e1 a :Theory . _e1 rdf:reifies <<( <s> :p <o> )>> . _e2 a :Truth . _e2 rdf:reifies <<( <s> :p <o> )>> .
16:31:56 [niklasl]
<s> :p <o> {| a :Theory |}, <o> {| a :Truth |} .
16:32:41 [pfps]
q+
16:33:18 [TallTed]
niklasl: [[scribe fails to capture speech 1]]
16:33:28 [ora]
ack pfps
16:34:04 [TallTed]
pfps: I would like to point out that people who submit things to the WG have on their shoulders the responsibility of ensuring that their submission can be understood by the WG
16:34:47 [pfps]
q+
16:34:57 [TallTed]
ktk: notes that tl departed the meeting while niklasl was speaking
16:35:02 [ora]
ack pfps
16:35:17 [gtw]
q+
16:35:53 [AndyS]
AndyS has joined #rdf-star
16:35:59 [TallTed]
pfps: I've spent a lot of time reading submissions, and trying to rephrase them such that the WG will understand, with unclear results
16:36:03 [enrico]
q+
16:36:11 [ora]
ack gtw
16:36:37 [TallTed]
ora: it's true that communication of complex topics is sometimes hard. We should still strive toward that goal.
16:36:59 [AndyS]
q+
16:37:16 [ora]
ack enrico
16:37:18 [TallTed]
gtw: There are various things that we do with LPGs that may not be compatible with RDF
16:38:11 [TallTed]
enrico: I spent most of the past week on these things. There is a formal definition, part of a formal document, from which we should start.
16:38:54 [TallTed]
... It's not clear whether the LPG use cases are achievable with RDF, because those use cases are incomplete or not yet submitted
16:39:43 [TallTed]
... It seems to me there is a lack of understanding of formal semantics.
16:40:43 [TallTed]
... I have tried to make everybody happy with the semantics I have constructed, but it seems that my constructions aren't being understood.
16:41:09 [niklasl]
I also fail to see what is not possible (I see more things possible in RDF that are hard to map to LPGs without very idiomatic conventions).
16:41:53 [ora]
ack AndyS
16:41:54 [TallTed]
ora: It is difficult to separate people from syntax, even when we are explicitly discussing semantics
16:42:08 [Souri]
Souri has joined #rdf-star
16:42:21 [Souri]
present+
16:42:33 [TallTed]
AndyS: It's frustrating to reply in detail to various things, and receive "I don't like that" in return
16:43:35 [TallTed]
gtw: Many of our use cases seem to be out of scope for this WG, as they're more about interop than about data-at-rest
16:43:53 [ora]
q+
16:43:57 [ora]
ack ora
16:44:29 [TallTed]
ora: Our understanding of LPGs is basically what's in the GQL spec.
16:45:06 [TallTed]
... We can express things in RDF that cannot be expressed in GQL, and that seems to be their problem.
16:45:41 [TallTed]
... It seems that we *can* express in RDF everything that can be expressed in GQL
16:46:41 [TallTed]
... We have this baseline model, now. Thought is to review each use case and see whether it can be handled by the baseline.
16:47:06 [TallTed]
... We also have some terminology which seemed to be stable, but there seems not to be 100% agreement on that
16:47:46 [TallTed]
... Once we have convinced ourselves that the use cases can all be handled by our model, then we look to syntax, and then we claim victory.
16:47:53 [enrico]
q+
16:48:10 [ora]
ack enrico
16:48:15 [TallTed]
... Next order of business seems to be to find which if any use cases are problematic with the current model
16:48:38 [ktk]
ok andy was the host somehow
16:48:53 [ora]
Whoa I was kicked out of the meeting
16:49:23 [TallTed]
(zoom servers rebooted)
16:50:20 [TallTed]
enrico: LPG singleton properties appear to be problematic, but looked to as one solution to reification
16:50:20 [niklasl]
q+
16:51:11 [TallTed]
... In the past, many people were concerned about `married` vs `married1`. We could formally rule this out?
16:51:35 [ora]
ack niklasl
16:51:36 [TallTed]
ora: I also thought we ruled that out.
16:52:54 [TallTed]
niklasl: Singleton properties have the same drawbacks as are found in LPGs. Better not to formally bring them into RDF. Might be good to write FAQ with such things as "we didn't do x because y".
16:52:56 [ktk]
RRSAgent, draft minutes
16:52:58 [RRSAgent]
I have made the request to generate https://www.w3.org/2024/07/25-rdf-star-minutes.html ktk
16:53:23 [TallTed]
ora: Such an FAQ would be good.
16:53:59 [niklasl]
q+ to ask about if I should write a UC for my OWL example...
16:54:05 [ora]
ack niklasl
16:54:05 [Zakim]
niklasl, you wanted to ask about if I should write a UC for my OWL example...
16:56:00 [TallTed]
ora: we're about at time. any last words, disagreements with way forward being "review use cases against current baseline"
16:56:12 [TallTed]
s/current baseline"/current baseline"?
16:56:57 [TallTed]
RRSAgent, draft minutes
16:56:58 [RRSAgent]
I have made the request to generate https://www.w3.org/2024/07/25-rdf-star-minutes.html TallTed
16:57:32 [ora]
PROPOSAL: The Way Forward: 1) Scrutinize use cases wrt. baseline model, if no problems found, 2) Work through syntax details, and 3) Declare victory.
16:57:38 [ora]
+1
16:57:38 [gkellogg]
+1
16:57:40 [niklasl]
+1
16:57:42 [eBremer]
+1
16:57:43 [ktk]
+1
16:57:45 [enrico]
+1
16:57:46 [TallTed]
<TallTed> +1
16:57:49 [gtw]
+1
16:57:53 [Souri]
+1
16:58:09 [ora]
RESOLVED: The Way Forward: 1) Scrutinize use cases wrt. baseline model, if no problems found, 2) Work through syntax details, and 3) Declare victory.
16:58:37 [TallTed]
enrico: tomorrow, we will have the Semantics TF meeting
16:58:43 [TallTed]
RRSAgent, draft minutes
16:58:44 [RRSAgent]
I have made the request to generate https://www.w3.org/2024/07/25-rdf-star-minutes.html TallTed
16:59:42 [TallTed]
s/(zoom servers rebooted)/(pchampin left, making AndyS zoom host; AndyS left, ending zoom session; all rejoined)
16:59:53 [TallTed]
RRSAgent, draft minutes
16:59:54 [RRSAgent]
I have made the request to generate https://www.w3.org/2024/07/25-rdf-star-minutes.html TallTed
17:20:50 [gkellogg]
gkellogg has joined #rdf-star
17:29:12 [gkellogg]
gkellogg has joined #rdf-star
17:42:21 [gkellogg]
gkellogg has joined #rdf-star
17:50:44 [gkellogg]
gkellogg has joined #rdf-star
18:06:19 [TallTed]
Zakim, end meeting
18:06:19 [Zakim]
As of this point the attendees have been pfps, pchampin, tl, gtw, eBremer, gkellogg, ora, AndyS, niklasl, enrico, ktk, Souri
18:06:21 [Zakim]
RRSAgent, please draft minutes
18:06:22 [RRSAgent]
I have made the request to generate https://www.w3.org/2024/07/25-rdf-star-minutes.html Zakim
18:06:27 [Zakim]
I am happy to have been of service, TallTed; please remember to excuse RRSAgent. Goodbye
18:06:29 [Zakim]
Zakim has left #rdf-star
18:06:34 [TallTed]
RRSAgent, bye
18:06:34 [RRSAgent]
I see no action items