Joint Committee telecon today 30 January

From: Mike Dean (mdean@bbn.com)
Date: 01/30/01

• Next message: Jeff Heflin: "Re: Suggested changes to concrete datatypes proposal"
• Previous message: Tim Berners-Lee: "DAMl "Thing" should be Top, Universal class - including concrete types"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

We'll have our weekly telecon today (Tuesday, January 30)
from 4-5pm EST, 1-2pm PST, and corresponding times in other
locations.

The dial-in numbers are

  U.S.:  888-483-2662

  outside U.S.: +1-310-312-5889

  Enter passcode 6428 followed by the # sign

Below is a draft agenda; additions are welcome.

      Mike

agenda updates/additions

announcements

  The new www.daml.org is available.

  As previously agreed, a public archive of the
  joint-committee email list is now available at [1].

corrections to minutes from 23 January [2]

concrete types proposals and vote [3] [4]

DAML PI meeting (Feb 13-15 in DC)

  DAML+OIL plenary presentation (tentative breakdown)

    intro  Mike (10 mins)
    DAML+OIL goals/issues/experience  Ian (30 mins)
    W3C Semantic Web Activities?  Tim? (10 mins)
    Model-Theoretic Semantics  Peter? (15 mins)
    Axiomatic Semantics  Deb/Richard? (15 mins)
    Q&A/overflow (10 mins)

  Language breakout session

  BOFs:  DAML Rules, ...

Dan King's DAML+OIL comments [5]

schedule

  no telecon on February 13 due to DAML PI meeting

rename disjointUnionOf to disjointPartitionOf? (if time
allows)

axiomatic semantics (if time allows)

  further semantics needed for lists? (e.g. equality, can a
  list contain itself)

[1] http://www.daml.org/listarchive/joint-committee/

[2] http://www.daml.org/committee/minutes/2001-01-23.html

[3] http://www.cs.man.ac.uk/~horrocks/daml+oil/Datatypes/

[4] http://www.daml.org/listarchive/joint-committee/0162.html

[5] http://lists.w3.org/Archives/Public/www-rdf-logic/2001Jan/0129.html

• Next message: Jeff Heflin: "Re: Suggested changes to concrete datatypes proposal"
• Previous message: Tim Berners-Lee: "DAMl "Thing" should be Top, Universal class - including concrete types"
• 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