[Crm-sig] Homework for issue 340

Athanasios Velios a.velios at arts.ac.uk
Mon Nov 19 11:51:14 EET 2018


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



More information about the Crm-sig mailing list