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

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.

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.