Dear all, As a part of my homework I should comment on Martin's three alternatives for the first paragraph of the Introduction text see
http://cidoc-crm.org/Issue/ID-459-modelling-principles-introduction-text-for-crm-version-7.0 Martin's alternatives can be found at http://cidoc-crm.org/sites/default/files/459%20Guarino_Definition%20HW%20MD%202.docx The current working document is verion 6.2.8 (on cidoc-crm.org it is 6.2.7) so I copy in the text from the 6.2.8 "Modelling principles The following modelling principles have guided and informed the development of the CIDOC CRM. Reality, Knowledge Bases and CIDOC CRM The CIDOC CRM is a formal ontology in the sense introduced by N.Guarino. that is a specific vocabulary used to describe a certain reality, plus a first-order logical theory narrowing down the intended meaning of the vocabulary words (N.Guarino 1998). The syntax and formal semantics of this first-order theory are given in (Meghini & Doerr 2018), where the computational aspects are also discussed. The present document is intended for a non-technical audience, therefore it focuses on the informal semantics and on the pragmatics of the CIDOC CRM vocabulary, offering a detailed discussion of the main traits of the conceptualization underlying the CIDOC CRM through the basic usage patterns.The CIDOC CRM aims to assist sharing, connecting and integrating information from research about the past. In order to understand the function of a formal ontology of this kind, one needs to make the following distinctions :" My view, which I also have the impression that is the common view, is that text should be as easy as possible. I therefore suggest that the foot note version (see the link and the text I copied in at the end of this email) should be used: The CIDOC CRM is a formal ontology in the sense introduced by (N. Guarino 1998)[1]<file:///M:/cidoc-crm/2020/homework%20April%20May/459%20Guarino_Definition%20HW%20MD%202.docx#_ftn1>. The present document is intended for an audience not specialized in computer science and logic; therefore, it focuses on the informal semantics and on the pragmatics of the CIDOC CRM concepts, offering a detailed discussion of the main traits of the conceptualization underlying the CIDOC CRM through the basic usage patterns[2]<file:///M:/cidoc-crm/2020/homework%20April%20May/459%20Guarino_Definition%20HW%20MD%202.docx#_ftn2>. The CIDOC CRM aims to assist sharing, connecting and integrating information from research about the past. In order to understand the function of a formal ontology of this kind, one needs to make the following distinctions :" Footnotes: [1]<file:///M:/cidoc-crm/2020/homework%20April%20May/459%20Guarino_Definition%20HW%20MD%202.docx#_ftnref1> Nicola Guarino defines a formal ontology as a specification of a set of named concept used to describe and approximate a part of reality, plus a first-order logical theory narrowing down the intended meaning of the named concepts. [2]<file:///M:/cidoc-crm/2020/homework%20April%20May/459%20Guarino_Definition%20HW%20MD%202.docx#_ftnref2> For the readers interested in computer science and logic, the syntax and formal semantics employed by the CIDOC CRM are given in (Meghini & Doerr 2018), where the computational aspects are also discussed. Best, Christian-Emil **************************************************************** From Martin's document ( http://cidoc-crm.org/sites/default/files/459%20Guarino_Definition%20HW%20MD%202.docx) OLD The CIDOC CRM is a formal ontology in the sense introduced by N. Guarino that is a specific vocabulary used to describe a part of reality, plus a first-order logical theory narrowing down the intended meaning of the vocabulary words (N. Guarino 1998). The syntax and formal semantics of this first-order theory are given in (Meghini & Doerr 2018), where the computational aspects are also discussed. The present document is intended for a non-technical audience; therefore, it focuses on the informal semantics and on the pragmatics of the CIDOC CRM vocabulary, offering a detailed discussion of the main traits of the conceptualization underlying the CIDOC CRM through the basic usage patterns NEW 1 The CIDOC CRM is a formal ontology in the sense introduced by N. Guarino that is a specific set of definitions of concept terms used to describe a part of reality, plus a first-order logical theory narrowing down the intended meaning of the concept terms (N. Guarino 1998). The syntax and formal semantics of this first-order theory are given in (Meghini & Doerr 2018), where the computational aspects are also discussed. The present document is intended to embrace an audience not specialized in computer science and logic; therefore, it focuses on the informal semantics and on the pragmatics of the CIDOC CRM concept terms, offering a detailed discussion of the main traits of the conceptualization underlying the CIDOC CRM through the basic usage patterns NEW 2 The CIDOC CRM is a formal ontology in the sense introduced by N. Guarino that is a specification of a set of named concept used to describe a part of reality, plus a first-order logical theory narrowing down the intended meaning of the named concepts (N. Guarino 1998). The syntax and formal semantics of this first-order theory are given in (Meghini & Doerr 2018), where the computational aspects are also discussed. The present document is intended embrace an audience not specialized in computer science and logic; therefore, it focuses on the informal semantics and on the pragmatics of the CIDOC CRM concepts, offering a detailed discussion of the main traits of the conceptualization underlying the CIDOC CRM through the basic usage patterns Footnote version: The CIDOC CRM is a formal ontology in the sense introduced by (N. Guarino 1998)[1]<file:///M:/cidoc-crm/2020/homework%20April%20May/459%20Guarino_Definition%20HW%20MD%202.docx#_ftn1>. The present document is intended embrace an audience not specialized in computer science and logic; therefore, it focuses on the informal semantics and on the pragmatics of the CIDOC CRM concepts, offering a detailed discussion of the main traits of the conceptualization underlying the CIDOC CRM through the basic usage patterns[2]<file:///M:/cidoc-crm/2020/homework%20April%20May/459%20Guarino_Definition%20HW%20MD%202.docx#_ftn2>. [1]<file:///M:/cidoc-crm/2020/homework%20April%20May/459%20Guarino_Definition%20HW%20MD%202.docx#_ftnref1> Nicola Guarino defines a formal ontology as a specification of a set of named concept used to describe and approximate a part of reality, plus a first-order logical theory narrowing down the intended meaning of the named concepts. [2]<file:///M:/cidoc-crm/2020/homework%20April%20May/459%20Guarino_Definition%20HW%20MD%202.docx#_ftnref2> For the readers interested in computer science and logic, the syntax and formal semantics employed by the CIDOC CRM are given in (Meghini & Doerr 2018), where the computational aspects are also discussed.
_______________________________________________ Crm-sig mailing list Crm-sig@ics.forth.gr http://lists.ics.forth.gr/mailman/listinfo/crm-sig