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

Re: layering (5.3,5.10): a same-syntax model theory

From: Dan Connolly <connolly@w3.org>
Date: 30 May 2002 17:02:39 -0500
To: "Peter F. "Patel-Schneider <pfps@research.bell-labs.com>
Cc: phayes@ai.uwf.edu, www-webont-wg@w3.org
Message-Id: <1022796160.25653.273.camel@dirk>

On Thu, 2002-05-30 at 16:54, Peter F. Patel-Schneider wrote:
> From: Dan Connolly <connolly@w3.org>
> Subject: Re: layering (5.3,5.10): a same-syntax model theory
> Date: 30 May 2002 16:10:35 -0500
[...]
> > The example I gave is from that column:
> > 
> >   x in IC(?R) iff IR(?P)({x}) <= IC(?C)
> > http://www.w3.org/TR/2001/NOTE-daml+oil-model-20011218#3
> 
> But both parts are semantic in your conditions, which is very different.

I don't see how.

If you take both parts of my semantic
conditions and stick them in the "semantic conditions" column
of your structure, and leave the other column blank
(i.e. 'no matter what triples are in the document')
then it would fit, no?

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Thursday, 30 May 2002 18:20:58 GMT

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