- From: Frank van Harmelen <Frank.van.Harmelen@cs.vu.nl>
- Date: Thu, 02 May 2002 20:59:12 +0200
- To: Ian Horrocks <horrocks@cs.man.ac.uk>
- CC: Deborah McGuinness <dlm@ksl.stanford.edu>, www-webont-wg@w3.org
Ian Horrocks wrote: > > > when it seems more reasonable/precise to use an > > > existential (all countries have a totalArea and it is of type > > > xsd;decimal). Deb McGuinness replied: > > This is not completely correct. > > What you are really saying as of course you know well with an existential is > > that there is at least one value of totalArea and it is of type decimal. > > You have left open the option for another total area to exist which is not a > > decimal. > > You would have to add that totalArea is functional in order to obtain accurate > > conceptual modeling. > > I said it seems MORE reasonable/precise. I was arguing that universal > -v- existential is not always just a matter of style, and that > universal is sometimes used when existential is more appropriate. It is clear that neither universal nor existential do the job on their own here: - universal states that all totalArea's must be of type decimal, but does not enforce that there is at least one - existential states that there is at least one totalArea of type decimal, but allows for other totalArea's to be of other (silly) types This does not support the claim that one is more precise than the other in this case. In general: I thought you were out to argue that we cannot find a decent total ordering on many language features. You are now overstating the case for existentials so much that you end up arguing that much/most use of universal is ill-construed, and people mean existential most/all of the time, which sounds like arguing for a total ordering between these two. However: all this has become a rather silly discussion after tonight's teleconf. Can we not just simply agree that the full language needs both, and stop arguing over which one is more useful? Frank. ----
Received on Thursday, 2 May 2002 15:02:06 UTC