RE: Semantics was RE: weekly call for agenda items

At 14:13 25/10/2002 +0200, Jeremy Carroll wrote:

> > >1:[[
> > >
> > >eg:prop rdfs:range eg:A .
> > >eg:A rdfs:subClassOf eg:B .
> > >
> > >entails
> > >
> > >eg:prop rdfs:range eg:B .
> > >]]
> >
>Brian:
> > Wierd!

Ah, thanks for this.  I was wrong earlier.  The intersection semantics 
still apply.  In my earlier example, I was thinking that given

   IEXT(A) = {a}
   IEXT(B) = {a, b}

then b became a legitimate value of prop.  That is wrong, yes?

Is there a reason why we would care?

Is the course allowing max flexibility not to have it.  If webont want it 
they can add it.  If we do it and they don't want it, they can't take it away.

Brian