definitions in Semantics

[pfps]

RDF Concepts does not define notions like entailment, equivalence, and inconsistency.

These terms are described in RDF Semantics and only loosely described in RDF Concepts.

The various links, etc., need to be adjusted to make RDF Semantics primary and RDF Concepts secondary.

The situation for notions like literal, triple, etc., is different. There RDF Concepts is primary.

[afs]

RDF Concepts does not define notions like entailment, equivalence, and inconsistency.

This is a case of providing the anchors so the terminology is in RDF Concepts.

RDF Concepts already says:

An entailment regime [RDF12-SEMANTICS] is a specification that defines precise conditions that make these relationships hold.

What wording do you suggest?

[pchampin]

I believe that we should add the attribute data-cite="RDF12-SEMANTICS#dfn-xxx" in the <dfn> tags of "Entailmenet", "Equivelence" and "Inconsistency", making the RDF-Semantics definition primary.

AFAIK, all references in RDF12-CONCEPTS to those terms (and their derived forms) would then point directly to the RDF-SEMANTICS.

[pchampin]

As noted by @gkellogg in w3c/rdf-star-wg#37, the definition of "denote" in RDF-CONCEPTS should also defer to RDF-SEMANTICS.

[gkellogg]

As noted by @gkellogg in w3c/rdf-star-wg#37, the definition of "denote" in RDF-CONCEPTS should also defer to RDF-SEMANTICS.

That’s not what I believe I said. I have general concerns about layering of specs, but I do think that concepts can informatively reference definitions from other specs.

[pfps]

OK, things are probably good enough, so I'm closing this issue.