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)

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)

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)

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.

The notion of specification plays a key role in the developing science of computing. It is typically considered to be the keystone in the software development process. However, there is no single, generally agreed meaning of specification that bears close scrutiny. Instead there is a variety of different, although partially interlocking and overlapping interpretations of the term.We catalogue this varietal profusion and attempt to lay bare both the sources and consequences of each major alternative. We attempt to present the full (...) range of possibilities, and the biases inherent in each style of interpretation. (shrink)