Re: From syntactic to interpreted triple

On 22/01/2021 14:48, Olaf Hartig wrote:
>
>> CONSTRUCT {
>>       ?file :entailsForMe <<?s2 ?p2 ?o2>>.
>> } WHERE {
>>       ?file :contains <<?s ?p ?o>>.
>>       ?s owl:sameAs ?s2.
>>       ?p owl:sameAs ?p2.
>>       ?o owl:sameAs ?o2.
>> }
> I assume you wanted to write the following query instead, right?
>
> CONSTRUCT {
>       ?file :entailsForMe <<?s2 ?p2 ?o2>>.
> } WHERE {
>       ?file :entailsForMe <<?s ?p ?o>>.
>       ?s owl:sameAs ?s2.
>       ?p owl:sameAs ?p2.
>       ?o owl:sameAs ?o2.
> }

I /did/ mean :contains, but you are right, it is clearer to separate two 
things:

1) specifying the "referential transparency" of :entailsForMe (which is 
strictly what your query does)
2) specifying an implication between :contains and :entailsForMe

My query was a mix of the two, but not totally covering 1... So thanks 
for fixing it.

   pa