IRC log of rdf-star on 2024-03-15
Timestamps are in UTC.
- 13:29:31 [RRSAgent]
- RRSAgent has joined #rdf-star
- 13:29:35 [RRSAgent]
- logging to https://www.w3.org/2024/03/15-rdf-star-irc
- 13:29:35 [Zakim]
- Zakim has joined #rdf-star
- 13:29:44 [TallTed]
- meeting: RDF-star WG Semantics Task Force
- 13:29:44 [TallTed]
- agenda: https://www.w3.org/events/meetings/6d0cd306-0be8-4267-865a-6272cc8d9da4/20240315T100000/
- 13:29:44 [agendabot]
- clear agenda
- 13:29:44 [agendabot]
- agenda+ Continue the discussion on well-formedness
- 13:29:45 [TallTed]
- previous meeting: https://www.w3.org/2024/03/15-rdf-star-minutes.html
- 13:29:47 [TallTed]
- next meeting: https://www.w3.org/2024/03/21-rdf-star-minutes.html
- 13:47:37 [TallTed]
- RRSAgent, draft minutes
- 13:47:38 [RRSAgent]
- I have made the request to generate https://www.w3.org/2024/03/15-rdf-star-minutes.html TallTed
- 13:47:45 [TallTed]
- RRSAgent, make logs public
- 13:55:34 [enrico]
- enrico has joined #rdf-star
- 13:55:37 [enrico]
- present+
- 14:00:34 [TallTed]
- present+
- 14:00:52 [ora]
- ora has joined #rdf-star
- 14:03:48 [TallTed]
- chair: ora
- 14:04:28 [Souri]
- Souri has joined #rdf-star
- 14:04:37 [Souri]
- present+
- 14:04:39 [AndyS]
- AndyS has joined #rdf-star
- 14:07:32 [AndyS]
- present+
- 14:07:47 [AndyS]
- zakim, who is here?
- 14:07:47 [Zakim]
- Present: enrico, TallTed, Souri, AndyS
- 14:07:49 [Zakim]
- On IRC I see AndyS, Souri, ora, enrico, Zakim, RRSAgent, TallTed, Tpt, pchampin, driib5, gb, gtw, csarven, rhiaro, AnthonySpencer, VladimirAlexiev, SintayewGashaw, Timothe,
- 14:07:49 [Zakim]
- ... smoothsalt, joraboi445, agendabot
- 14:08:03 [ora]
- present+
- 14:14:56 [tl]
- tl has joined #rdf-star
- 14:20:09 [Souri]
- Initially, we get=> :mary :e :john . Later, we get=> << :e | :john a :Man >> :accTo :mary . The second triple makes the first triple invalid.
- 14:23:41 [Souri]
- This is one of the reasons why I was trying to reserve exclusive IRI namespaces for names associated with triple-terms. That would avoid second pass and in general, allow easy detection of invalid triples.
- 14:25:22 [TallTed]
- i/previous meeting:/scribe: none
- 14:41:24 [AndyS]
- q+
- 14:42:55 [ora]
- ack AndyS
- 14:44:01 [TallTed]
- RRSAgent, draft minutes
- 14:44:02 [RRSAgent]
- I have made the request to generate https://www.w3.org/2024/03/15-rdf-star-minutes.html TallTed
- 14:44:40 [TallTed]
- present+ tl, pfps
- 14:44:56 [TallTed]
- RRSAgent, draft minutes
- 14:44:58 [RRSAgent]
- I have made the request to generate https://www.w3.org/2024/03/15-rdf-star-minutes.html TallTed
- 14:46:41 [tl]
- q+
- 14:46:50 [ora]
- ack tl
- 14:47:46 [AndyS]
- q+
- 14:48:04 [AndyS]
- q-
- 14:48:37 [enrico]
- q+
- 14:49:08 [ora]
- ack enrico
- 14:50:22 [Souri]
- q+
- 14:50:38 [AndyS]
- q+
- 14:51:31 [ora]
- ack Souri
- 14:51:34 [AndyS]
- :e rdf:reifies <<(:s :p :o)>> infers :e rdf:type rdf:Resource .
- 14:51:40 [AndyS]
- in RDF entailment.
- 14:52:28 [ora]
- ack AndyS
- 14:52:30 [tl]
- q+
- 14:53:26 [ora]
- ack tl
- 14:53:26 [AndyS]
- An edge "is" :e rdf:reifies <<(:s :p :o)>> .
- 14:55:48 [niklasl]
- niklasl has joined #rdf-star
- 15:00:53 [niklasl]
- present+
- 15:05:25 [AndyS]
- q+
- 15:05:48 [ora]
- ack AndyS
- 15:05:58 [AndyS]
- q+ t
- 15:06:11 [AndyS]
- q+ to about RDF/XML
- 15:06:17 [ora]
- ack t
- 15:07:12 [ora]
- ack AndyS
- 15:07:12 [Zakim]
- AndyS, you wanted to about RDF/XML
- 15:08:05 [niklasl]
- q+
- 15:08:43 [ora]
- ack niklasl
- 15:18:14 [TallTed]
- from Enrico via Zoom chat --
- 15:18:14 [TallTed]
- ```
- 15:18:14 [TallTed]
- graph ::= ( triple | identifier rdf:reifies tripleTerm )*
- 15:18:14 [TallTed]
- triple ::= subject predicate object
- 15:18:14 [TallTed]
- subject ::= iri | BlankNode
- 15:18:15 [TallTed]
- predicate ::= iri_but_rdf:reifies
- 15:18:17 [TallTed]
- object ::= iri | BlankNode | literal
- 15:18:19 [TallTed]
- tripleTerm ::= triple
- 15:18:21 [TallTed]
- identifier ::= iri | BlankNode
- 15:18:23 [TallTed]
- ```
- 15:18:56 [TallTed]
- RRSAgent, draft minutes
- 15:18:58 [RRSAgent]
- I have made the request to generate https://www.w3.org/2024/03/15-rdf-star-minutes.html TallTed
- 15:24:32 [TallTed]
- Zakim, end meeting
- 15:24:32 [Zakim]
- As of this point the attendees have been enrico, TallTed, Souri, AndyS, ora, tl, pfps, niklasl
- 15:24:34 [Zakim]
- RRSAgent, please draft minutes
- 15:24:35 [RRSAgent]
- I have made the request to generate https://www.w3.org/2024/03/15-rdf-star-minutes.html Zakim
- 15:24:40 [Zakim]
- I am happy to have been of service, TallTed; please remember to excuse RRSAgent. Goodbye
- 15:24:41 [Zakim]
- Zakim has left #rdf-star
- 15:24:49 [TallTed]
- RRSAgent, bye
- 15:24:49 [RRSAgent]
- I see no action items