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

Re: summary of current position with respect to semantics proposals (was Re: WOWG: agenda Aug 15 telecon)

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Wed, 14 Aug 2002 23:38:29 -0400
To: connolly@w3.org
Cc: www-webont-wg@w3.org
Message-Id: <20020814233829R.pfps@research.bell-labs.com>

From: Dan Connolly <connolly@w3.org>
Subject: Re: summary of current position with respect to semantics proposals 		(was Re: WOWG: agenda Aug 15 telecon)
Date: 14 Aug 2002 14:29:29 -0500

> On Wed, 2002-08-14 at 13:17, Peter F. Patel-Schneider wrote:

[...]

> >  When syntax is in the domain of
> > discourse the above entailments require comprehension principles which lead
> > to paradoxes when the formalism has sufficient expressive power.
> 
> So it seems.

In the presence of the standard entailments for restrictions which part of
the development of the paradoxes do you contest?

> >  OWL has
> > sufficient expressive power for this purpose, e.g., see [4].
> 
> That argument asserts the conclusion. I suggest that OWL should not
> have sufficient expressive power for this purpose.

Do you contest that OWL, as currently presented in the Working Draft
documents created by the Working Group, has sufficient expressive power to
express restrictions that can give rise to paradoxes?

[...]

peter
Received on Wednesday, 14 August 2002 23:38:39 GMT

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