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

Re: LANG: compliance levels

From: Frank van Harmelen <Frank.van.Harmelen@cs.vu.nl>
Date: Thu, 02 May 2002 09:32:45 +0200
Message-ID: <3CD0EB9D.64919FDA@cs.vu.nl>
To: www-webont-wg@w3.org
Jonathan Borden wrote:
Ian Horrocks wrote:
> >
> > I would suggest that where universal quantification is being widely
> > used in practice, it is either as a result of its being the only
> > available option and/or the fact that many users assume an implicit
> > existential - it never occurs to them that people all of whose
> > children are doctors may not have any children at all (I would hardly
> > bother telling you what type their children must be if they don't have
> > any children, would I?).


Arguing that there are different modelling styles is one thing,
arguing that everybody who has a different modelling style doesn't
understand what they are doing is quite another.

Universal restrictions are exactly what is found in many OO languages:
"if slot S has a value, then it is of type X"
I find it hard to believe that entire communities don't understand what
they are writing down. 

Received on Thursday, 2 May 2002 03:33:33 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:30 UTC