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

Re: SEM: discussions concerning model theory (Re: ADMIN: draft ftf meeting record)

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Tue, 16 Jul 2002 13:50:21 -0400
To: jos.deroo.jd@belgium.agfa.com
Cc: www-webont-wg@w3.org
Message-Id: <20020716135021J.pfps@research.bell-labs.com>

From: "Jos De_Roo" <jos.deroo.jd@belgium.agfa.com>
Subject: Re: SEM: discussions concerning model theory (Re: ADMIN: draft ftf  meeting record)
Date: Tue, 16 Jul 2002 19:35:39 +0200

> > The records of the recent F2F (http://www.w3.org/2001/sw/WebOnt/f2f3.html)
>                                                                   ^^^^ftf3
> > state:
> >
> >   SCHED[U]LING NOTE: the model theory should be available for release
> >   after the Bristol ftf. This means a draft should be available by Sep 
> 1.
> 
> the actual action is
> [[[
>    23:57:57 [jhendler]
>    ACTION: Pat will attempt to take abstract syntax, and Peter's MT
>            and the mapping into RDF and will write a model theory in
>            the Connolly style (i.e. as an extension to RDF MT) and
>            see if he can identify the exact issues.
> ]]]
>     -- http://www.w3.org/2002/07/02-webont-irc#T23-57-57
> which is nice
> 
> -- ,
> Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

1/ I hope that this is not taken as an excuse to delay any substantive
   discussion on the issues until after Pat's model theory is produced (and
   debated and debugged), which may not be until well into August.  

   It is not that the issues are unknown, after all.  I have been working on
   this since last December (see
   http://lists.w3.org/Archives/Public/www-webont-wg/2001Dec/0116.html for
   an early relevant message).

2/ Does this mean that Pat's document will be the basis for the model
   theory document for the WG?

peter

 
Received on Tuesday, 16 July 2002 13:50:33 GMT

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