Re: ISSUE-22: Proposal based on sh:hasShape

On 6/15/2015 23:35, Peter F. Patel-Schneider wrote:
>> Wouldn't this problem be resolved by disallowing memoizing? sh:hasShape
>> is our own function that we can define in whatever way we want.
> Some form of memoizing is needed in procedural approaches to recursion so
> that loops terminate.

I don't see why. In my proposal sh:hasShape will terminate on the first 
truly recursive call (with exactly the same arguments). Do you have a 
counter example?

BTW I have fixed the issue with walking the AND and OR operands from 
left to right, as discussed yesterday:

Are there any other problems with the sh:hasShape approach?


Received on Tuesday, 16 June 2015 00:37:42 UTC