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

It should be clear that when a model theoretic semantics is defined to specify the nature of the resource “denoting” an embedded triple, in principle we do not need to talk also about the rdf/unstar:subject,  rdf/unstar:predicate, rdf/unstar:object predicates, which should play only a role afterwards in order to show an equivalent method to compute all the entailments with such model theoretic semantics.
Such model theoretic semantics would define by itself all the entailments, without looking at the unstar mapping.

—e.

> On 27 Mar 2023, at 20:44, Antoine Zimmermann <antoine.zimmermann@emse.fr> wrote:
>
> 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 19:01:25 UTC