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

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

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Thu, 20 Jun 2002 16:35:29 +0200
To: "Dan Connolly <connolly" <connolly@w3.org>
Cc: www-webont-wg@w3.org
Message-ID: <OFFC971FE1.60B4BA5F-ONC1256BDE.004E4162@agfa.be>



> This is an attempt to address feedback on:
>
>   layering (5.3,5.10): a same-syntax model theory
>   From: Dan Connolly (connolly@w3.org)
>   Date: Thu, May 30 2002
>   http://lists.w3.org/Archives/Public/www-webont-wg/2002May/0264.html
>
> in particular, issues around lists and recursive
> definitions. This leaves lists out altogether.
> I think the result is a little bit klunky,

Well, I'm prepared to go along with your
current proposal as it seems most straightforward;
just hasClass/toClass --> allValuesFrom/someValuesFrom
(and maybe hasValue --> allValues) and Peter's
remarks about their meanings
If the group could agree, testing could proceed

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Thursday, 20 June 2002 10:36:10 GMT

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