- From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
- Date: Fri, 9 Feb 2024 14:24:55 -0500
- To: RDF-star Working Group <public-rdf-star-wg@w3.org>
There was some discussion of transparency in the semantics call today, with disagreement over just what transparency means. My view is that transparency (for well-formed graphs) means that entailments are exactly the same if a subject, predicate, or object in a quoted triple is replaced by a semantically identical identifier. So if an option for << e | s p o >> is transparent in D-entailment then << :e | :s :p "4"^^xsd:integer >> :a :b . entails << :e | :s :p "04"^^xsd:integer >> :a :b . in that option. peter
Received on Friday, 9 February 2024 19:25:02 UTC