Dear all,
Following discussion with Martin this is the new proposal for the
Minimality section of the CRM introduction.
----------------------------
Although the scope of the CRM is very broad, the model itself is
constructed as economically as possible.
* CRM classes and properties are either primitive, or they are key
concepts in the practical scope.
* Complements of CRM classes are not declared because considering the
Open World Assumption, there are no properties for complements of a
class (see Terminology).
* A CRM class is declared when:
* It is required as the domain or range of a property not
appropriate to its superclass.
* It serves as a merging point of two CRM class branches (e.g. E25
Man-Made Feature). Instances of the resulting class are narrower in
scope than those declared through multiple instantiation of the two
branch superclasses.
* It is useful as a leaf class (i.e. at the end of a CRM branch) to
domain communities building CRM extensions or matching key domain
classes from other models to the CRM (e.g. E34 Inscription).
----------------------------
All the best,
Thanasis
This email and any attachments are intended solely for the addressee and may
contain confidential information. If you are not the intended recipient of this
email and/or its attachments you must not take any action based upon them and
you must not copy or show them to anyone. Please send the email back to us and
immediately and permanently delete it and its attachments. Where this email is
unrelated to the business of University of the Arts London or of any of its
group companies the opinions expressed in it are the opinions of the sender and
do not necessarily constitute those of University of the Arts London (or the
relevant group company). Where the sender's signature indicates that the email
is sent on behalf of UAL Short Courses Limited the following also applies: UAL
Short Courses Limited is a company registered in England and Wales under
company number 02361261. Registered Office: University of the Arts London, 272
High Holborn, London WC1V 7EY
