Re: ISSUE 5.3 Semantic Layering

>> 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))
>>
>
>
>Isn't that the position that we reduce the
>
>OWL-DL-entails iff OWL-Full-entails
>
>to
>
>If OWL-DL-entails then OWL-Full-entails
>
>or maybe not?
>
>(It's either that one, or it's nonmon)

At least your 2 counterexamples are resolved
that way and I don't see issues with current
test cases and I haven't seen an example of
your noniff or nonmon :->


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