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