From: Deborah Mcguinness (dlm@ksl.stanford.edu)
Date: 01/09/01
the daml+oil page does not yet seem to include the axiomatic semantics that I announced on Sat. I guess for now you can still use my page: www.ksl.stanford.edu/people/dlm/daml-semantics d Mike Dean wrote: > We'll have our weekly telecon today (Tuesday, January 9) > 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 (I haven't yet given up on > finding a technical means for us to pay for these calls > instead of the callers) > > Enter passcode 6428 followed by the # sign > > Below is a draft agenda; additions are welcome. > > Mike > > agenda updates/additions > > announcements > > corrections to minutes from 2 January [1] > > DAML+OIL [2] > > release status > > list notation proposal(s) [3] > > about= vs. ID= > > ... > > final release > > concrete types proposals (if time allows) [4] > > Conceptual Graphs (if time allows) [5] > > [1] http://www.daml.org/committee/minutes/2001-01-02.html > > [2] http://www.daml.org/2000/12/daml+oil-index.html > > [3] http://www-db.stanford.edu/~stefan/daml/order.html > > [4] http://www.cs.man.ac.uk/~horrocks/daml+oil/datatypes.html > > [5] http://lists.w3.org/Archives/Public/www-rdf-logic/2001Jan/0007.html
This archive was generated by hypermail 2.1.4 : 04/02/02 EST