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)

Jeremy