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

> On 13. Apr 2023, at 15:05, Franconi Enrico <franconi@inf.unibz.it> wrote:
> 
> 
>> Andy Seaborne wrote:
>>>     • the Community Group syntax with TEP as it is described in its final report (wiki: CG syntax specification), 
>>>     • the variant which distinguishes syntactic from semantic quoted triples (wiki: alt syntax specification),
>> (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.

>> 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.

And if you want to use such a property, e.g. rdf:type, also on syntactic triples in the same graph, you’re out of luck.

t.

> —e.

Received on Friday, 14 April 2023 16:15:45 UTC