- From: Jonathan Borden <jonathan@openhealth.org>
- Date: Wed, 24 Jul 2002 11:26:09 -0400
- To: "Dan Connolly" <connolly@w3.org>, "Jim Hendler" <hendler@cs.umd.edu>
- Cc: "Ian Horrocks" <horrocks@cs.man.ac.uk>, "webont" <www-webont-wg@w3.org>
Dan Connolly wrote: > > On Wed, 2002-07-24 at 09:24, Jim Hendler wrote: > [...] > > Proposed: > > I propose that we CLOSE issue 4.6 with the following resolution: > > > > We will remove the single construct "equivalentTo" from the language, > > as it is possible to use other features (sameClassAs, samePropertyAs, > > sameIndividualAs) to achieve its primary effect. > > Ugh; I use equivalentTo all the time, and I hardly ever > use samePropertyAs, sameClassAs, or sameIndividualAs. > > Hmm... I could perhaps live without equivalentTo. > I'll have to think about it. Well if classes are really individuals then, isn't: sameClassAs subPropertyOf sameIndividialAs, and hence equivalentTo equivalentTo sameIndividualAs, or have we given up on that -- is that the point ? :-) Jonathan
Received on Wednesday, 24 July 2002 11:32:40 UTC