APPROVED Jeremy J. Carroll The names used in a DAML+OIL qualified cardinality constraint are not defined the OWL namespace.