Re: My opinion of today on the profiles proposal

Thanks for the confirmation Enrico!

I am a bit surprised by this observation. I was always assuming that
the definition of the semantics would include defining what the
property denoted by the IRI rdf:reifies means. Seeing now that this is
not the case, I wonder: do we have any definition of what this property
means?

The reason why I ask is that I am still trying to get my head around:

i) what exactly the kind of thing denoted by IRI :r in a triple such as
the following is:

 ( :r , rdf:reifies , ( :s, :p, :o ) )

... and ii) what exactly the relationship between the thing denoted by
IRI :r and the triple term in that triple is, and also

iii) what the relationship between the statement captured by the
following triple and the triple term in the previous triple is (if
any)?

 ( :r , :p2 , :o2 )


Olaf


On Fri, 2024-04-26 at 08:05 +0000, Franconi Enrico wrote:
> On 26 Apr 2024, at 09:14, Olaf Hartig <olaf.hartig@liu.se> wrote:
> > Looking through them now, and also looking again at the definition
> > of
> > the semantics of Profile 1, as given in
> > 
> > https://github.com/w3c/rdf-star-wg/wiki/RDF%E2%80%90star-semantics:-option-3#semantics

> > 
> > it seems to me that the IRI rdf:reifies is in no way different from
> > any
> > other IRI (from the semantics perspective). In other words, the
> > meaning
> > of the property denoted by this IRI does not seem to be defined as
> > part
> > of this definition. Is this observation correct?
>  
> Yes. If you see at the syntax of the well formed fragment
> 
> graph      ::= ( triple | reifier rdf:reifies tripleTerm )*
> triple     ::= subject predicate object 
> subject    ::= iri | BlankNode
> predicate  ::= iri_but_rdf:reifies 
> object     ::= iri | BlankNode | literal
> tripleTerm ::= triple
> reifier    ::= iri | BlankNode  
> 
> the use of rdf:reifies property is severely restricted in the syntax,
> but its denotation is unrestricted as a property, namely it behaves
> like any other property, e.g., it is many-to-many.
> —e.
>

Received on Friday, 26 April 2024 08:42:38 UTC