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

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)

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)

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)

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)

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)

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)

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)

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)

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.

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)