Re: An update on [Proposal: described vs stated triple terms]

of course, this is the correct answer:

?s
?p
?o
_:t1
rdfs:states
<<( :s :p :o )>>
_:t1
:a
:b
:s
:p
:o
_:t2
rdfs:reifies
<<( :x :y :z )>>
_:t2
:c
:d

—e.

On 6 Aug 2024, at 10:49, Franconi Enrico <franconi@inf.unibz.it> wrote:

I am not sure what is this discussion about.
Let me clarify the following.
By following the semantics in [1], which extends the baseline with a rdf:states property, the following will hold.
Given then graph:

_:t1 rdfs:states  <<( :s :p :o )>> ;
     :a :b.
_:t2 rdfs:reifies <<( :x :y :z )>> ;
     :c :d.

the SPARQL query

SELECT ?s ?p ?o
WHERE { ?s ?p ?o }

returns

?s
?p
?o
_:t1
rdfs:states
<<( :s :p :o )>>
_:t1
:a
:b
:s
:p
:o
_:t2
rdfs:states
<<( :x :y :z )>>
_:t2
:c
:d

cheers
—e.

[1] https://github.com/w3c/rdf-star-wg/wiki/Extending-the-baseline-with-%22asserted%22-stuff