Re: Joint Committee telecon today 20 February

From: Peter F. Patel-Schneider ([email protected])
Date: 02/20/01

• Next message: Peter F. Patel-Schneider: "axioms and (not) changing a language"
• Previous message: Mike Dean: "Joint Committee telecon today 20 February"
• In reply to: Mike Dean: "Joint Committee telecon today 20 February"
• Next in thread: Peter F. Patel-Schneider: "axioms and (not) changing a language"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

As a (major) point of clarification, just what are we supposed to be doing
with respect to concrete types?  

I can think of several things, in order of decreasing comfort (to me):

1/ Voting on the general proposal, which I take to be:
   - adding (some subset of) XML Schema datatypes to DAML+OIL
   - soft separation between datatype domain and abstract domain
   - new scheme for inputting and storing datatypes

2/ Discussing the specifics of the proposal, which could include:
   - the names of the various new stuff
   - how much of XML Schema datatypes to include

3/ Voting on the specifics of the proposal

4/ Discussing all the various proposals to add datatypes to DAML+OIL

4/ Discussing the general idea of adding datatypes to DAML+OIL

peter

• Next message: Peter F. Patel-Schneider: "axioms and (not) changing a language"
• Previous message: Mike Dean: "Joint Committee telecon today 20 February"
• In reply to: Mike Dean: "Joint Committee telecon today 20 February"
• Next in thread: Peter F. Patel-Schneider: "axioms and (not) changing a language"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.4 : 04/02/02 EST