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.

OK, in OWL ***Full*** it should be
{u in RI | <u, y> in EXTI(p) }
and let's do that explicitly for
all such instead of simply saying

IOT = RI
IOC = CEXTI(SI(rdfs:Class))
IOP = CEXTI(SI(rdf:Property))

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/