Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go (...) hand-in-hand, and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

On March 14-15, 2006, at the US National Institute of Standards and Technology (NIST) in Gaithersburg, MD there took place the first Upper Ontology Summit (UOS). This was a convening of custodians of several prominent upper ontologies, key technology participants, and interested other parties, with the purpose of finding a means to relate the different ontologies to each other. The result is reflected in a joint communiqué, directed to the larger ontology community and the general public, (...) and expressing a joint intent to build bridges among the existing upper ontologies in ways designed to increase and rationalize their utilization and to enhance their semantic interoperability. (shrink)

In his “Bridging mainstream and formal ontology”, Augusto (2021) gives an excellent analysis of Dietrich von Freiberg’s idea of using causality as a partitioning principle for upper ontologies. For this Dietrich’s notion of extrinsic principles is crucial. The question whether causation can and indeed should be used as a partitioning principle for ontologies is discussed using mathematics and physics as examples.

Every domain-specific ontology must use as a framework some upper-level ontology which describes the most general domain-independent categories of reality. In the present paper we sketch a new type of upper-level ontology, and we outline an associated knowledge modelling language called GOL – for: General Ontological Language. It turns out that the upper-level ontology underlying well-known standard modelling languages such as KIF, F-Logic and CycL is restricted to the ontology of sets. In (...) a set theory which allows Urelements, however, there will be ontological relations between these Urelements which the set-theoretic machinery cannot capture. In contrast to standard modelling and representation formalisms, GOL provides a machinery for representing and analysing such ontologically basic relations. GOL is thus a genuine extension of KIF and of similar languages. In GOL entities are divided into sets and Urelements, the latter being divided in their turn into individuals and universals. Foremost among the individuals are things or substances, tropes or moments, and situoids: entities containing facts as components. (shrink)

Preference relations are intensively studied in Economics, but they are also approached in AI, Knowledge Representation, and Conceptual Modelling, as they provide a key concept in a variety of domains of application. In this paper, we propose an ontological foundation of preference relations to formalise their essential aspects across domains. Firstly, we shall discuss what is the ontological status of the relata of a preference relation. Secondly, we investigate the place of preference relations within a rich taxonomy of relations (e.g. (...) we ask whether they are internal or external, essential or contingent, descriptive or nondescriptive relations). Finally, we provide an ontological modelling of preference relation as a module of a foundational (or upper) ontology (viz. OntoUML). The aim of this paper is to provide a sharable foundational theory of preference relation that foster interoperability across the heterogeneous domains of application of preference relations. (shrink)

Although the last decade has seen a proliferation of ontological approaches to arguments, many of them employ ad hoc solutions to representing arguments, lack interoperability with other ontologies, or cover arguments only as part of a broader approach to evidence. To provide a better ontological representation of arguments, we present the Arguments Ontology (ArgO), a small ontology for arguments that is designed to be imported and easily extended by researchers who work in different upper-level ontology frameworks, (...) different logics, and different approaches to argument evaluation. Unlike most ontological approaches to arguments, ArgO utilizes Basic Formal Ontology (BFO) as an upper-level ontology, and may be used alongside other commonly used ontologies in the BFO framework, including boththe Information Artifact Ontology (IAO), and the Information Entity Ontology (INFO). Critically, our proposal is principled, based on rigorous definitions and formal axioms out of which characterizations of arguments naturally fall. It is our hope that ArgO may assist researchers in many projects, including: integrating heterogeneous sources of evidence, structuring the content of semantic wikis, and enhancing semantic reasoning. (shrink)

Every domain-specific ontology must use as a framework some upper-level ontology which describes the most general, domain-independent categories of reality. In the present paper we sketch a new type of upper-level ontology, which is intended to be the basis of a knowledge modelling language GOL (for: 'General Ontological Language'). It turns out that the upper- level ontology underlying standard modelling languages such as KIF, F-Logic and CycL is restricted to the ontology of (...) sets. Set theory has considerable mathematical power and great flexibility as a framework for modelling different sorts of structures. At the same time it has the disadvantage that sets are abstract entities (entities existing outside the realm of time, space and causality), and thus a set-theoretical framework should be supplemented by some other machinery if it is to support applications in the ripe, messy world of concrete objects. In the present paper we partition the entities of the real world into sets and urelements, and then we introduce several new ontological relations between these urelements. In contrast to standard modelling and representation formalisms, the concepts of GOL provide a machinery for representing and analysing such ontologically basic relations. (shrink)

The world of ontology development is full of mysteries. Recently, ISO Standard 15926 (“Lifecycle Integration of Process Plant Data Including Oil and Gas Production Facilities”), a data model initially designed to support the integration and handover of large engineering artefacts, has been proposed by its principal custodian for general use as an upper level ontology. As we shall discover, ISO 15926 is, when examined in light of this proposal, marked by a series of quite astonishing defects, which (...) may however provide general lessons for the developers of ontologies in the future. (shrink)

Mental and behavioral disorders represent a significant portion of the public health burden in all countries. The human cost of these disorders is immense, yet treatment options for sufferers are currently limited, with many patients failing to respond sufficiently to available interventions and drugs. High quality ontologies facilitate data aggregation and comparison across different disciplines, and may therefore speed up the translation of primary research into novel therapeutics. Realism-based ontologies describe entities in reality and the relationships between them in such (...) a way that – once formulated in a suitable formal language – the ontologies can be used for sophisticated automated reasoning applications. Reference ontologies can be applied across different contexts in which different, and often mutually incompatible, domain-specific vocabularies have traditionally been used. In this contribution we describe the Mental Functioning Ontology (MF) and Mental Disease Ontology (MD), two realism-based ontologies currently under development for the description of humanmental functioning and disease. We describe the structure and upper levels of the ontologies and preliminary application scenarios, and identify some open questions. (shrink)

Basic Formal Ontology was created in 2002 as an upper-level ontology to support the creation of consistent lower-level ontologies, initially in the subdomains of biomedical research, now also in other areas, including defense and security. BFO is currently undergoing revisions in preparation for the release of BFO version 2.0. We summarize some of the proposed revisions in what follows, focusing on BFO’s treatment of material entities, and specifically of the category object.

Changes in an upper level ontology have obvious conse-quences for the domain ontologies that use it at lower levels. It is therefore crucial to document the changes made between successive versions of ontologies of this kind. We describe and apply a method for tracking, explaining and measuring changes between successive versions of upper level ontologies such as the Basic Formal Ontology (BFO). The proposed change-tracking method extends earlier work on Realism-Based Ontology Versioning (RBOV) and Evolutionary (...) Terminology Auditing (ETA). We describe here the application of this evaluation method to changes between BFO 1.0, BFO 1.1, and BFO 2.0. We discuss the issues raised by this application and describe the extensions which we added to the original evaluation schema in order to account for changes in an ontology of this type. Our results show that BFO has undergone eight types of changes that can be systematically explained by the extended evaluation schema. Finally, we discuss problematic cases, possible pitfalls and certain limits of our study that we propose to address in future work. (shrink)

This paper addresses the use of dispositions in the Infectious Disease Ontology (IDO). IDO is an ontology constructed according to the principles of the Open Biomedical Ontology (OBO) Foundry and uses the Basic Formal Ontology (BFO) as an upper ontology. After providing a brief introduction to disposition types in BFO and IDO, we discuss three general techniques for representing combinations of dispositions under the headings blocking dispositions, complementary dispositions, and collective dispositions. Motivating examples for (...) each combination of dispositions is given along with a specific use case in IDO. Description logic restrictions are used to formalize statements relating to these combinations. (shrink)

Background: Systematized Nomenclature of Medicine—Clinical Terms (SNOMED CT, hereafter abbreviated SCT) is acomprehensive medical terminology used for standardizing the storage, retrieval, and exchange of electronic healthdata. Some efforts have been made to capture the contents of SCT as Web Ontology Language (OWL), but theseefforts have been hampered by the size and complexity of SCT. Method: Our proposal here is to develop an upper-level ontology and to use it as the basis for defining the termsin SCT in a (...) way that will support quality assurance of SCT, for example, by allowing consistency checks ofdefinitions and the identification and elimination of redundancies in the SCT vocabulary. Our proposed upper-levelSCT ontology (SCTO) is based on the Ontology for General Medical Science (OGMS). Results: The SCTO is implemented in OWL 2, to support automatic inference and consistency checking. Theapproach will allow integration of SCT data with data annotated using Open Biomedical Ontologies (OBO) Foundryontologies, since the use of OGMS will ensure consistency with the Basic Formal Ontology, which is the top-levelontology of the OBO Foundry. Currently, the SCTO contains 304 classes, 28 properties, 2400 axioms, and 1555annotations. It is publicly available through the bioportal athttp://bioportal.bioontology.org/ontologies/SCTO/. Conclusion: The resulting ontology can enhance the semantics of clinical decision support systems and semanticinteroperability among distributed electronic health records. In addition, the populated ontology can be used forthe automation of mobile health applications. (shrink)

Basic Formal Ontology (BFO) is a top-level ontology used in hundreds of active projects in scientific and other domains. BFO has been selected to serve as top-level ontology in the Industrial Ontologies Foundry (IOF), an initiative to create a suite of ontologies to support digital manufacturing on the part of representatives from a number of branches of the advanced manufacturing industries. We here present a first draft set of axioms and definitions of an IOF upper (...) class='Hi'>ontology descending from BFO. The axiomatization is designed to capture the meanings of terms commonly used in manufacturing and is designed to serve as starting point for the construction of the IOF ontology suite. (shrink)

Affective science conducts interdisciplinary research into the emotions and other affective phenomena. Currently, such research is hampered by the lack of common definitions of te rms used to describe, categorise and report both individual emotional experiences and the results of scientific investigations of such experiences. High quality ontologies provide formal definitions for types of entities in reality and for the relationships between such entities, definitions which can be used to disambiguate and unify data across different disciplines. Heretofore, there has been (...) little effort directed towards such formal representation for affective phenomena, in part because of widespread debates within the affective science community on matters of definition and categorization. We describe our efforts towards developing an Emotion Ontology (EMO) to serve the affective science community. We here focus on conformity to the BFO upper ontology and disambiguation of polysemous terminology. (shrink)

We propose a modular ontology of the dynamic features of reality. This amounts, on the one hand, to a purely spatial ontology supporting snapshot views of the world at successive instants of time and, on the other hand, to a purely spatiotemporal ontology of change and process. We argue that dynamic spatial ontology must combine these two distinct types of inventory of the entities and relationships in reality, and we provide characterizations of spatiotemporal reasoning in the (...) light of the interconnections between them. (shrink)

Numerous research groups are now utilizing Basic Formal Ontology as an upper-level framework to assist in the organization and integration of biomedical information. This paper provides elucidation of the three existing BFO subcategories of realizable entity, namely function, role, and disposition. It proposes one further sub-category of tendency, and considers the merits of recognizing two sub-categories of function for domain ontologies, namely, artifactual and biological function. The motivation is to help advance the coherent ontological treatment of functions, roles, (...) and dispositions, to help provide the potential for more detailed classification, and to shed light on BFO’s general make-up and use. (shrink)

This paper proposes a reformulation of the treatment of boundaries, at parts and aggregates of entities in Basic Formal Ontology. These are currently treated as mutually exclusive, which is inadequate for biological representation since some entities may simultaneously be at parts, boundaries and/or aggregates. We introduce functions which map entities to their boundaries, at parts or aggregations. We make use of time, space and spacetime projection functions which, along the way, allow us to develop a simple temporal theory.

The COVID-19 pandemic prompted immense work on the investigation of the SARS-CoV-2 virus. Rapid, accurate, and consistent interpretation of generated data is thereby of fundamental concern. Ontologies––structured, controlled, vocabularies––are designed to support consistency of interpretation, and thereby to prevent the development of data silos. This paper describes how ontologies are serving this purpose in the COVID-19 research domain, by following principles of the Open Biological and Biomedical Ontology (OBO) Foundry and by reusing existing ontologies such as the Infectious Disease (...) Ontology (IDO) Core, which provides terminological content common to investigations of all infectious diseases. We report here on the development of an IDO extension, the Virus Infectious Disease Ontology (VIDO), a reference ontology covering viral infectious diseases. We motivate term and definition choices, showcase reuse of terms from existing OBO ontologies, illustrate how ontological decisions were motivated by relevant life science research, and connect VIDO to the Coronavirus Infectious Disease Ontology (CIDO). We next use terms from these ontologies to annotate selections from life science research on SARS-CoV-2, highlighting how ontologies employing a common upper-level vocabulary may be seamlessly interwoven. Finally, we outline future work, including bacteria and fungus infectious disease reference ontologies currently under development, then cite uses of VIDO and CIDO in host-pathogen data analytics, electronic health record annotation, and ontology conflict-resolution projects. (shrink)

This work aims to present an overview of the top-level ontology BFO - Basic Formal Ontology - and its applicability for Satellite Systems. As an upper level ontology, the BFO was designed to be extended, providing the basis for the specification of detailed representational artifacts about scientific information domains. These aspects and the challenges of satellite systems complexity and large size compose a suitable scenario for the creation of a specialized dialect to improve efficiency and accuracy (...) when modeling such systems. By analyzing BFO based ontologies in other disciplines and existing satellite models it is possible to describe an application for satellite systems, which can provide a foundation for the creation of a concrete ontology to be applied on satellite modeling. (shrink)

A condensed summary of the adventures of ideas (1990-2020). Methodology of evolutionary-phenomenological constitution of Consciousness. Vector (BeVector) of Consciousness. Consciousness is a qualitative vector quantity. Vector of Consciousness as a synthesizing category, eidos-prototecton, intentional meta-observer. The development of the ideas of Pierre Teilhard de Chardin, Brentano, Husserl, Bergson, Florensky, Losev, Mamardashvili, Nalimov. Dialectic of Eidos and Logos. "Curve line" of the Consciousness Vector from space and time. The lower and upper sides of the "abyss of being". The existential tension (...) of being. Five reference “points” (existential-extremum) - world events in the evolution of Consciousness from “homo habilis” to “homo sapiens sapiens”. “Prometheus Effect". Inversion and reversion of Сonsciousness. "Open" and "closed" Сonsciousness. Consciousness and Self-Consciousness. Protogeometer: fall in the future, in the "EgoLand". The problem of justification/substantiation of mathematics (knowledge) is an ontological problem. The crisis of ontology and ontological limits of cognition. Ontological structure of space. The project of constructive dialectic ontology. The methodology of dialectical-ontological construction (modeling): conceptual-figure synthesis, total unification of matter, coincidence of ontological opposites, primordial Meta-Axioma and Superprinciple, vector (bivector) of the absolute state (states) of matter (absolute forms of existence). The ontological "celestial triangle" (Plato). Ontological invariants of the Universum and their ontological paths. Ontological and gnoseological dimensions of space. Triune (ontological) space of nine gnoseological dimensions: absolute rest (linear state, "Continuum")+ absolute motion (absolute vortex, "Discretuum") + absolute becoming (absolute wave, "Dis-Continuum"). Primordial generating structure: ontological framework, ontological carcass and ontological foundation. Ontological (structural, cosmic) memory - the semantic core of the conceptual construction of the Universum being as an eternal process of generation of new meanings and structures. Consciousness is an absolute (unconditional) attractor of meanings, a univalent phenomenon of ontological memory, which manifests itself at a certain level of the Universum being. Ontological space-MatterMemory-Ontological time (S-MM-T). Ontological Rhythm and Cycle. The nature and structure of ontological time. Natural (absolute) determinism. (shrink)

This monograph investigates the temporal interpretation of narrative discourse in two parts. The theme of the first part is narrative progression. It begins with a case study of the adverb ‘now’ and its interaction with the meaning of tense. The case study motivates an ontological distinction between events, states and times and proposes that ‘now’ seeks a prominent state that holds throughout the time described by the tense. Building on prior research, prominence is shown to be influenced by principles of (...) discourse coherence and two coherence principles, NARRATION and RESULT, are given a formally explicit characterization. The key innovation is a new method for testing the definitional adequacy of NARRATION and RESULT, namely by an abductive argument. This contribution opens a new way of thinking about how eventive and stative descriptions contribute to the perceived narrative progression in a discourse. -/- The theme of the second part of the monograph is the semantics and pragmatics of tense. A key innovation is that the present and past tenses are treated as scalar alternatives, a view that is motivated by adopting a particular hypothesis concerning stative predication. The proposed analysis accounts for tense in both matrix clauses and in complements of propositional attitudes, where the notorious double access reading arises. This reading is explored as part of a corpus study that provides a glimpse of how tense semantics interacts with Gricean principles and at-issueness. Several cross-linguistic predictions of the analysis are considered, including their consequences for the Sequence of Tense phenomenon and the Upper Limit Constraint. Finally, a hypothesis is provided about how tense meanings compose with temporal adverbs and verb phrases. Two influential analysis of viewpoint aspect are then compared in light of the hypothesis. (shrink)

Functional reductionism characterises inter-theoretic reduction as the recovery of the upper-level behaviour described by the reduced theory in terms of the lower-level reducing theory. For instance, finding a statistical mechanical realiser that plays the functional role of thermodynamic entropy allows for establishing a reductive link between thermodynamics and statistical mechanics. This view constitutes a unique approach to reduction that enjoys a number of positive features, but has received limited attention in the philosophy of science. -/- This paper aims to (...) clarify the meaning of functional reductionism in science, with a focus on physics, to define both its place with respect to other approaches to reduction and its connection to ontology. To do so, we develop and explore two alternative frameworks for functional reduction, called Syntactic Functional Reductionism and Semantic Functional Reductionism. They represent two different possible stances on the view that expand and improve the basic functional reductionist approach along different lines, and make clear how the approach works in practice. The former elaborates on David Lewis’ account, is connected with the syntactic view of theories, is committed to a logical characterisation of functional roles, and is embedded within Nagelian reductionism. The latter adopts a semantic view of theories, spells out functional roles mainly in terms of mathematical roles within the models of theories, and is expressed in terms of the related structuralist approach to reduction. The development of these frameworks has the final goal of advancing functional reductionism, to make it a fully-fledged alternative account for reduction in science. (shrink)

Extended entities have boundaries of two different sorts: those that do, and those that do not correspond to physical discontinuities. Call the first sort (coastlines, the surface of your nose) bona fide boundaries; and the second (the boundary of Montana, the boundary separating your upper from your lower torso) fiat boundaries. Fiat boundaries are found especially in the geographic realm, but are involved wherever language carves out portions of reality in ways which do not reflect physical discontinuities. These ideas (...) are applied to the treatment of cognitive categorization, of the semantics of vagueness, of Quine’s indeterminacy thesis, and of standard ontological problems such as Tibbles’ tail. (shrink)

Limitarianism holds that there is an upper limit to how many resources, such as wealth and income, people can permissibly have. In this article, I examine the conceptual structure of limitarianism. I focus on the upper limit and the idea that resources above the limit are ‘excess resources’. I distinguish two possible limitarian views about such resources: (i) that excess resources have zero moral value for the holder; and (ii) that excess resources do have moral value for the (...) holder but that their claim to such resources is outweighed by other normative concerns. Moreover, I argue that, depending on the values limitarianism seeks to promote, limitarians should care about the number of people with excess resources or the total amount of excess resources (or both), that they can adopt redistributive measures and/or predistributive measures, and that some versions of limitarianism should take into account the distribution of risk among those above the riches line. (shrink)

Ontological pluralism is the view that there are different ways to exist. It is a position with deep roots in the history of philosophy, and in which there has been a recent resurgence of interest. In contemporary presentations, it is stated in terms of fundamental languages: as the view that such languages contain more than one quantifier. For example, one ranging over abstract objects, and another over concrete ones. A natural worry, however, is that the languages proposed by the pluralist (...) are mere notational variants of those proposed by the monist, in which case the debate between the two positions would not seem to be substantive. Jason Turner has given an ingenious response to this worry, in terms of a principle that he calls ‘logical realism’. This paper offers a counter-response on behalf of the ‘notationalist’. I argue that, properly applied, the principle of logical realism is no threat to the claim that the languages in question are notational variants. Indeed, there seems to be every reason to think that they are. (shrink)

Ontological pluralism is the view that there are different ways of being. Historically, ways of being are aligned with the ontological categories. This paper is about to investigate why there is such a connection, and how it should be understood. Ontological pluralism suffers from an objection, according to which ontological pluralism collapses into ontological monism, i.e., there is only one way to be. Admitting to ontological categories can save ontological pluralism from this objection if ways of being ground ontological categories. (...) -/- . (shrink)

Where AR is the set of arithmetic Turing degrees, 0 (ω ) is the least member of { $\mathbf{\alpha}^{(2)}|\mathbf{a}$ is an upper bound on AR}. This situation is quite different if we examine HYP, the set of hyperarithmetic degrees. We shall prove (Corollary 1) that there is an a, an upper bound on HYP, whose hyperjump is the degree of Kleene's O. This paper generalizes this example, using an iteration of the jump operation into the transfinite which is (...) based on results of Jensen and is detailed in [3] and [4]. In $\S1$ we review the basic definitions from [3] which are needed to state the general results. (shrink)

Electromagnetism is usually understood as a theory describing how charged particles and eletromagnetic fields interact. In this paper I argue that a double ontology comprising both particles and fields is problematic. Either we should think of electromagnetism as a theory about charged particles directly interacting with each other, or as theory of fields whose local interactions are manifested as field quanta, called "particles." From a purely theoretical point of view the choice between a particle and a field interpretation does (...) not matter much when it concerns classical electromagnetism; both interpretations are possible and, as shown by Quine, there is a general method for translating a theory about one kind of objects into a theory assuming another kind of objects, provided these theories are empirically equivalent. From an empiricist point of view, however, the particle interpretation is the choice, since some particles are directly observable. Testable predictions of electromagnetism are predictions of the motion of charged bodies, in theory represented as particles, so this must be the empiricists' choice of ontology. In quantum electrodynamics one is however forced to chose a field ontology, since a particle ontology for this theory is impossible. So called "quantum particles" are field quanta, which cannot be treated as individuals making up a domain of quantification. There is thus a tension regarding ontology between classical and quantum electrodynamics. But this tension is nothing else than the much debated measurement problem of quantum mechanics. (shrink)

A scientific theory is successful, according to Stanford (2000), because it is suficiently observationally similar to its corresponding true theory. The Ptolemaic theory, for example, is successful because it is sufficiently similar to the Copernican theory at the observational level. The suggestion meets the scientific realists' request to explain the success of science without committing to the (approximate) truth of successful scientific theories. I argue that Stanford's proposal has a conceptual flaw. A conceptually sound explanation, I claim, respects the ontological (...) order between properties. A dependent property is to be explained in terms of its underlying property, not the other way around. The applicability of this point goes well beyond the realm of the debate between scientific realists and antirealists. Any philosophers should keep the point in mind when they attempt to give an explanation of a property in their field whatever it may be. (shrink)

One famous scene in The Wolf of Wall Street (2013) is the dialogue between the young Jordan Belfort (Leonardo DiCaprio) and the expert trader Mark Hanna (Matthew McConaughey). Hanna is complaining that the stock market is unpredictable; it’s “fugazi … it’s fairy dust. It doesn’t exist. It’s never landed. It is not matter. It’s not on the element chart. It’s not real”. But the fact that something is unpredictable and non-physical does not imply that it does not exist. On the (...) other hand, its unpredictability, non-physicality, and the fact that the stock market trend is largely determined by investors’ beliefs, do make its nature difficult to grasp. -/- This special issue of Rivista di Estetica aims to explore the financial sector from an ontological point of view. While the ontology of money has been extensively studied, few scholars have focused on the stock market and, more generally, on those entities belonging to the investment landscape. Matters are made more complicated by the fact that the financial sector is characterized by an ever-increasing use of digital technology, including software elements that trade in the market themselves. We believe that a careful study of this phenomenon may help us better to understand the role of artificial agents in the social world. (shrink)

'Ontology and Metaontology: A Contemporary Guide' is a clear and accessible survey of ontology, focussing on the most recent trends in the discipline. -/- Divided into parts, the first half characterizes metaontology: the discourse on the methodology of ontological inquiry, covering the main concepts, tools, and methods of the discipline, exploring the notions of being and existence, ontological commitment, paraphrase strategies, fictionalist strategies, and other metaontological questions. The second half considers a series of case studies, introducing and familiarizing (...) the reader with concrete examples of the latest research in the field. The basic sub-fields of ontology are covered here via an accessible and captivating exposition: events, properties, universals, abstract objects, possible worlds, material beings, mereology, fictional objects. -/- The guide's modular structure allows for a flexible approach to the subject, making it suitable for both undergraduates and postgraduates looking to better understand and apply the exciting developments and debates taking place in ontology today. (shrink)

The aim of this paper is to summarize a particular approach of doing metaphysics through physics - the primitive ontology approach. The idea is that any fundamental physical theory has a well-defined architecture, to the foundation of which there is the primitive ontology, which represents matter. According to the framework provided by this approach when applied to quantum mechanics, the wave function is not suitable to represent matter. Rather, the wave function has a nomological character, given that its (...) role in the theory is to implement the law of evolution for the primitive ontology. (shrink)

A substantial article length introduction to a collection on social ontology and mutual recognition.

Chapter 3 of an e-book 'Handbook for Logotherapists' 2024 (Niiles-Mäki Anne). Institute for Purpose-centered Philosophy Finland.

The theory of granular partitions (TGP) is a new approach to the understanding of ontologies and other classificatory systems. The paper explores the use of this new theory in the treatment of task-based clinical guidelines as a means for better understanding the relations between different clinical tasks, both within the framework of a single guideline and between related guidelines. We used as our starting point a DAML+OIL-based ontology for the WHO guideline for hypertension management, comparing this with related guidelines (...) and attempting to show that TGP provides a flexible and highly expressive basis for the manipulation of ontologies of a sort which might be useful in providing more adequate Computer Interpretable Guideline Models (CIGMs) in the future. (shrink)

In the era of “big data,” science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that (...) is of particular relevance to biomedicine, covering theoretical components of ontologies, best practices for ontology design, and examples of biomedical ontologies in use. After defining an ontology as a representation of the types of entities in a given domain, the book distinguishes between different kinds of ontologies and taxonomies, and shows how applied ontology draws on more traditional ideas from metaphysics. It presents the core features of the Basic Formal Ontology (BFO), now used by over one hundred ontology projects around the world, and offers examples of domain ontologies that utilize BFO. The book also describes Web Ontology Language (OWL), a common framework for Semantic Web technologies. Throughout, the book provides concrete recommendations for the design and construction of domain ontologies. (shrink)

As it emerged from philosophical analyses and cognitive research, most concepts exhibit typicality effects, and resist to the efforts of defining them in terms of necessary and sufficient conditions. This holds also in the case of many medical concepts. This is a problem for the design of computer science ontologies, since knowledge representation formalisms commonly adopted in this field (such as, in the first place, the Web Ontology Language - OWL) do not allow for the representation of concepts in (...) terms of typical traits. The need of representing concepts in terms of typical traits concerns almost every domain of real world knowledge, including medical domains. In particular, in this article we take into account the domain of mental disorders, starting from the DSM-5 descriptions of some specific disorders. We favour a hybrid approach to concept representation, in which ontology oriented formalisms are combined to a geometric representation of knowledge based on conceptual space. As a preliminary step to apply our proposal to mental disorder concepts, we started to develop an OWL ontology of the schizophrenia spectrum, which is as close as possible to the DSM-5 descriptions. (shrink)

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic (...) expressivity to existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

Ontological pluralism is the view that there are different fundamental ways of being. Trenton Merricks has recently raised three objections to combining pluralism with a generic way of being enjoyed by absolutely everything there is: first, that the resulting view contradicts the pluralist’s core intuition; second, that it is especially vulnerable to the charge—due to Peter van Inwagen—that it posits a difference in being where there is simply a difference in kind; and, third, that it is in tension with various (...) historically influential motivations for pluralism. I reply to each of these objections in turn. My replies will help to bring out the true nature of the pluralist’s basic commitments. (shrink)

Ontology as a branch of philosophy is the science of what is, of the kinds and structures of objects, properties, events, processes and relations in every area of reality. ‘Ontology’ in this sense is often used by philosophers as a synonym of ‘metaphysics’ (a label meaning literally: ‘what comes after the Physics’), a term used by early students of Aristotle to refer to what Aristotle himself called ‘first philosophy’. But in recent years, in a development hardly noticed by (...) philosophers, the term ‘ontology’ has gained currency in the field of computer and information science, and in information-driven research in bioinformatics and related areas. We examine these new developments in applied ontology, and show what lessons they might have for both philosophers and information scientists. (shrink)

It is argued that the many-worlds interpretation is by far the best interpretation of quantum mechanics. The key points of this view are viewing the wave functions of worlds in three dimensions and understanding probability through self-locating uncertainty.

This article is a brief overview of major ontological arguments. The most noteworthy feature of this article is the statement of a new parody of the Anselmian and Cartesian arguments that is obviously immune to objections adverting to intrinsic minima and maxima.

Formal ontology as a main branch of metaphysics investigates categories of being. In the formal ontological approach to metaphysics, these ontological categories are analysed by ontological forms. This analysis, which we illustrate by some category systems, provides a tool to assess the clarity, exactness and intelligibility of different category systems or formal ontologies. We discuss critically different accounts of ontological form in the literature. Of ontological form, we propose a character- neutral relational account. In this metatheory, ontological forms of (...) entities are their standings in internal relations whose holding is neutral on the character of their relata. These relations are “formal ontological relations”. Entities belong to ontological categories because they stand in the same formal ontological relations. We hold a nominalist relationalism about ontological categories and forms. We conclude by showing that our metatheory is useful for understanding categorial fundamentality/non- fundamentality, different formal ontologies, and for unifying metaphysical questions. (shrink)

This essay provides an opinionated survey of some recent developments in the literature on ontological dependence. Some of the most popular definitions of ontological dependence are formulated in modal terms; others in non-modal terms (e.g., in terms of the explanatory connective, ‘because’, or in terms of a non-modal conception of essence); some (viz., the existential construals of ontological dependence) emphasise requirements that must be met in order for an entity to exist; others (viz., the essentialist construals) focus on conditions that (...) must be satisfied in order for an entity to be the very entity it is at each time at which it exists; some are rigid, in the sense that they concern a relation between particular entities; others are generic, in the sense that they involve only a relation between an entity and some entities or other, which bear certain characteristics. I identify three potential measures of success with respect to which these different definitions of ontological dependence can be evaluated and consider the question of how well they in fact meet these desiderata. I end by noting that certain challenges face even the most promising essentialist construals of ontological dependence. (shrink)

I present a discussion of some issues in the ontology of spacetime. After a characterisation of the controversies among relationists, substantivalists, eternalists, and presentists, I offer a new argument for rejecting presentism, the doctrine that only present objects exist. Then, I outline and defend a form of spacetime realism that I call event substantivalism. I propose an ontological theory for the emergence of spacetime from more basic entities. Finally, I argue that a relational theory of pre-geometric entities can give (...) rise to substantival spacetime in such a way that relationism and substantivalism are not necessarily opposed positions, but rather complementary. In an appendix I give axiomatic formulations of my ontological views. (shrink)

One striking oddity about Democritus and Epicurus is that, even though Epicurus' theory of perception is largely the same as that of Democritus, Democritus and his followers draw skeptical conclusions from this theory of perception, whereas Epicurus declares that all perceptions are true or real. I believe that the dispute between Democritus and Epicurus stems from a question over what sort of ontological status should be assigned to sensible qualities. In this paper, I address three questions: 1) Why were Democritus (...) and his followers skeptical? 2) How did Epicurus modify Democritus' metaphysics in order to avoid these skeptical conclusions? and 3) How successful was he? -/- 1) I argue that Democritus allows only the intrinsic properties of atoms into his ontology, and then runs into skeptical difficulties because of the relativity of perception. 2) I propose that Epicurus modifies Democritus' ontology by allowing dispositional and relational properties as real properties of bodies. Sensible qualities are conceptualized as dispositional properties of bodies to cause certain experiences in percipients. 3) I argue that Epicurus does not run into the same problems as Democritus. Finally, I consider how my interpretation of Epicurus' ontology helps to make sense of his claim that all perceptions are alethes--'true' or 'real.'. (shrink)

Because climate change can be seen as the blind spot of contemporary philosophy of technology, while the destructive side effects of technological progress are no longer deniable, this article reflects on the role of technologies in the constitution of the (post)Anthropocene world. Our first hypothesis is that humanity is not the primary agent involved in world-production, but concrete technologies. Our second hypothesis is that technological inventions at an ontic level have an ontological impact and constitutes world. As we object to (...) classical philosophers of technology like Ihde and Heidegger, we will sketch the progressive contribution of our conceptuality to understand the role of technology in the Anthropocene world. Our third hypothesis is that technology has emancipatory potential and in this respect, can inaugurate a post-Anthropocene World. We consider these three hypotheses to develop a philosophical account of the ontology of technology beyond an abstract and deterministic understanding. This concept enables us to philosophically reflect on the role of technology in the Anthropocene World in general, and its contribution to the transition to the post-Anthropocene World in particular. (shrink)

In many different ontological debates, anti-arbitrariness considerations push one towards two opposing extremes. For example, in debates about mereology, one may be pushed towards a maximal ontology (mereological universalism) or a minimal ontology (mereological nihilism), because any intermediate view seems objectionably arbitrary. However, it is usually thought that anti-arbitrariness considerations on their own cannot decide between these maximal or minimal views. I will argue that this is a mistake. Anti-arbitrariness arguments may be used to motivate a certain popular (...) thesis in the philosophy of mathematics that rules out the maximalist view in many different ontological debates. (shrink)