Re: [Sem] Yet another formal semantics for RDF-star

Le 27/03/2023 à 19:59, Thomas Lörtsch a écrit :
> 
> 
>> On 27. Mar 2023, at 19:50, Antoine Zimmermann <antoine.zimmermann@emse.fr> wrote:
>>
>> Le 27/03/2023 à 19:44, Franconi Enrico a écrit :
>>> ok, fair enough.
>>> Still, the semantics of  embedded triples (which is syntactic predication)
>>
>> What does this sentence mean? Is there a thing called "the semantics of embedded triples"? I thought that was what this WG is supposed to define. If it is known to be "syntactic predication", then our work is (almost) done. If you are referring to the az-semantics of embedded triples, then it is *not* syntactic predication. The az-interpretation does not interpret anything in embedded triples as syntactic entities. IRIs are always interpreted as arbitrary resources of the domain, regardless of where they are in the RDF-star graph under consideration.
>>
>> Likewise, I do not think az-semantics is semantic predication, as the interpretation of the embedded triples is an arbitrary resource that may have nothing to do with the assertion made.
> 
> In the sense that _:x in
> 
> _:x a rdf:Statement ;
>      rdf:subject ex:s ;
>      rdf:predicate ex:p ;
>      rdf:object ex:o .
> 
> "may have nothing to do with the assertion made" by the triple
> 
> ex:s ex:p ex:o .
> 
> ?


Yep, exactly.


 > [skip]


--AZ



-- 
Antoine Zimmermann
ISI - Institut Henri Fayol
École des Mines de Saint-Étienne
158 cours Fauriel
42023 Saint-Étienne Cedex 2
France
Tél:+33(0)4 77 42 66 03
https://www.emse.fr/~zimmermann/

Received on Monday, 27 March 2023 18:44:46 UTC