Re: [Sem] Syntax and model-theoretic semantics: a complete proposal

On 13/04/2023 14:05, Franconi Enrico wrote:
> 
>> Andy Seaborne wrote:
>>>
>>>  1. the Community Group syntax with TEP as it is described in its
>>>     final report (wiki: CG syntax specification
>>>     <https://github.com/w3c/rdf-star-wg/wiki/Semantics-(CG-syntax)-by-enrico>),
>>>  2. the variant which distinguishes syntactic from semantic quoted
>>>     triples (wiki: alt syntax specification
>>>     <https://github.com/w3c/rdf-star-wg/wiki/Semantics-(alt-syntax)-by-enrico>),
>>>
>> (2) is appealing conceptually but as a practical matter it may be 
>> difficult to explain. When it is the TEP, the data model is 
>> responsible; in (2), the data author is involved.
> 
> Can you elaborate on that? I don’t get it.

Separation of who is responsible for deciding that a quoted triple is 
syntactic or semantic predication.

The author of the data model may be different to the author of the data. 
They may have different expertise.

TEP is data model related whereas the in-data different predication is 
the responsibility of the data creator.

     Andy

>> If a triple is used in both within a syntactic predication and within 
>> semantic predications it gets written twice. This may be seen as 
>> either an advantage or disadvantage.
> 
> I guess that my example shows the dual problem: with the TEP (1), if a 
> triple is used by more predicates with a semantic predication, you have 
> to repeat the TEP instantiation for each predicate, including, e.g., 
> rdf:type.
> 
> —e.

Received on Monday, 17 April 2023 09:21:12 UTC