Update RDF-semantics with the liberal baseline RDF and RDFS semantics

[franconi]

Update RDF-semantics with the liberal baseline RDF and RDFS semantics

Summary of changes:

• fixed definition of instance in Section 4
• definition of "appears in" in Section 4
• added rdf:reifies in RDF vocabulary (Section 8)
• modified entailment pattern rdfD2 (Section 8.1.1)
• added rdfs:Proposition in RDFS vocabulary (Section 9)
• added RDFS semantic condition for rdfs:Proposition (Section 9)
• added axiomatic triple about range of rdf:reifies (Section 9)
• modified entailment pattern rdfs4 (Section 9.2.1)
• addded entailment pattern rdfs14 (Section 9.2.1)
• added example of incomplete rdfs:Proposition entailment (Appendix A)
• added complete entailment pattern Grdfs14 for generalised RDF (Appendix A)

Open issue:

• suggest a better way to write entailment pattern rdfs14 (Section 9.2.1)

TODO

• check Section 6: Skolemisation
• check Appendix C: Reification
• check whole text for consistency

---

Preview | Diff

[TallTed]

Editorial. Small language fixes.

[gkellogg]

There are several markup problems that generate Echidna errors:

• Error: ROR] Couldn't find ":" in this document or other cited documents: [horst04], [horst05], [owl2-profiles], and [rdf12-concepts].
• Error: ROR] Couldn't find "****" in this document or other cited documents: [horst04], [horst05], [owl2-profiles], and [rdf12-concepts].
• Error: ROR] Couldn't find "****" in this document or other cited documents: [rdf12-concepts].
• Error: ROR] Couldn't find "Finite interpretations To keep the exposition simple, the RDF semantics has been phrased in a way which requires interpretations to be larger than absolutely necessary. For example, all interpretations are required to interpret the whole IRI vocabulary, and the universes of all D-interpretations where D contains xsd:string must contain all possible strings and therefore be infinite. This appendix sketches, without proof, how to re-state the semantics using smaller semantic structures without changing any entailments." in this document or other cited documents: [rdf12-concepts].
• Error: ROR] Couldn't find "Basically, it is only necessary for an interpretation structure to interpret the" in this document or other cited documents: [rdf12-concepts].
• Error: ROR] Error in handler for topic "toc": Cannot read properties of null (reading 'textContent')

Likely, there's some missing closing tag that causes the parser to blow up. It's worth validating the HTML before pushing.

[franconi]

It's worth validating the HTML before pushing.

Thanks. I did it, and I have committed now an error-free html.

[pfps]

Looks good enough aside from the changes I mentioned.

[pchampin]

generally LGTM

[franconi]

@pfps: I think I resolved all your reviews, but you still appear in the final summary as having a requested change. I don't understand why.

[pfps]

It's a github thing. I have to sign off somehow.

Done.

[pfps]

Looks good now

[franconi]

@doerthe: can you please check whether you like how rdfs14 is written? Maybe propose a better way? Or maybe could be fine if we add an example later?

[doerthe]

@doerthe: can you please check whether you like how rdfs14 is written? Maybe propose a better way? Or maybe could be fine if we add an example later?

Not entirely happy (but almost). I am currently trying to make a proposal. Only obstacle is git, but I am getting there... ;)

[pfps]

Given the number of commits in this PR, it should be merged using "Squash and merge".

[franconi]

Done:
(a) wording of rfds14,
(b) deleting offending external references,
(c) refer to an issue on completeness of entailment pattern for rdfs:Proposition.
Waiting for @doerthe to finalise:
(d) typos fixed by doerthe.

[doerthe]

Apart from the minor comment, I am happy with the changes.