[oslc-core] Ambiguity in Resource Shape definition + consequent questions

[Andrew J Berner]

oslc-core-bounces at open-services.net wrote on 01/18/2012 10:42:33 AM:

Arthur said:
> John,
>
> I think both mine and yours could be simplified to just this:
> This shape describes resources that are of any of these types.
> Formally, a shape S applies to a resource R if there is a triple R
> rdf:type T and there is a triple S oslc:describes T.
>

But I think there's one more case covered by John's description:

A shape S applies to a resource R if there is a triple R oslc:instanceShape
S

This covers the case that R doesn't declare a type, but still says that S
is it's shape (independent of what shapes S describes)

Andy Berner