"Peter F. Patel-Schneider" wrote: > > PS: What should we do with requirements that have no motivation? We need to put a motivation for every requirement and objective. If we can't find one, then maybe the requirement doesn't belong. I'm open to suggestions. Currenty, these requirements are missing motivations: 1) local unique names aassumptions 2) ability to state closed worlds 3) cardinality constraints 4) layering of language featuresReceived on Saturday, 16 February 2002 16:10:30 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:27 UTC