Warning:
This wiki has been archived and is now read-only.
User:Rcygania2/StringEntailment
(This is leftover from StringLiterals/EntailmentProposal)
Optional: Additions to RDF Semantics
I think this would be nice as a formal underpinning of the notion of literal value equality. It's not really necessary though.
§9 RDF Semantics defines a new form of entailment, let's call it String-Entailment
§10 String-Entailment is defined so that:
"aaa" <=> "aaa"^^xsd:string "aaa" <=> "aaa@"^^rdf:PlainLiteral "aaa"@en <=> "aaa@en"^^rdf:PlainLiteral
§11 I hope this can be done by adding lines for xsd:string and rdf:PlainLiteral to the yellow table in Section 1.4, plus a new subsection in Section 7, plus an extension of Appendix A.
§12 String-Entailment would not be sandwiched into the current stack of entailment levels, but rather would be described as orthogonal to the other entailment levels. (String-Entailment is however a subset of D{xsd:string,rdf:PlainLiteral}-Entailment.)