Re: Objective 4.6 -- additional semantic information

On Tue, Jun 08, 2004 at 09:52:13 -0400, Jim Hendler wrote:
> 
> Maybe I didn't understand what 4.6 was about, I assumed it was 
> something like this:
> 
> if I have
>   a rdfs:subClassOf b
>   b rdfs:subClassOf c
> 
> then I was assuming that the requirments in UC&R would imply that if 
> I query for
>   a rdfs:subClassOf ?x
> then ?x would be bound to b
> however, if we include 4.6, then we would be expected to return
>   ?x = b and ?x = c

I understood could return ?x = b and ?x = c, rather than expected.

- Steve

Received on Wednesday, 9 June 2004 07:03:18 UTC