13:58:00 <RRSAgent> RRSAgent has joined #rdf-star
13:58:05 <RRSAgent> logging to https://www.w3.org/2024/05/24-rdf-star-irc
13:58:05 <enrico> enrico has joined #rdf-star
13:58:10 <Zakim> Zakim has joined #rdf-star
13:58:11 <enrico> present+
13:58:18 <AndyS> present+
13:59:22 <AndyS> Next technical meeting (2024-06-07) -- "1. Map the steps to get to 2. vote on a working baseline and 3. map further work testing the use cases and verifying well-formness"
14:01:22 <AndyS> s/2024-06-07/2024-06-06/
14:01:51 <gkellogg> gkellogg has joined #rdf-star
14:07:38 <pfps> pfps has joined #rdf-star
14:07:46 <pfps> present+
14:08:05 <gkellogg> present+
14:11:27 <enrico> :subject [ :namedNode | :property1 :value1; :property2 :value2 ] :object .
14:11:33 <enrico> :subject :namedNode :object .
14:11:33 <enrico> :namedNode :property1 :value1 .
14:11:33 <enrico> :namedNode :property2 :value2 .
14:12:13 <niklasl> niklasl has joined #rdf-star
14:15:26 <niklasl> present+
14:19:57 <pchampin> https://champin.net/2023/sowasm/
14:20:24 <gkellogg> http://rdf.greggkellogg.net/distiller?command=serialize&output_format=nquads&canonicalize
14:27:26 <enrico> https://github.com/w3c/rdf-star-wg/wiki/RDF%E2%80%90star-examples-of-profiles
14:27:27 <niklasl> https://github.com/w3c/rdf-star-wg/wiki/RDF%E2%80%90star-examples-of-profiles
14:27:27 <AndyS> https://github.com/w3c/rdf-star-wg/wiki/RDF%E2%80%90star-examples-of-profiles
14:33:43 <AndyS> <<( ...  )>> ==>  <<(' ... ' )>>
14:35:50 <AndyS> Discussion on RDF-star CG Transparency Enabling Properties
14:37:26 <AndyS> Graph --   X rdf:reifies <<( :s :p :o >> .    X rdf:anotationOf <<( :s :p :o >> .
14:42:24 <AndyS> Graph --  X rdf:reifies <<( :s :p :o )>> .    X rdf:annotationOf <<( :s :p :o )>> .
14:43:21 <niklasl> So it's about "transparency allowing"?
14:45:50 <niklasl> :X rdf:reifies <<( :s :p :o >> . :s owl:sameAs s2 . # Entails :X rdf:reifies <<( :s2 :p :o >> . # if rdf:reifies is transparency-allowed
14:48:30 <gkellogg> :X rdf:reifies <<( :s :p "1"^^xsd:integer" )>> entails :X rdf:reifies <<( :s :p _:nnn )>>, <<( _:nnn rdf:type xsd:integer )>> .
14:48:42 <niklasl> only if you use both on the same subject; which defeat their points.
14:50:38 <niklasl> It's about entailment for these predicates, not the triple term.
14:55:59 <niklasl> 1. Triple terms are opaque. 2. rdf:annotationOf is functional. 3. rdf:reifies is regular (non-functional) but TEP.
15:04:21 <AndyS> SPARQL :   { ?x ?p <<( :s :p :o )>> }
15:06:27 <AndyS> Summary -- 2 possibilities: case 1 - different triple terms <<(...)>> and <<('...')>>or case 2 one triple term - it is the property use that differentiates and this must appear in the "agreed syntax" forms.
15:07:46 <niklasl> Just like owl:sameAs is ... rather special....?
15:12:07 <AndyS> To be decided: Restricted syntax (triple term only as object of rdf:refiies/rdf:annotationOf) or general case (triple terms anywhere, well formnedness decides opaque/transparent)
15:13:00 <AndyS> 3 case - triple term only as object (any property)
15:31:31 <pchampin> RRSAgent, make minutes
15:31:32 <RRSAgent> I have made the request to generate https://www.w3.org/2024/05/24-rdf-star-minutes.html pchampin
15:31:49 <gkellogg> rrsagent, make logs public
15:32:44 <AndyS> AndyS has changed the topic to: RDFstar WG - next WG meeting 2024-06-06
15:33:49 <AndyS> zkim, please excuse us
15:44:45 <AndyS> zakim, please excuse us
15:44:45 <Zakim> leaving.  As of this point the attendees have been enrico, AndyS, pfps, gkellogg, niklasl
15:44:45 <Zakim> Zakim has left #rdf-star
15:44:59 <AndyS> rrsagent, please excuse us
15:44:59 <RRSAgent> I see no action items