IRC log of rdf-star on 2024-03-22

Timestamps are in UTC.

14:00:55 [RRSAgent]
RRSAgent has joined #rdf-star
14:00:59 [RRSAgent]
logging to https://www.w3.org/2024/03/22-rdf-star-irc
14:01:45 [TallTed]
present+
14:01:47 [TallTed]
RRSAgent, draft minutes
14:01:48 [RRSAgent]
I have made the request to generate https://www.w3.org/2024/03/22-rdf-star-minutes.html TallTed
14:01:50 [TallTed]
RRSAgent, make logs public
14:01:51 [TallTed]
meeting: RDF-star Semantics TF
14:01:53 [TallTed]
chair: ?chair?
14:01:55 [TallTed]
scribe: ?scribe?
14:01:57 [TallTed]
agenda: https://www.w3.org/events/meetings/6d0cd306-0be8-4267-865a-6272cc8d9da4/20240322T100000/
14:01:57 [agendabot]
clear agenda
14:01:57 [agendabot]
agenda+ Continue discussion on normal form and semantics
14:02:13 [TallTed]
TallTed has changed the topic to: RDF-Star WG -- 2024-03-22 agenda: https://www.w3.org/events/meetings/6d0cd306-0be8-4267-865a-6272cc8d9da4/20240322T100000/
14:02:27 [TallTed]
previous meeting: https://www.w3.org/2024/03/21-rdf-star-minutes.html
14:02:37 [TallTed]
next meeting: https://www.w3.org/2024/03/28-rdf-star-minutes.html
14:02:43 [TallTed]
RRSAgent, draft minutes
14:02:44 [RRSAgent]
I have made the request to generate https://www.w3.org/2024/03/22-rdf-star-minutes.html TallTed
14:02:59 [TallTed]
present+ pfps, tl
14:03:03 [tl]
tl has joined #rdf-star
14:03:17 [TallTed]
present+ niklas, souri
14:03:19 [TallTed]
Zakim, who's here?
14:03:19 [Zakim]
Present: TallTed, pfps, tl, niklas, souri
14:03:21 [Zakim]
On IRC I see tl, RRSAgent, Zakim, TallTed, AndyS, agendabot, ktk, Tpt, pchampin, driib5, gb, gtw, csarven, rhiaro, AnthonySpencer, VladimirAlexiev, SintayewGashaw, Timothe,
14:03:21 [Zakim]
... smoothsalt, joraboi445
14:04:36 [Souri]
Souri has joined #rdf-star
14:04:48 [Souri]
present+
14:04:56 [tl]
present+
14:07:51 [niklasl]
niklasl has joined #rdf-star
14:09:22 [Souri]
Only five of us are on zoom. Were there many regrets for this TF meeting?
14:09:44 [TallTed]
regrets+ pchampin
14:10:15 [tl]
Ora said yetserday that he won't be able to join
14:10:15 [AndyS]
will be along in a moment
14:10:24 [TallTed]
no regrets on the mailing list
14:10:34 [TallTed]
regrets+ ora
14:10:35 [tl]
s/yetserday/yesterday
14:13:45 [TallTed]
RRSAgent, draft minutes
14:13:47 [RRSAgent]
I have made the request to generate https://www.w3.org/2024/03/22-rdf-star-minutes.html TallTed
14:14:15 [niklasl]
Something to think about: Should there be an OWL class that rdf:reifies belongs to? (Neither owl:DatatypeProperty, nor owl:ObjectProperty?)
14:16:17 [Souri]
+1 to "reifier" for the subject of rdf:reifies
14:16:44 [TallTed]
rdf:reifies, Domain "reification domain", Range "reification range".
14:18:40 [niklasl]
Google result: https://www.yourdictionary.com/reifier > "One who reifies."
14:19:36 [Souri]
We do need a name for the "subject" used in a rdf::reifies statement.
14:21:46 [TallTed]
Zakim, open agenda item 1
14:21:46 [Zakim]
'item\ 1' does not match any agenda item, TallTed
14:21:49 [Souri]
We may not need to talk frequently about the entity who asserted the rdf:reifies statement. Given that, I like reifier as a way of referring to the subject.
14:21:54 [TallTed]
Zakim, open first agenda item
14:21:54 [Zakim]
I don't understand 'open first agenda item', TallTed
14:22:01 [TallTed]
zakim, start agenda
14:22:01 [Zakim]
I don't understand 'start agenda', TallTed
14:22:06 [TallTed]
zakim, next agenda item
14:22:06 [Zakim]
agendum 1 -- Continue discussion on normal form and semantics -- taken up [from agendabot]
14:29:11 [TallTed]
RRSAgent, draft minutes
14:29:13 [RRSAgent]
I have made the request to generate https://www.w3.org/2024/03/22-rdf-star-minutes.html TallTed
14:29:59 [niklasl]
https://www.yourdictionary.com/reification > "The consideration of an abstract thing as if it were concrete, or of an inanimate object as if it were living." So, "concretization"?
14:31:36 [niklasl]
<liz> :spouse <richard> . <richard> :spouse <liz> . # Both are reified by the marriage (an event, the more concrete way of conceiving the relationship)?
14:36:03 [niklasl]
Or, in OWL, is rdf:reifies an owl:FunctionalProperty?
14:36:28 [niklasl]
(Example above implies that it should not be.)
14:37:26 [Souri]
<reifier same or different?, tterm same or different?> => four possibilities, if we enumerate. We should think of possible ways of interpreting or managing all of these possibilities (eg., when merging).
14:39:13 [niklasl]
No one wants rdf:reifies to be an inverse functional property... (AFAICS)
14:41:39 [niklasl]
ex:TripleToken rdfs:subClassOf [ a owl:Restriction ; owl:onProperty rdf:reifies ; owl:cardinality 1 ] . # A triple token is effectively functional in relation to the triple term.
14:52:21 [niklasl]
A graph is a set of triples, but a set of triples is not *necessarily* a graph.
14:55:37 [TallTed]
enrico: noted in chat --
14:55:37 [TallTed]
```
14:55:37 [TallTed]
<< :b1 | :enrico :born-in :rome >> :on-date 1962 .
14:55:37 [TallTed]
<< :b1 | :enrico :born-on 1962 >> :location :rome .
14:55:37 [TallTed]
```
14:55:42 [TallTed]
RRSAgent, draft minutes
14:55:44 [RRSAgent]
I have made the request to generate https://www.w3.org/2024/03/22-rdf-star-minutes.html TallTed
14:55:50 [Souri]
It should be sufficient to discuss these two (not all four) of the enumerations, right? 1) :e rdf:reifies <<( :s1 :p1 :o1 )>>, <<( :s2 :p2 :o2 )>> . 2) :e1 rdf:reifies <<( :s :p :o )>>, :e2 rdf:reifies <<( :s :p : o )>>.
14:55:52 [enrico]
enrico has joined #rdf-star
14:55:55 [enrico]
present+
14:56:07 [enrico]
<< :b1 | :enrico :born-in :rome >> :on-date 1962 .
14:56:17 [enrico]
<< :b1 | :enrico :born-on 1962 >> :location :rome .
14:56:27 [niklasl]
present+
14:57:47 [TallTed]
s/enrico: noted in chat/enrico noted in zoom chat/
15:08:59 [Souri]
An interesting case=> :e rdf:reifies <<( :john :SSN 123456789 )>>, <<( :john :SSN 234567891 )>> . (and :SSN is supposed to be unique for a person).
15:10:56 [niklasl]
Then :e a :Fallacy ?
15:14:24 [niklasl]
The domain layer would still allow this, yes.
15:14:30 [doerthe]
doerthe has joined #rdf-star
15:15:47 [driib5]
driib5 has joined #rdf-star
15:15:57 [TallTed]
a couple of code fence tests (see minutes for result): `one inline backtick`, ```three inline backtick```
15:16:01 [TallTed]
RRSAgent, draft minutes
15:16:02 [RRSAgent]
I have made the request to generate https://www.w3.org/2024/03/22-rdf-star-minutes.html TallTed
15:16:30 [TallTed]
s/a couple of code fence tests (see minutes for result): `one inline backtick`, ```three inline backtick```//
15:17:51 [TallTed]
s/?chair?/none
15:17:51 [TallTed]
s/?scribe?/none
15:18:03 [TallTed]
RRSAgent, draft minutes
15:18:04 [RRSAgent]
I have made the request to generate https://www.w3.org/2024/03/22-rdf-star-minutes.html TallTed
15:20:38 [Souri]
I was thinking of <| ... |> as an alternative. Would that work?
15:20:59 [niklasl]
This is would work too <{ :s :p :o }> *grin*
15:21:23 [doerthe]
Thank you for generating the minutes Ted, I was late and wanted to catch up :)
15:22:49 [doerthe]
we dropped keywords in N3 at some point
15:24:13 [tl]
doerthe: why?
15:26:35 [TallTed]
EBCDIC
15:35:29 [AndyS]
pfps: https://en.wikipedia.org/wiki/UTF-EBCDIC
15:57:48 [TallTed]
RRSAgent, draft minutes
15:57:49 [RRSAgent]
I have made the request to generate https://www.w3.org/2024/03/22-rdf-star-minutes.html TallTed
15:59:19 [TallTed]
Zakim, end meeting
15:59:19 [Zakim]
As of this point the attendees have been TallTed, pfps, tl, niklas, souri, enrico, niklasl
15:59:21 [Zakim]
RRSAgent, please draft minutes
15:59:23 [RRSAgent]
I have made the request to generate https://www.w3.org/2024/03/22-rdf-star-minutes.html Zakim
15:59:29 [Zakim]
I am happy to have been of service, TallTed; please remember to excuse RRSAgent. Goodbye
15:59:29 [Zakim]
Zakim has left #rdf-star
15:59:33 [TallTed]
RRSAgent, bye
15:59:33 [RRSAgent]
I see no action items