Re: Can Shapes always be Classes?

On Nov 6, 2014 6:19 PM, "Peter F. Patel-Schneider" <pfpschneider@gmail.com>
wrote:
>
>
>
> On 11/06/2014 07:29 AM, Eric Prud'hommeaux wrote:
>>
>> * Eric Prud'hommeaux <eric@w3.org> [2014-11-06 09:20-0500]
>
>
> [...]
>
>
>
>> Maybe I should add that I described the current limitation in terms of
>> context-sensitivity because the current algorithm doesn't enable the
>> context (e.g. an owl:Restriction) to assert that _:Bob (a foaf:Person)
>> should be constrained as a submitter and as an assignee.
>>
>
> That's OK, I think, but please remember that "context-sensitive grammar"
is often taken to mean a grammar for a context-sensitive language (i.e.,
not context-free), which is a technical term with, I believe, a quite
different meaning.

I believe the Chomsky definitions apply here, modulo picking terms from a
set rather than a stream.

> peter
>