Daml committee notes:

Mike Dean
Kelly Barber
Dieter Fensel
Pat Hayes
Frank
Stephan
Jeff
Ian
Ora
Tom Martin
Deb McGuinness
Richard Fikes
Jim Hendler


Not here yet:
Dan Brickley
Tim
Lynn Stein
Dan Connolly



********************************
announcements

  We welcome Dieter Fensel as an advisor to the committee.

  Deb McGuinness and Richard Fikes have published "A Model
  Theoretic Semantics for DAML-ONT" [1]

  Dan Connolly has secured 5 free day passes to the XML 2000
  conference on 6 December, which will allow folks to
  participate in the Introducing Knowledge Technologies
  session at 11am [2].  We need to provide the participant
  names in advance.
	Frank from amsterdam might want one
	Ian also might want one
	Deb has claimed one of the passes!
	Others interested, let Mike Dean know!
	Jim cannot -- so ...
	ACTION:  Get Jim H information on our December meeting!


corrections to minutes from November 7
	No comments made...

*** Two day meeting planned for the 7th and 8th of December in Washington DC ***
	Pat scheduled to be in Texas
	Dial in for critical parts ??
	?? is this still good ?? $165 / night for hotel in DC
	Can get a meeting room / conference  (or meeting at the BBN office)


Daml rules:
	Maybe make a sub committee and have some people make a formal proposal
		Jeff
		Pat Hayes
		Stephan
		Ora
		Ian, Dieter, Frank (one of them could do it)
		We should as Wolfgang (?) if he / they are interested 
	We could align with the other group (Rule Markup Language?) or do something separate
	Looks like mike will be doing this too 

selected items from Dan Connolly's DAML-ONT todo list [3]
	Issue of the universe discourse ... (Frank)  
	Maybe we should be cautious of making DAML so big that we have to create a DAML lite or core version!
	new KIF core will have very few constraints
	Dan asked about character strings, etc which are very KIF-like
	meta classes are necessary for modeling, etc. but they don't have to be in the core ... (agreement on that)
	Pat:  thought we were talking about second order classes ...
	Agreement that there are really two different camps (with slight variations)
	Maybe we need two examples to look at!
Second order question ... holds predicate?  Not second order, perfectly good relationship

Two people (Pat Hayes and Ian) to work together on writing a paper talking about the pros and cons on each way!

Discussion about whether any RDF statement is valid DAML and the other way ...

Richard just went over the introduction of his and Deb's work 

Go for semantics to make DAML as easy to understand as possible!

List of things to incomplete:
	Includes / Imports
	no meaning defined for default
	Axiom associated with Type
	In general whenever RDF schema is involved
	Other "errors" listed by Peter in his e-mail
	Domain ...

*********
towards DAML-Rules

  possible formation of a Rules Working Group to develop a
  proposal to extend DAML-ONT?

  participation in Rule Markup Initiative? [4] [5]