Re: semantics: layering...? [was: Next steps (Action: all)]

>On Thu, 2002-02-28 at 12:41, Peter F. Patel-Schneider wrote:
>>  >   3. Semantics: As evidenced by the layering discussion, developing
>>  > the semantic model for the language (mandated by our charter) is not
>>  > easy, but needs to be done.  We expect to produce both a model theory
>>  > and an axiomization similar to the ones prepared for DAML+OIL.
>>
>>  Well there has been work done on the layering issues, but it seems to have
>>  been put off and put off again from the agenda.  Therefore, I would like to
>>  have an agenda item for next week on the layering issue.
>
>
>I've been studying the layering stuff, but I'm not sure
>how to prepare for a telcon discussion of layering.
>
>If you have anything in particular in mind, please let me/us know.
>
>It takes me a while to get the relevant stuff swapped in
>my brain to discuss that layering stuff. Also, I have an internal
>telcon on Tuesdays, and if you can get me something before
>then, I can discuss it with some other folks in
>preparation for a telcon.
>
>Oh... one thing that would help me is if you and PatH
>could summarize the thread you guys had.
>http://lists.w3.org/Archives/Public/www-webont-wg/2002Feb/0134.html
>
>I didn't follow all of it. Was there any particular result
>of the discussion?

No actual result yet, other than possibly a better (though not 
perfect) mutual understanding of the positions.

I would like Peter to either agree that purely as a technical matter, 
there is in fact no formal paradox in the layering; or else to 
provide a *formal* analysis of how the claimed paradox arises, using 
a mathematical statement of all the relevant assumptions about the 
domains. I do not think that this can be done if the actual model 
theory for RDF is used (rather than some other semantics that Peter 
thinks would be better.)

I am overdue to write up my position in a coherent way, which I will 
try to do before next week, but it will be brief, I'm afraid, as my 
next 2 weeks will be spent mostly in travelling and meetings.

Also I will not be able to make next week's telecon (I hope I 
remembered to send regrets for today: if I didn't, please accept them 
belatedly.) Hopefully things should improve after then.

Pat
-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes

Received on Thursday, 28 February 2002 18:02:17 UTC