We challenge the widespread presumption that matter and objects are ontologically prior to processes and events, and also the less widespread but increasingly popular view that processes and events...

This chapter explores the idea that processes may be understood as patterns of occurrence, whose individual realizations may take on the character of states or events, depending on the perspective from which they are considered. In this way the ontological relations between states, processes, and events are clarified by effectively defusing the question as to whether processes should be classed as subordinate to events, or vice versa, or whether they are both specializations of some broader superordinate category. A key distinction (...) is made between open and closed patterns, initially in the spatial domain and then in the temporal domain, where new light is thrown on why the term ‘process’ has come to be used in strikingly different ways by different authors. Finally, the account of processes as patterns is put to use in providing a fruitful framework within which to investigate aspectual phenomena in natural language. (shrink)

FOIS is the flagship conference of the International Association for Ontology and its Applications, a non-profit organization which promotes interdisciplinary research and international collaboration at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science. This book presents the papers delivered at FOIS 2023, the 13th edition of the Formal Ontology in Information Systems conference. The event was held as a sequentially-hybrid event, face-to-face in Sherbrooke, Canada, from 17 to 20 July 2023, and online from 18 to 20 (...) September 2023. In total, 62 articles from 19 different countries were submitted, out of which 25 were accepted for inclusion in the conference and for publication; corresponding to an acceptance rate of 40 percent. The contributions are separated into the book’s three sections: (1) Foundational ontological issues; (2) Methodological issues around the development, alignment, verification and use of ontologies; and (3) Domain ontologies and ontology-based applications. In these sections, ontological aspects from a wide variety of fields are covered, primarily from various engineering domains including cybersecurity, manufacturing, petroleum engineering, and robotics, but also extending to the humanities, social sciences, medicine, and dentistry. A noticeable trend among the contributions in this edition of the conference is the recognition that improving the tools to analyze, align, and improve ontologies is of paramount importance in continuing to advance the field of formal ontology. The book will be of interest to all formal and applied ontology researchers, and to those who use formal ontologies and information systems as part of their work. (shrink)

Roles are important both theoretically and practically for modelling the world around us. Although many theories of roles have been proposed, there remain aspects which are little understood. In this paper we investigate roles and their contexts from a temporal point of view. We introduce the idea of a family of occurrent-dependent roles as a means to organise prospective and retrospective derived roles around an original role from which they are derived. By this means we account for the existence of (...) groups of similar roles which are difficult to distinguish without a careful analysis of the temporal aspects. Following detailed informal discussion, we present a preliminary formalisation of the key concepts and relations. (shrink)

The goal of the 2010 Ontology Summit was to address the current shortage of persons with ontology expertise by developing a strategy for the education of ontologists. To achieve this goal we studied how ontologists are currently trained, the requirements identified by organizations that hire ontologists, and developments that might impact the training of ontologists in the future. We developed recommendations for the body of knowledge that should be taught and the skills that should be developed by future ontologists; these (...) recommendations are intended as guidelines for institutions and organizations that may consider establishing a program for training ontologists. Further, we recommend a number of specific actions for the community to pursue. (shrink)

With the recent developments in the Human Genome Mapping Project and the new technologies that are developing from it there is a renewal of concern about eugenic applications. Francis Galton (b1822, d1911), who developed the subject of eugenics, suggested that the ancient Greeks had contributed very little to social theories of eugenics. In fact the Greeks had a profound interest in methods of supplying their city states with the finest possible progeny. This paper therefore reviews the works of Plato (The (...) Republic and Politics) and Aristotle (The Politics and The Athenian Constitution) which have a direct bearing on eugenic techniques and relates them to methods used in the present century. (shrink)

So-called ‘reified temporal logics’ were introduced by researchers in Artificial Intelligence (AI) in the early 1980s, and gave rise to a long-running series of debates concerning the proper way to represent states, events, causation, action, and other notions identified as crucial to the knowledge representation needs of AI. These debates never resulted in a definitive resolution of the issues under discussion, and indeed continue to produce aftershocks to the present day; none the less, we are now sufficiently far removed in (...) time from their heyday for it to be a worthwhile exercise to stand back and review them as a connected piece of history. (shrink)

An entity x is said to be generically dependent on a type F if x cannot exist without at least one entity of type F existing. In this paper several varieties of generic dependence are distinguished, differing in the nature of the relationship between an entity and the instances of a type on which it generically depends, and in the light of this, criteria of identity for generically dependent entities are investigated. These considerations are then illustrated in detail in a (...) series of three case studies, covering shapes, linguistic entities such as letters, words and sentences, and collectives. Each case study examines how far the entities involved have robust identity criteria, and to the extent that they do not it is questioned whether they can be regarded as bona fide examples of generic dependent entities. Finally, in the light of this, a number of possible accounts that may be given of the ontological status of such entities are considered. (shrink)

Eugenics can be defined as the use of science applied to the qualitative and quantitative improvement of the human genome. The subject was initiated by Francis Galton with considerable support from Charles Darwin in the latter half of the 19th century. Its scope has increased enormously since the recent revolution in molecular genetics. Genetic files can be easily obtained for individuals either antenatally or at birth; somatic gene therapy has been introduced for some rare inborn errors of metabolism; and gene (...) manipulation of human germ-line cells will no doubt occur in the near future to generate organs for transplantation. The past history of eugenics has been appalling, with gross abuses in the USA between 1931 and 1945 when compulsory sterilization was practised; and in Germany between 1933 and 1945 when mass extermination and compulsory sterilization were performed. To prevent such abuses in the future statutory bodies, such as a genetics commission, should be established to provide guidance and rules of conduct for use of the new information and technologies as applied to the human genome. (shrink)

Expressions designating collectives, such as “the committee” or “the ships in the port”, may be interpreted de re or de dicto, depending on context, according as they pick out collectives defined by their members or collectives defined by some criterion for membership. We call these E-collectives and I-collectives respectively, and in this paper we explore in depth the relationship between these two categories. In particular, we identify important respects in which they differ, regarding the nature of the dependence of the (...) collective on its members, the nature of the parthood relation in which the members stand to the whole, and, from an application perspective, the different methods used for identifying the two forms of collective from large spatio-temporal data-sets. (shrink)

We are surrounded by collective phenomena, with examples existing on many levels of granularity. Despite our frequent experiences of such phenomena they seem to have been largely ignored within the field of ontology. In this paper, existing ontologies are examined to determine the extent to which they can adequately represent collective phenomena, and are found wanting in a number of important respects. An adequate representation of collective phenomena must do justice to the often subtle relationship that exists between a collective (...) viewed as a whole and its constitution as a plurality of individual participants. An important prerequisite for this is to determine the range of variation that exists within the broad class of collectives. Numerous examples of collective phenomena have been studied to extract appropriate classification criteria. The results from this study are used to produce a new typology of collectives which is intended to establish a basis for the adequate treatment of collectives within an ontology. To illustrate the classification system we show how it can be used to highlight the significant distinctions between a suitably diverse range of examples. The paper concludes with a set of further research questions that have been raised during the development of the taxonomy. (shrink)

The value of logic techniques in circuit design has been well-known for many years, but a thorough grounding in mathematical logic is needed for all stages of software development, especially program specification, verification and program transformation. In all these stages, logic underpins the theory, bearing out the dictum that Logic is the calculus of computer science. This book presents the subject of mathematical logic in order to provide a grounding for students in computer science.

In this paper we consider two key concepts from software engineering—‘specification’ and ‘implementation’—and explore their possible applications outside software engineering to other disciplines, notably the philosophy of action, evolutionary biology, and cognitive science. Throughout, the emphasis is on the gain in conceptual clarity that can be afforded by these concepts; it is not so much a matter of new knowledge or new theories but of a reorganization of existing knowledge and theories in a way that facilitates the transfer of insights (...) across a range of related fields. (shrink)

Standing on the Shoulders of Darwin and Mendel: Early Views of Inheritance explores early theories about the mechanisms of inheritance. Beginning with Charles Darwin's now rejected Gemmule hypothesis, the book documents the reception of Gregor Mendel's work on peas and follows the work of early 20th century scholars. The research of Francis Galton, a cousin of Darwin, and the friction it caused between these two are a part of longer story of the development of genetics and an understanding of how (...) offspring inherit the characteristics of their parents. Bateson, Garrod, de Vries, Tschermak and others are all characters in a scientific story of discovery, acrimony, cooperation and revelation. (shrink)