Attendees:
Mike
Jim
Ian
Deb
Peter
Ian
Jeff
Dan


Meeting also on mIRC

Use 63 (and 66) to mute (and un-mute) for phones without mute buttons

Removing disjoint from language.  No one is dissenting. In this version or the next one?
	 New comment: can only use disjoint-union-of only because it is not a standard use
	 of this ... (usually doesn't imply that the things it is implied to are disjoint)??
	 Change name to partition-of?  Revisit next week.

Concrete types ...  Concrete property vs property -- describes
	 abstract vs concrete objects (?)  Example .. have a concrete
	 first, and a non-concrete first, to be used when the first
	 object is either concrete or other (abstract?) Shoe Size
	 Example ... is 10.0 the same as 10.  Type theory ...

Issues:
	*)Lexical representation of instances either with or without explicit typing.
	*)Forces the user to decide a priori (?) whether something will be concrete or abstract 
		 (and you can't leave it open)
		 Mixing concrete and abstract instances
	*)Want to be able to decide my own subtypes ...
	         Reasonable thing to be able to do
		 Potentially complex
	*)List of mixed things(?different from second one?)

Ian: refining the example for the concrete types proposal
Dan: continue with his thoughts and share next week.

Revisit this next week. 

Proposal: open this up to the rdf logic committee?  Is it useful to
	  see how the larger group?  suggest we have more concrete
	  examples before we put it to the group...  Ian and Dan post
	  to get the conversation going.

Future idea ... conceptual graphs ... what is the question here?
       Elaborate on the DAML Graph Model Differences between "our"
       graphs and rdf graph concept (?)

Future idea ... DAML collection ... property or class??

Future idea ... Replace disjoint-union-of to partition-of -- defferred until the week after next