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