- From: <bugzilla@wiggum.w3.org>
- Date: Thu, 15 Nov 2007 17:43:00 +0000
- To: public-sml@w3.org
- CC:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=5112 ------- Comment #9 from johnarwe@us.ibm.com 2007-11-15 17:42 ------- As long as Terminology is marked as normative, and/or this text is covered elsewhere in a normative section, fine. Since it is making a model validity assertion, that assertion must be present in a normative section. For a model to be valid, every definition and/or instance document in the model must conform to the constraints defined by every rule document it is bound to. It is permissible for a rule document to have no bindings associated with it, and for a model document to be bound to zero rule documents.
Received on Thursday, 15 November 2007 17:43:07 UTC