Re: transparency and entailment

Peter,

On 09/02/2024 20:24, Peter F. Patel-Schneider wrote:
> 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.

that's also my interpretation of "transparency".

(and I assume that the entailment in your example above works both ways)

>
>
> peter
>