Domain Analysis and Description – Sorts, Types, Intents

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review


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]. ( )
Original languageEnglish
Title of host publicationFormal Methods in Outer Space
Publication date2021
ISBN (Print)978-3-030-87347-9
Publication statusPublished - 2021
SeriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)


Dive into the research topics of 'Domain Analysis and Description – Sorts, Types, Intents'. Together they form a unique fingerprint.

Cite this