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].
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].
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]
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]
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)