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

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 UTC