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

Re: The Ugly Test

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Tue, 28 Jan 2003 23:57:50 +0100
To: "Jeremy Carroll <jjc" <jjc@hpl.hp.com>
Cc: www-webont-wg@w3.org, www-webont-wg-request@w3.org
Message-ID: <OFD95F772D.11A606E0-ONC1256CBC.007D301D-C1256CBC.007E25B5@agfa.be>


> Attached, also at:
>
> http://www.w3.org/2002/03owlt/editors-draft/snapshot#oneOf-004
>
> Permanent URL (intended)
>
> http://www.w3.org/TR/owl-test#oneOf-004
>
> (Every test has a URL of this format)
>
> Jeremy

after a exhausting day I hoped to find some compensation
in proving that one, but no matter what I try, no success
I think the entailment should hold (the range of p is a
class with one element and i is in a restriction on property
p with mincardinality of 1) so can someone give a hint?

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Tuesday, 28 January 2003 17:58:30 GMT

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