- From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
- Date: Mon, 30 Jun 2003 22:50:49 +0100
- 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 UTC