- 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
> 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 UTC