TY - CHAP
T1 - Domain Analysis and Description – Sorts, Types, Intents
AU - Bjørner, Dines
PY - 2021
Y1 - 2021
N2 - In earlier publications on [3–6, 8, 10, 12] we introduced the notion of discrete endurants, both natural and artefactual, being parts and characterised classes of these as. Parts were then analysed with respect to internal qualities such as unique identifiers, mereologies and attributes and these were characterised in terms of. In [9, 12] we show how Kai Sørlander’s philosophy [26–28] justifies our ontology of entities not on empirical grounds, but on philosophical grounds – and we brought forward the notion of mentioned only briefly in [10]. In [7] we further analysed certain attribute types in terms of the SI: The International System of Units1. In this paper we shall examine some aspects of sorts, types and intents not covered in [3–10]. (https://en.wikipedia.org/wiki/International_System_of_Units )
AB - In earlier publications on [3–6, 8, 10, 12] we introduced the notion of discrete endurants, both natural and artefactual, being parts and characterised classes of these as. Parts were then analysed with respect to internal qualities such as unique identifiers, mereologies and attributes and these were characterised in terms of. In [9, 12] we show how Kai Sørlander’s philosophy [26–28] justifies our ontology of entities not on empirical grounds, but on philosophical grounds – and we brought forward the notion of mentioned only briefly in [10]. In [7] we further analysed certain attribute types in terms of the SI: The International System of Units1. In this paper we shall examine some aspects of sorts, types and intents not covered in [3–10]. (https://en.wikipedia.org/wiki/International_System_of_Units )
U2 - 10.1007/978-3-030-87348-6_3
DO - 10.1007/978-3-030-87348-6_3
M3 - Book chapter
SN - 978-3-030-87347-9
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 35
EP - 60
BT - Formal Methods in Outer Space
PB - Springer
ER -