Re: ISSUE 5.3 Semantic Layering

Jos,
concerning the restriction.

I don't follow your reasoning.

From S&AS section 5

If
<x,y> in EXTI(SI(owl:hasValue))) and 
<x,p> in EXTI(SI(owl:onProperty)))

then
x in IOR, y in IOC union IDC, p in IOOP union IODP, and CEXTI(x) =

(that's a bug in S&AS - it should read y in IOT union LV1)

{u ***in IOT*** | <u, y> in EXTI(p) }
  

Your reasoning is unsound with respect to the starred part of the semantics.

Jeremy