W3C home > Mailing lists > Public > www-webont-wg@w3.org > June 2003

Re: ISSUE 5.3 Semantic Layering

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Mon, 30 Jun 2003 22:50:49 +0100
Message-ID: <3F00B0B9.7020203@hplb.hpl.hp.com>
To: Jos De_Roo <jos.deroo@agfa.com>
CC: "Jeremy Carroll <jjc" <jjc@hpl.hp.com>, www-webont-wg@w3.org


> 
> 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
Received on Monday, 30 June 2003 17:51:19 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:01 GMT