- From: Jos De_Roo <jos.deroo@agfa.com>
- Date: Tue, 1 Jul 2003 00:27:18 +0200
- To: "Jeremy Carroll <jjc" <jjc@hplb.hpl.hp.com>
- Cc: 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)
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/
Received on Monday, 30 June 2003 18:27:28 UTC