Re: ISSUE-23: A specific proposal

>
>
>>  If ex:Issue subClassOf ex:IssueShape, will an instance of ex:Issue not
> also be an instance of ex:IssueShape - without validation - or does this
> not really matter?
>
>   Yes it would count as an instance of ex:IssueShape too, but I don't see
> a problem with that. When you define an owl:Restriction via
> rdfs:subClassOf, then the instances of the main class also become implicit
> instances of the Restriction.
>
> Holger
>
>
I believe that this formulation is highly suspect.  It may simply not be
true that all instances of ex:Issue are instances of ex:IssueShape.  I
think this is incorrect modeling.

m.