Page 23
17 June 2002
daml+oil and datatypes
•for real e-commerce applications support for datatypes is crucial: price, delivery date, quantity, etc…
•problem of units and measures
•unary datatype constraints in daml+oil not enough
•n-ary datatype constraints needed (work on SHOQ(Dn) by j. pan from u. manchester)