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

Timestamps are in UTC.

15:56:41 [RRSAgent]
RRSAgent has joined #rdf-star
15:56:46 [RRSAgent]
logging to https://www.w3.org/2024/07/11-rdf-star-irc
15:58:45 [TallTed]
meeting: RDF-star WG biweekly focused meeting
15:58:45 [TallTed]
agenda: https://www.w3.org/events/meetings/23bcb331-af6e-40af-98f1-11c029455d12/20240711T120000/
15:58:45 [TallTed]
present+
15:58:45 [TallTed]
rrsagent, draft minutes
15:58:46 [RRSAgent]
I have made the request to generate https://www.w3.org/2024/07/11-rdf-star-minutes.html TallTed
15:58:48 [agendabot]
clear agenda
15:58:48 [agendabot]
agenda+ Respect the conventions on the web for use of IRIs
15:58:48 [TallTed]
rrsagent, make logs public
15:59:31 [gkellogg]
present+
15:59:47 [TallTed]
previous meeting: https://www.w3.org/2024/07/05-rdf-star-minutes.html
15:59:47 [TallTed]
next meeting: https://www.w3.org/2024/07/12-rdf-star-minutes.html
16:00:21 [AndyS]
present+
16:00:24 [pfps]
pfps has joined #rdf-star
16:00:42 [pfps]
present+
16:00:51 [niklasl]
present+
16:01:03 [tl]
tl has joined #rdf-star
16:01:04 [eBremer]
eBremer has joined #rdf-star
16:01:07 [enrico]
enrico has joined #rdf-star
16:01:13 [enrico]
present+
16:01:24 [tl]
present+
16:01:35 [eBremer]
present+
16:01:59 [pchampin]
present+
16:02:26 [doerthe]
doerthe has joined #rdf-star
16:02:31 [doerthe]
present+
16:02:39 [ktk]
present+
16:02:48 [ktk]
Regrets: ora, olaf
16:02:51 [TallTed]
chair: ktk
16:02:51 [TallTed]
scribe: doerthe
16:02:51 [TallTed]
RRSAgent, draft minutes
16:02:53 [RRSAgent]
I have made the request to generate https://www.w3.org/2024/07/11-rdf-star-minutes.html TallTed
16:03:14 [gtw]
present+
16:03:26 [draggett]
draggett has joined #rdf-star
16:03:32 [draggett]
present+
16:03:39 [ktk]
regrets+ azimmermann
16:03:50 [ktk]
regrets+ felix
16:03:57 [TallTed]
Zakim, next topic
16:03:57 [Zakim]
I don't understand 'next topic', TallTed
16:04:05 [TallTed]
Zakim, open next topic
16:04:05 [Zakim]
I don't understand 'open next topic', TallTed
16:04:11 [TallTed]
Zakim, open next item
16:04:11 [Zakim]
agendum 1 -- Respect the conventions on the web for use of IRIs -- taken up [from agendabot]
16:05:48 [doerthe]
ktk: who could summarize the topic?
16:07:28 [pfps]
q+
16:07:29 [doerthe]
andy: There was a discussion about opacity and transparency in the semantic task force and we discussed use cases but we did not see that in the whole context of the whole web and the more basic conventions
16:08:39 [ktk]
q?
16:08:52 [Souri]
Souri has joined #rdf-star
16:08:56 [Souri]
present+
16:09:06 [doerthe]
enrico: in many cases local uris can solve the problem
16:09:48 [gkellogg]
URI transparency can be inferred from LinkedData principles: https://www.w3.org/wiki/LinkedData
16:09:52 [niklasl]
I agree. The value/hazard of unambiguous, precise identifiers (always transparent) is crucial *also* for citing statements.
16:10:07 [ktk]
ack pfps
16:10:31 [Kurt]
q?
16:10:55 [doerthe]
pfps: we are getting close to social meaning. We can't built a forced agreement into the principles of RDF
16:11:07 [pfps]
s/built/build/
16:11:30 [TallTed]
q+
16:11:36 [pchampin]
q+
16:11:38 [ktk]
ack TallTed
16:12:00 [Kurt]
q+
16:12:45 [pfps]
q+
16:12:55 [enrico]
q+
16:13:03 [ktk]
ack pchampin
16:13:07 [doerthe]
TallTed: the basic idea is to talk about what someone said, I need to know who else talked about my triple, so I need to be able to clearly identify it. We need a good definition of asserted/unasserted and opaque and transparent
16:13:08 [pfps]
asserted in a graph iff element of the graph, no?
16:14:01 [pfps]
https://pfps.me/best-president-ever denotes the same thing everywhere?
16:14:19 [pfps]
q+
16:14:34 [doerthe]
pchampin: I would like to add a clarification to pfps statement, one iri should always mean the same in the whole web, no different meanings for the same iri
16:14:37 [ktk]
ack Kurt
16:15:29 [doerthe]
Kurt: one question: when we talk about reification, what we do is we have a graph which describes a triple but not the triple itself
16:15:37 [pfps]
q+ to say that RDF absolutely does not say that the denotion of an IRI is the same everywhere, now intended (or consensus, or majority) meaning might be different
16:16:26 [enrico]
ted: the formal definition of transparent vs opaque IRIS, and of asserted triples (in the graph) and triple terms is at https://github.com/w3c/rdf-star-wg/wiki/RDF-star-%22baseline-with-IRI-opacity%22
16:16:57 [doerthe]
... now opacity vs. transparency: do we have a problem to distinguish between the triple itself and its representation (components). The iri can identify the pieces of the triple.
16:17:18 [doerthe]
... the keay point is that we do not assert triples but describe them
16:17:29 [gkellogg]
s/keay/key/
16:17:30 [ktk]
ack pfps
16:17:30 [Zakim]
pfps, you wanted to say that RDF absolutely does not say that the denotion of an IRI is the same everywhere, now intended (or consensus, or majority) meaning might be different
16:17:30 [Kurt]
q-
16:18:27 [AndyS]
q+
16:18:32 [doerthe]
pfps: the formal bases of RDF does allow for a concept like "intended meaning"
16:18:43 [enrico]
doerthe: we can describe the "meaning" of a triple term, or the "syntactic structure" of a triple term - that's captured by transparent vs opaque IRIs
16:18:45 [ktk]
q?
16:18:48 [pfps]
intended meaning is very different from denotation
16:19:00 [niklasl]
Agree with Peter, and I'd add that the Semantic Web project is an attempt to share one interpretation of the "giant global graph".
16:19:03 [gkellogg]
s/bases/basis/
16:19:52 [AndyS]
ack enrico
16:20:07 [pfps]
and RDF is a language used in the Semantic Web project, but RDF is not the Semantic Web, and this WG is about RDF
16:20:09 [doerthe]
enrico: we do have the distinction between asserted and unasserted triples, we have annotated triple terms, we can annotet the triple itself or (opaque case) the structure
16:20:12 [TallTed]
http://example.com/ernie#agent">http://example.com/ernie#agent">http://example.com/ernie#agent">http://example.com/ernie#agent ex:asserted {| http://example.com/ernie#agent ex:president_rating ex:best |} . http://example.com/bert#agent">http://example.com/bert#agent ex:asserted {| http://example.com/ernie#agent ex:muppet_rating ex:best |} . http://example.com/TallTed#agent foaf:knows http://example.com/ernie#agent , http://example.com/bert#agent .
16:20:12 [TallTed]
DESCRIBE http://example.com/ernie#agent
16:20:17 [ktk]
q?
16:21:35 [enrico]
doerthe: agree
16:21:38 [doerthe]
AndyS: responding to pfps: so far we did not have the possibility of one graphs referring to another. Within one graph, iris have the same meaning.
16:21:52 [ktk]
ack AndyS
16:21:54 [Kurt]
q+
16:21:54 [niklasl]
q+
16:22:29 [pfps]
it is certainly the case that within an interpretation there is a functional mapping from IRIs to denotation, and that (sort of) implies that they have to have the same intended meaning
16:22:35 [AndyS]
q+
16:23:36 [doerthe]
Kurt: If I refer from one graph to another, it might be the same, but it I move a triple from one graph to another, I change contexts, the triple does not actually change. I triple can be true in one graph and not in another graph.
16:25:03 [doerthe]
... if I define something in graph 1 and then change to graph 2, the meaning of the iri and a triple should not change, but the graph changes
16:25:33 [doerthe]
... this is even stronger if I for example use shacl
16:25:36 [ktk]
ack Kurt
16:25:39 [ktk]
ack niklasl
16:25:42 [doerthe]
... the core assertion should not change
16:27:56 [doerthe]
niklas1: if we arrive at transparency, we should mention it. If we do not need the difference between different graphs, we do not need opacity. but different meanings between graphs are out of scope
16:27:59 [ktk]
ack AndyS
16:28:00 [TallTed]
{ ex:water ex:state ex:liquid . ex:water ex:state ex:solid . ex:solid owl:disjointWith ex:liquid . } ==> uh oh
16:29:10 [doerthe]
AndyS: If you put iris in a graph, you are committing to them.
16:29:15 [Souri]
graph :graph1960s { :kennedy :firstname "John" } graph :graph2000s { :kennedy :firstname "Edward" } ==> we have to be careful if we merge these two graphs
16:29:23 [Kurt]
q+
16:29:31 [ktk]
ack Kurt
16:29:37 [doerthe]
... I am concerned that we keep forgetting about decisions we made, we should write notes and stick to them
16:29:51 [gkellogg]
+1 to what Andy said
16:30:00 [niklasl]
+1 we need that Note on decisions
16:30:47 [doerthe]
Kurt: I would like to talk about a proposal I have in some of the next meetings
16:31:28 [pchampin]
Souri: IMO, your example is flawed. Using the same IRI to mean two different persons is simply wrong.
16:31:34 [gkellogg]
We have a boilerplate "What's New in RDF 1.2" document at https://w3c.github.io/rdf-new/spec/
16:31:37 [Kurt]
https://github.com/w3c/rdf-star-wg/wiki/Proposal:-Named-Node-Expressions
16:31:45 [Souri]
They are independently authored. We have no control.
16:31:49 [doerthe]
AndyS: can you relate your proposal to our discussions (and write them explicitely)
16:32:01 [ktk]
q`?
16:32:02 [doerthe]
Kurt: proposal at the moment: https://github.com/w3c/rdf-star-wg/wiki/Proposal:-Named-Node-Expressions
16:32:03 [ktk]
q?
16:32:07 [enrico]
List of various proposals and examples: https://github.com/w3c/rdf-star-wg/wiki
16:32:33 [doerthe]
enrico: all proposals so far are listed here https://github.com/w3c/rdf-star-wg/wiki
16:33:00 [doerthe]
Kurt: I will add my proposal
16:33:04 [ktk]
q?
16:33:13 [Souri]
q+
16:33:20 [ktk]
ack Souri
16:33:24 [pfps]
The WG has had an example where an IRI has different denotations and has argued over it quite a bit - :superman
16:33:41 [AndyS]
q+
16:33:50 [pfps]
q+
16:34:08 [pchampin]
sorry to nitpick, but ":john" is not an IRI!
16:34:12 [doerthe]
Souri: whenever we go for iris, we do not have any control over it... :john has different meanings in different contexts
16:34:30 [pfps]
q+ to mention that some of the examples used in the WG have depended on IRIs having different denotations
16:34:39 [doerthe]
... two different graphs are not the same thing...
16:34:59 [doerthe]
scribe-
16:35:04 [ktk]
ack AndyS
16:35:08 [doerthe]
I agree with pchampin
16:35:09 [tl]
q+
16:35:13 [doerthe]
scribe+
16:35:33 [doerthe]
AndyS: I agree, you have to be careful the moment you merge graphs
16:36:28 [niklasl]
Careful, or full of trust.
16:36:35 [Kurt]
q+
16:37:40 [doerthe]
Souri: we need to limit our scope, we should sty within the graphs, do not go beyond. same holds for triples, graphs can disagree, we always talk within one graph
16:37:41 [ktk]
ack pfps
16:37:41 [Zakim]
pfps, you wanted to mention that some of the examples used in the WG have depended on IRIs having different denotations
16:38:52 [doerthe]
pfps: I am getting uncomfortable, the working group used to deal with different denotation. Remember the superman example where the different meanings were important
16:39:01 [ktk]
q+
16:39:06 [doerthe]
... we do not have fixed denotations
16:39:16 [ktk]
ack tl
16:39:29 [niklasl]
*All* identities are useful "fictions". Let's not go there?
16:39:30 [Souri]
Within a single graph, two uses of :Batman must have the same intended meaning, right?
16:39:31 [doerthe]
... think of different batmans, or different ideas of what :europe could mean
16:39:49 [niklasl]
Yes to Souri.
16:40:42 [Souri]
Integrate, but be careful when merging.
16:40:48 [doerthe]
tl: RDF is about integrating data from everywhere
16:40:49 [ktk]
ack Kurt
16:40:49 [pfps]
There was a long discussion about whether social meaning was a fundamental part of the Semantic Web. But that's not RDF, just a use of RDF. One might argue that RDF should support social meaning, whatever that is, but building social meaning into RDF does not seem viable to me.
16:42:12 [pfps]
And anyway the result of the discussions, as I recall it, was that social meaning was not a fundamental part of the Semantic Web.
16:44:00 [TallTed]
q+ to mention the difference between an ontology, and a set of instance data
16:44:07 [doerthe]
Kurt: about comic book characters, it is not about a concept having meaning but a concept in a data model. Batman of tv show is different than the batman of the movie and these differences are given through the surrounding model, a concept comes with a graph of information. We should not get too far into the semantics. Does it represent anything
16:44:07 [doerthe]
before you create context? Without that we only know about similarities
16:44:44 [doerthe]
ktk: what are we talking about? what is our point?
16:45:23 [enrico]
q+
16:45:47 [Kurt]
+1
16:45:53 [pchampin]
+1
16:45:55 [ktk]
ack ktk
16:46:12 [AndyS]
ack TallTed
16:46:12 [Zakim]
TallTed, you wanted to mention the difference between an ontology, and a set of instance data
16:46:26 [pfps]
See https://www.w3.org/wiki/SocialMeaning and https://www.w3.org/2001/sw/meetings/tech-200303/social-meaning
16:46:34 [doerthe]
TallTed: for a focussed discussion, we do not have a lot of focus. We need to agree about the terms we use in our discussion
16:47:22 [Souri]
q+ to say that we need to stay focused in solving issues that arise within the scope of a single RDF graph
16:47:30 [doerthe]
... Kurt, did ou really do an ontology?
16:47:59 [doerthe]
Kurt: I define Shacl shapes for a graph abou comic books
16:48:12 [ktk]
q?
16:48:24 [ktk]
ack enrico
16:48:29 [pfps]
See also the history of the RDF documents, particularly what happened to https://www.w3.org/TR/2003/WD-rdf-concepts-20030123/#section-Social
16:48:32 [doerthe]
TallTed: I am concerned that each wrong use of a term leads to 6 week discussions, therefore we need to be careful
16:50:39 [tl]
@pfps because the logicians took over...
16:50:47 [doerthe]
enrico: what are we talking about? I think it was opacity and whether we need it. I think that the superman example is misleading. In RDF, an iri needs to denote one object. This differs for human language, we have strings and these have different meanings depending on contexts.
16:51:12 [doerthe]
... this is an issue for RDF
16:51:43 [TallTed]
URIs are often (in my world) described as "superkeys" because they work across (relational) schemas/catalogs, unlike the IDs used as "keys" within SQL-style RDBMS
16:52:20 [doerthe]
... superman has a fictional life and I can use an iri to talk about it, I can also choose an iri to have the movie
16:52:49 [niklasl]
Do we need a note titled "What Wittgenstein said about the use of IRIs"? I hope not (and it would be empty anyway).
16:53:01 [doerthe]
... iris are different from constants
16:53:23 [pchampin]
q?
16:53:38 [pchampin]
q+
16:54:13 [Kurt]
q+
16:54:23 [TallTed]
man has never landed on the moon. it was a movie. or was it?
16:54:28 [doerthe]
... iris universally mean the same for everybody and that is why opacity should not play a role here. Maybe there are provenance examples which still need it
16:54:35 [Souri]
q-
16:54:56 [niklasl]
And you can talk about that encoding of the triple, using strings.
16:55:13 [ktk]
ack pchampin
16:55:26 [doerthe]
... we cannot refer to a triple as a syntactic structure and that is what we would win by adding opacity
16:57:07 [doerthe]
pchampin: I try to get consensus: pfps is right that social meaning should not play a role in RDF, enrico is right that we have unique uris, Souri is right, that people make mistakes also using uris
16:57:12 [niklasl]
+1 to pchampin (and by association to the meaning of the quoted statements he used)
16:57:29 [doerthe]
... that should help us to get consensus
16:59:03 [doerthe]
Kurt: I would like to argue against something pfps brought up, if two resources for example state different birth dates for the same person, then merging brings problems.
17:00:18 [doerthe]
... So moving from one model to another can make triples wrong. I need to disambiguate before merging. Graphs are not always consistent, not even if I add constraint languages
17:00:22 [ktk]
q?
17:00:24 [ktk]
ack Kurt
17:01:13 [doerthe]
... In my opinion, there is a deeper relation between iris and what the refer to we did not cover yet
17:01:28 [enrico]
q+
17:01:35 [doerthe]
... even though this might opens a can of worms
17:02:37 [doerthe]
enrico: I will give a talk about RDF star next week, input is welcome
17:03:03 [TallTed]
most important is to make clear that RDF-star (now RDF 1.2) is still a moving target
17:03:16 [niklasl]
Next focused meeting, I think we should talk about if we've come to terms with reifiers being many-to-many (working as relators/N-ary)?
17:03:23 [Kurt]
Will the Netherlands talk be recorded?
17:03:24 [TallTed]
talk about goals, more than what we've achieved
17:03:29 [doerthe]
... Semantic task force: we should wrap up the transparancy/opacity discussion, in my opinion, we need use cases for that
17:03:58 [pchampin]
RRSAgent, make minutes
17:03:59 [RRSAgent]
I have made the request to generate https://www.w3.org/2024/07/11-rdf-star-minutes.html pchampin
17:12:08 [TallTed]
s|http://example.com/ernie#agent|<http://example.com/ernie#agent>|g
17:12:09 [TallTed]
s|http://example.com/bert#agent|<http://example.com/bert#agent>|g
17:12:09 [TallTed]
s|http://example.com/TallTed#agent|<http://example.com/TallTed#agent>|g
17:12:13 [TallTed]
RRSAgent, draft minutes
17:12:14 [RRSAgent]
I have made the request to generate https://www.w3.org/2024/07/11-rdf-star-minutes.html TallTed
17:24:56 [gkellogg]
gkellogg has joined #rdf-star
17:27:27 [ktk]
Zakim, leave
17:27:28 [Zakim]
leaving. As of this point the attendees have been TallTed, gkellogg, AndyS, pfps, niklasl, enrico, tl, eBremer, pchampin, doerthe, ktk, gtw, draggett, Souri
17:27:28 [Zakim]
Zakim has left #rdf-star
17:27:30 [ktk]
RRSAgent, leave
17:27:30 [RRSAgent]
I see no action items