November 6, 2001 Attendees: Pat Jeff Harold Dave Ian Peter Stefan Deb Mike Richard Lynn Announcements: Initial Telecon for WebOnt on Monday (public archive has message on it) Agenda: any submission news (Peter) Lawyers have padded bottoms :) Missing info from 3 people: Dan C, Richard, Ian Lynn: someone told me that work done by the Web Ont working group becomes IP of MIT. Think this is factually wrong .. (URL: http://www.w3.org/Consortium/Legal/collaborators-agreement DAML+OIL syntax bugs (Frank) Peter: sent out a message that said that he is right and all have been changed. Peter's website (up to date as of 2pm pst today): http://www-db.research.bell-labs.com/user/pfps/daml/ Peter's message about this: http://www.daml.org/listarchive/joint-committee/0858.html Mike: you just qualified the use of property and comment? Peter: right Deb: http://www.ksl.stanford.edu/people/dlm/daml-semantics/abstract-axiomatic-semantics.html DAML+OIL "validation" Mike: when we started getting lots of content from the homework assignments we realized someone needed a way to validate things Very possible for someone to do something "legal" that they didn't mean to do. Need to put this forward as a debugging tool. The conclusions that it draws are by no means guaranteed ... Mike put it best (see his notes ... I missed it) Jeff: Undefined classes (only one that is against this?) You can referred to a class that is not defined anywhere and it is not an error. Can we say "you are doing something allowed, but it may not be what you want to do" Jeff: think that rather than just a "best practice" thing it should be a requirement. Seems to be a lone person on this position. Jeff: If we go with warnings, this should be a very important warning (different levels of warnings?) http://reliant.teknowledge.com/RKF/WorkingGroups/Diag/index.html Japanese Web Ont stuff (Harold) visited INTEPS (?) can brief others if they ever travel to Japan and want more information. Stewart Wybel (?) next week Will have telecon next week, but without Mike / Deb. New Chair for next week - Peter