W3C home > Mailing lists > Public > www-webont-wg@w3.org > July 2002

Re: comments on issue 5.19 (classes as instances) and 4.6 (equivalentTo)

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Tue, 30 Jul 2002 00:22:57 +0200
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: www-webont-wg@w3.org
Message-ID: <OFFF2CE769.507590D7-ONC1256C05.007921B4@agfa.be>

> [I found this note surprisingly difficult to write.  I may end up
> significantly revising it due to comments from the group.]


> R2/ two names have the same class extension
> R3/ two names have the same property extension


I'm having a mixed stance I think...
(leaving out the (x,y)'s and having
-> for implies and /-> for notImplies)

[c1] sameClassAs        ->   R2
[c2] sameClassAs       /->  equivalentTo
[c3] sameClassAs       /->  sameIndividualAs

[p1] samePropertyAs     ->   R3
[p2] samePropertyAs    /->   equivalentTo
[p3] samePropertyAs    /->   sameIndividualAs

[i1] sameIndividualAs   ->   sameClassAs
[i2] sameIndividualAs   ->   samePropertyAs
[i3] sameIndividualAs   ->   equivalentTo

[e1] equivalentTo       ->   sameClassAs
[e2] equivalentTo       ->   samePropertyAs
[e3] equivalentTo       ->   sameIndividualAs

and because of [i3] and [e3], I propose
to drop sameIndividualAs and just keep

[c1] sameClassAs        ->   R2
[c2] sameClassAs       /->   equivalentTo

[p1] samePropertyAs     ->   R3
[p2] samePropertyAs    /->  equivalentTo

[e1] equivalentTo       ->   sameClassAs
[e2] equivalentTo       ->   samePropertyAs

and some consequences

[e1][c1] equivalentTo   ->   R2
[e2][p2] equivalentTo   ->   R3

[have to continue when it's a bit cooler here...]

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Monday, 29 July 2002 18:23:34 GMT

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