Starting from DAML-S

Hi,

during the last F2F meeting Bijan and I, with the help of Sheila,
tried to understand certain aspects of DAML-S.
It occurred to us (after a while) that DAML-S has multiple ways to say the
same thing, which are not necessary in a minimal language
(and which are quite confusing to me).

Given Austin's comments today, and starting from DAML-S,
it makes sense to look at the different
DAML-S constructs and try to minimize DAML-S so that
we hopefully end up with a minimal set of agreed upon
primitives necessary to do what DAML-S does.

Best,
	Stefan



--
http://www.isi.edu/~stefan