Page 22
17 June 2002
our experience with daml+oil
•matchmaking and negotiation prototypes use some form of daml+oil (xml or lisp representation)
•daml+oil is not fist order logic but still fairly expressive language
•almost all constructors used apart from inverse
•qualified cardinality is powerful but dangerous to use