Inwagen, Peter van_Dispensing with Ontological Levels.

Scientists and philosophers frequently speak about levels of description, levels of explanation, and ontological levels. This paper presents a framework for studying levels. I give a general definition of a system of levels and discuss several applications, some of which refer to descriptive or explanatory levels while others refer to ontological levels. I illustrate the usefulness of this framework by bringing it to bear on some familiar philosophical questions. Is there a hierarchy of levels, with a fundamental (...) class='Hi'>level at the bottom? And what does the answer to this question imply for physicalism, the thesis that everything supervenes on the physical? Are there emergent higher-level properties? Are higher-level descriptions reducible to lower-level ones? Can the relationship between normative and non-normative domains be viewed as one involving levels? And might a levelled framework shed light on the relationship between third-personal and first-personal phenomena? (shrink)

Scientists and philosophers frequently speak about levels of description, levels of explanation, and ontological levels. In this paper, I propose a unified framework for modelling levels. I give a general definition of a system of levels and show that it can accommodate descriptive, explanatory, and ontological notions of levels. I further illustrate the usefulness of this framework by applying it to some salient philosophical questions: (1) Is there a linear hierarchy of levels, with a fundamental level at (...) the bottom? And what does the answer to this question imply for physicalism, the thesis that everything supervenes on the physical? (2) Are there emergent properties? (3) Are higher‐level descriptions reducible to lower‐level ones? (4) Can the relationship between normative and non‐normative domains be viewed as one involving levels? Although I use the terminology of “levels”, the proposed framework can also represent “scales”, “domains”, or “subject matters”, where these are not linearly but only partially ordered by relations of supervenience or inclusion. (shrink)

It is common in contemporary metaphysics to distinguish two levels of ontology: the ontology of ordinary objects and the ontology of fundamental reality. This papers argues that natural language reflects not only the ontology of ordinary objects, but also a language-driven ontology, which is involved in the mass-count distinction and part-structure-sensitive semantic selection, as well as perhaps the light ontology of pleonastic entities. The paper recasts my older theory of situated part structures without situations, making use of a primitive notion (...) of unity. (shrink)

My goal is to conceive how the reality would look like for hypothetical creatures that supposedly perceive on time scales much faster or much slower than that of us humans. To attain the goal, I propose modelling in two steps. At step one, we have to single out a unified parameter that sets time scale of perception. Changing substantially the value of the parameter would mean changing scale. I argue that the required parameter is duration of discrete perceptive frames, or (...) snapshots, whose sequencing constitutes perceptive process. I show that different standard durations of perceptive frames is the ground for differences in perceptive time scales of various animals. Abnormally changed duration of perceptive frames is the cause of the effect of distorted subjective time observed by humans under some conditions. Now comes step two of the modelling. By inserting some arbitrary duration of a perceptive frame, we set a hypothetical scale and thus emulate a viewpoint for virtual observation of the reality in a wider or narrower angle of embracing events in time. Like changing lenses of a microscope, viewing reality in different temporal scales makes certain features of reality manifested, others veiled. These are, in particular, features of life. If we observe an object in an inappropriate interval, we may not notice the very essence of a process it is undergoing. (shrink)

Willard van Orman Quine once said that he had a preference for a desert ontology. This was in an earlier day when concerns with logical structure and ontological simplicity reigned supreme. Ontological genocide was practiced upon whole classes of upper-level or ‘derivative’ entities in the name of elegance, and we were secure in the belief that one strayed irremediably into the realm of conceptual confusion and possible error the further one got from ontic fundamentalism. In those days, (...) one paid more attention to generic worries about possible errors than to actual errors derived from distancing oneself too far from the nitty-gritty details of actual theory, actual inferences from actual data, the actual conditions under which we posited and detected entities, calibrated and ‘burned in’ instruments, identified and rejected artifacts, debugged programs and procedures, explained the mechanisms behind regularities, judged correlations to be spurious, and in general, to the real complexities and richness of actual scientific practice. (shrink)

I present—in an extremely sketchy form—a model of two-level, open, plastic and multidimensional human nature. Due to the included attribute of multidimensionality this model opposes the reductive conceptions of man dominating in today’s philosophy. The main objective of the paper is the ontological status of man, especially the ontic foundation of multidimensional man. I demonstrate that this status remains a riddle; one only knows that from the ontological perspective man is a wholly exceptional object, not explainable by (...) to-date ontological constructions. (shrink)

In the field of applied ontology, it is now commonplace to refer to a top-level ontology, and the Basic Formal Ontology (BFO) has even been recognized as an ISO standard. Like other contemporary top-level ontologies, BFO makes use of distinctions that have been developed in philosophy, many of which are already to be found in Aristotele. In this essay, we revisit Aristotele’s metaphysics and discuss the similarities and differences with BFO.

Upper ontologies have traditionally arisen from the approach in which concepts that are common across a set of domains can be axiomatized at a general level. The rationale is that reuse across domains is to be supported through specialization of the general concepts from an upper ontology. Similarly, semantic integration between ontologies is to be achieved through the general concepts they specialize. The TUpper Ontology follows an alternative approach (referred to as the sideways approach) to the conventional upper ontology (...) paradigm. Rather than think of an upper ontology as a monolithic axiomatization centred on a taxonomy, the sideways approach considers an upper ontology to be a modular ontology composed of generic ontologies that cover concepts including those related to time, process, and space. TUpper is therefore composed of a set of generic ontologies, and each generic ontology axiomatizes a particular set of generic concepts (e.g., the classes and relations relevant for time, process, and space). The TUpper Ontology is designed as a top-level ontology that contains modules from the ontologies within existing international standards. (shrink)

The vitalism/reductionism debate in the life sciences shows that the idea of emergence as something principally unexplainable will often be falsified by the development of science. Nevertheless, the concept of emergence keeps reappearing in various sciences, and cannot easily be dispensed with in an evolutionary world-view. We argue that what is needed is an ontological nonreductionist theory of levels of reality which includes a concept of emergence, and which can support an evolutionary account of the origin of levels. Classical (...) explication of emergence as “the creation of new properties” is discussed critically, and specific distinctions between various kinds of emergence are introduced for the purpose of developing an ontology of levels, framed in a materialistic and evolutionary perspective. A concept of the relation between levels as being inclusive is suggested, permitting the “local” existence of different ontologies. We identify, as a working hypothesis, four primary levels and explicate their nonhomomorphic interlevel relations. Explainability of emergence in relation to determinism and predictability is considered. Recent research in self-organizing non-linear dynamical systems represents a revival of the scientific study of emergence, and we argue that these recent developments can be seen as a step toward a final “devitalisation” of emergence. (shrink)

The field of knowledge organization (KO) can be described as composed of the four distinct but connected layers of theory, systems, representation, and application. This paper focuses on the relations between KO theory and KO systems. It is acknowledged how the structure of KO systems is the product of a mixture of ontological, epistemological, and pragmatical factors. However, different systems give different priorities to each factor. A more ontologically-oriented approach, though not offering quick solutions for any particular group of (...) users, will produce systems of wide and long-lasting application as they are based on general, shareable principles. I take the case of the ontological theory of integrative levels, which has been considered as a useful source for general classifications for several decades, and is currently implemented in the Integrative Levels Classification system. The theory produces a sequence of main classes modelling a natural order between phenomena. This order has interesting effects also on other features of the system, like the citation order of concepts within compounds. As it has been shown by facet analytical theory, it is useful that citation order follow a principle of inversion, as compared to the order of the same concepts in the schedules. In the light of integrative levels theory, this principle also acquires an ontological meaning: phenomena of lower level should be cited first, as most often they act as specifications of higher-level ones. This ontological principle should be complemented by consideration of the epistemological treatment of phenomena: in case a lower-level phenomenon is the main theme, it can be promoted to the leading position in the compound subject heading. The integration of these principles is believed to produce optimal results in the ordering of knowledge contents. (shrink)

In this paper, we examine the meta-ontology of AI systems with human-level intelligence, with us denoting such AI systems as AI E. Meta-ontology in philosophy is a discourse centered on ontology, ontological commitment, and the truth condition of ontological theories. We therefore discuss how meta-ontology is conceptualized for AI E systems. We posit that the meta-ontology of AI E systems is not concerned with computational representations of reality in the form of structures, data constructs, or computational concepts, (...) while the ontological commitment of AI E systems is directed toward what exists in the outside world. Furthermore, the truth condition of the ontology (which is meta-ontological assumption) of AI E systems does not require consistency with closed conceptual schema or ontological theories but rather with reality, or in other words, “what is the world” (Smith, 2019, p.57). In addition, the truth condition of AI E systems is verified through operational success rather than by coherence with theories. This work builds on ontological postulates about AI systems that were formulated by Brian Cantwell Smith (2019). (shrink)

Prominent thinkers such as Kripke and Rescher hold that Russell has no modal logic, even that Russell was indisposed toward modal logic. In Part I, I show that Russell had a modal logic which he repeatedly described and that Russell repeatedly endorsed Leibniz's multiplicity of possible worlds. In Part II, I describe Russell's theory as having three ontological levels. In Part III, I describe six Parmenidean theories of being Russell held, including: literal in 1903; universal in 1912; timeless in (...) 1914; transcendental in 1918–1948. The transcendental theory underlies the primary level of Russell's modal logic. In Part IV, I examine Rescher's view that Russell and modal logic did not mix. (shrink)

This paper suggests that within Aristotle’s well-known contribution to the history of ontology two different levels should be kept apart, an analytic-critical and a constructive level. On the first level Aristotle mainly provides analytic-critical tools for overcoming the main problems of all dealings with the notions of being and to be, while the second level consists in Aristotle’s ambitious project of conducting first philosophy (i.e. the specific part of his philosophy that is meant to continue the old (...) and time-honoured project of identifying what Aristotle calls ‘first principles and causes’) as ontology, i.e. as an inquiry into being qua being. (shrink)

In our work, we systematize and analyze implicit ontological commitments in the responses generated by large language models (LLMs), focusing on ChatGPT 3.5 as a case study. We investigate how LLMs exhibit implicit ontological categorizations reflected in the texts they generate, despite having no explicit ontology. The article proposes an approach to understanding the ontological commitments of LLMs by defining ontology as a theory that provides a systematic account of the ontological commitments of some text. We (...) investigate the ontological assumptions of ChatGPT and present a systematized account, that is, GPT’s top-level ontology. This includes a taxonomy, which is available as an OWL file, as well as a discussion about ontological assumptions (e.g., about its mereology or presentism). We show that in some aspects GPT’s top-level ontology is quite similar to existing top-level ontologies. However, significant challenges arise from the flexible nature of LLM-generated texts, including ontological overload, ambiguity, and inconsistency. (shrink)

The starting point of this article is the observation that the emergence of the Anthropocene rehabilitates the need for philosophical reflections on the ontology of technology. In particular, if technological innovations on an ontic level of beings in the world are created, but these innovations at the same time _create_ the Anthropocene World at an ontological level, this raises the question how World creation has to be understood. We first identify four problems with the traditional concept of (...) creation: the anthropocentric, ontic and outcome orientation of traditional concepts of creation, as well as its orientation of material fabrication. We subsequently develop a progressive concept of World creation with four characteristics that move beyond the traditional conceptuality: (1) a materialistic concept of creation that accounts for (2) the ontogenetic process and (3) the ontic and ontological nature of creation, and (4) is conceptualized as semantic creation of the World in which we live and act. (shrink)

An overview of the following three related papers in this issue presents the Emergence of Highly Complex Systems such as living organisms, man, society and the human mind from the viewpoint of the current Ontological Theory of Levels. The ontology of spacetime structures in the Universe is discussed beginning with the quantum level; then, the striking emergence of the higher levels of reality is examined from a categorical—relational and logical viewpoint. The ontological problems and methodology aspects discussed (...) in the first two papers are followed by a rigorous paper based on Category Theory, Algebraic Topology and Logic that provides a conceptual and mathematical basis for a Categorical Ontology Theory of Levels. The essential links and relationships between the following three papers of this issue are pointed out, and further possible developments are being considered. (shrink)

Basic Formal Ontology (BFO) is a top-level ontology consisting of thirty-six classes, designed to support information integration, retrieval, and analysis across all domains of scientific investigation, presently employed in over 350 ontology projects around the world. BFO is a genuine top-level ontology, containing no terms particular to material domains, such as physics, medicine, or psychology. In this paper, we demonstrate how a series of cases illustrating common types of change may be represented by universals, defined classes, and relations (...) employing the BFO framework. We provide discussion of these cases to provide a template for other ontologists using BFO, as well as to facilitate comparison with the strategies proposed by ontologists using different top-level ontologies. (shrink)

This paper develops a structural and ontological account of development understood as the persistence of an unresolved remainder. A structure develops only insofar as it sustains a locus of continuation—a growth front—through which further extension remains possible. When all relevant degrees of freedom are internally compensated, development is suspended and the structure enters a regime of local closure. The analysis introduces the notion of an odd remainder as a structural operator distinguishing regimes that demand continuation from those that admit (...) closure. This distinction is traced across domains, including biological growth and atomic organization, not as metaphor but as a regime-level invariant. Atomic hydrogen and helium are treated as limiting structural cases: hydrogen exemplifies processual unity sustained by intrinsic openness, while helium exemplifies configurational unity achieved through local closure. The aim of the paper is ontological and methodological rather than predictive. No new physical mechanisms are proposed. Instead, the work offers criteria for distinguishing structural principles from descriptive artifacts by tracking transitions between continuation, closure, and metastability across domains. (shrink)

We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes (occurrents) and the enduring entities (continuants) that participate in such processes. For this purpose we distinguish between meta-ontology and token ontologies. Token ontologies fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and result in distinct though compatible systems of categories. The meta-ontological level then describes the relationships between the different (...) token ontologies. In a SNAP (snapshot) ontology we have enduring entities such as substances, qualities, roles, functions as these exist to be inventoried at a given moment of time. In a SPAN ontology we have perduring entities such as processes and their parts and aggregates. We argue that both kinds of ontological theory are required, together with the metaontology which joins them together, in order to give a non-reductionistic account of both static and dynamic aspects of the geospatial world. (shrink)

The current orthodoxy on mental representation can be characterized in terms of three central ideas. The -rst is ontological, the second semantic, and the third methodological. The ontological tenet is that mental representation is a two-place relation holding between a representing state and a represented entity (object, event, state of a.airs). The semantic tenet is that the relation in question is probably information-theoretic at heart, perhaps augmented teleologically, functionally, or teleo-functionally to cope with di/cult cases. The methodological tenet (...) is that mental representations are posited solely on third-person explanatory grounds. In this paper, I argue that this picture of mental representation is satisfactory only as an account of mental representation at the sub-personal level. It is unsatisfactory, in a principled way, as an account of mental representation at the personal level. (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)

From an Ontological Point of View is a highly original and accessible exploration of fundamental questions about what there is. John Heil discusses such issues as whether the world includes levels of reality; the nature of objects and properties; the demands of realism; what makes things true; qualities, powers, and the relation these bear to one another. He advances an account of the fundamental constituents of the world around us, and applies this account to problems that have plagued recent (...) work in the philosophy of mind and metaphysics (color, intentionality, and the nature of consciousness). (shrink)

This paper examines evolutionary ontologies from Darwin’s work to the genesis and maturation of the Modern Evolutionary Synthesis, followed by the onset of the more inclusive framework of the Extended Evolutionary Synthesis. We show how, in an attempt to unify different biological fields under evolutionary principles, the first synthetic theory of evolution progressively disregarded the relevance of organismic-level properties and processes. Yet, failure to reduce the systemic nature and ecological dynamics of the organism (including properties of agency and organization) (...) to that framework raises some important drawbacks. In particular, the two fundamental dimensions of developmental and ecological dynamics were largely neglected. These are the ones that highlight the relational properties of organisms and lead to recent views in, respectively, Evo-Devo and Niche Construction Theory. On this account, we argue that these two aspects illuminate how, while the Modern Synthesis became increasingly reductionist and monistic, the Extended Synthesis is currently being constituted by a pluralistic array of models capable of accommodating different ontological levels, among which that of organisms stands out due to its flexibility and potential inclusiveness. (shrink)

The Asbestos Ontology is a domain application ontology designed for use in an ontology-based approach that estimates the probability of the existence of asbestos products in a building. However, new issues in the building domain, such as predicting the presence of lead in buildings, renovating asbestos floors, or the reuse and recycling of components or parts of buildings as part of the circular economy, require a generalization of this ontology to a building ontology. The lack of relevant data tends to (...) make decision-making difficult. The purpose of our approach is to show how instance-level knowledge graphs can be populated without having to manually create hundreds of instances using large language models (LLMs) and prompt engineering. This paper introduces a novel method for populating ontologies using the latest generative LLMs, such as GPT-3.5. Our method is characterized by an innovative recursive zero-shot prompting technique. The key contributions of this study are: (i) a new strategy for recursively prompting LLMs to elicit pertinent knowledge from the asbestos application domain; (ii) ontology population informed by the ontology metamodel; and (iii) formalization of the results into OWL axioms for the automatic integration of new instances. To evaluate the efficacy of our approach, we employed two main methodologies: (1) querying for instances linked to each entity; and (2) recursively querying for instances to leverage our recursive prompting strategy. Our initial strategy focused on evaluating the effectiveness of zero-shot prompting in retrieving relevant values for entities and data properties. This was facilitated through the development of the PromptGeneration function, which adjusted the input C i across various contexts. (shrink)

NOTE: This is an early preprint version. The definitive, citable "Version of Record" of this paper has been archived on Zenodo and can be found under the DOI 10.5281/zenodo.16276131. Please use the Zenodo version exclusively for all citations. -/- This paper presents a novel approach to the foundation of ethical systems, based on the concept of Ontological Symmetry Breaking. Starting from the observation that a fundamental asymmetry arises in the transition from an objective reality to the subjective experience of (...) reality, a formal framework is developed that derives the emergence of fundamental ethical stances directly from the structure of this asymmetry. Through the analysis of varying degrees of I-Thou-It projection, a typology of fundamental ethical stances is created, ranging from solipsistic to deeply empathic worldviews. In contrast to existing ethical theories, which are often based on external normative assumptions, this approach offers a derivation of ethical systems from the intrinsic structure of subjective experience itself. The theory is supported by references to empirical findings from moral psychology and comparative ethics. Furthermore, an extended notational system is developed that captures differentiated projection intensities (dominant vs. suppressed) and is applied to various social constellations---from hierarchical social structures and group conflicts to personal relationships. These application perspectives demonstrate the potential of the approach to integrate and reinterpret existing theories from power research, conflict theory, and relationship psychology. The work thus opens up new perspectives for understanding ethical and social dynamics at both individual and societal levels. (shrink)

Classifying domain entities into their respective top-level ontology concepts is a complex problem that typically demands manual analysis and deep expertise in the domain of interest and ontology engineering. Using an efficient approach to classify domain entities enhances data integration, interoperability, and the semantic clarity of ontologies, which are crucial for structured knowledge representation and modeling. Based on this, our main motivation is to help an ontology engineer with an automated approach to classify domain entities into top-level ontology (...) concepts using informal definitions of these domain entities during the ontology development process. In this context, we hypothesize that the informal definitions encapsulate semantic information crucial for associating domain entities with specific top-level ontology concepts. Our approach leverages state-of-the-art language models to explore our hypothesis across multiple languages and informal definitions from different knowledge resources. In order to evaluate our proposal, we extracted multi-label datasets from the alignment of the OntoWordNet ontology and the BabelNet semantic network, covering the entire structure of the Dolce-Lite-Plus top-level ontology from most generic to most specific concepts. These datasets contain several different textual representation approaches of domain entities, including terms, example sentences, and informal definitions. Our experiments conducted 3 study cases, investigating the effectiveness of our proposal across different textual representation approaches, languages, and knowledge resources. We demonstrate that the best results are achieved using a classification pipeline with a K-Nearest Neighbor (KNN) method to classify the embedding representation of informal definitions from the Mistral large language model. The findings underscore the potential of informal definitions in reflecting top-level ontology concepts and point towards developing automated tools that could significantly aid ontology engineers during the ontology development process. (shrink)

The aim of this paper is to explore the view that some ontological disputes are “metalinguistic negotiations”, and to make sense of the significance of these controversies in a way that is still compatible with a broadly deflationist approach. I start by considering the view advocated by Eli Hirsch to the effect that some ontological disputes are verbal. I take the Endurantism–Perdurantusm dispute as a case-study and argue that, while it can be conceded that the dispute is verbal (...) at the object-level, this does not rule out the possibility of a non-verbal disagreement at the metalinguistic level. I then explore the metalinguistic dispute hypothesis by seeing how it can be defended from a first objection playing on the idea of inter-translatability, as well as a second objection raising the question of equal theoretical virtues. (shrink)

"With the philosophy of Nicolai Hartmann we once again enter a world of sober, objective and impartial inquiry, which presses beyond man's self and seeks to grasp the universe of being so far as it is revealed to our limited capacity to know. The basic mood of Existence philosophy, as might be expected, is altogether missing from this universal way of viewing matters. (...). The true concern of his philosophy is to discover the structural laws of the real world, of (...) the world of being, not of some 'world of mere appearances' set out in front of the real world. Traditional philosophy, according to Hartmann, has sinned a great deal in this connection and in a double manner. First, it has always believed that it faced two basic alternatives - to accept an absolute knowledge of being, or else to assume the total unknowability of the 'things in themselves'. The latter course means rejecting the possibility altogether of objective knowledge of being, the former results in closed.. (shrink)

ABSTRACT This article proposes a theoretical framework for thinking systematically about Muslim males’ involvement in criminality, derived from the philosophy of critical realism. This theoretical framework is deployed to explore primary data from life story interviews with 17 Muslim male offenders in a way that explains the role of structural and cultural factors, as well as individual agency, in participants’ involvement in crime at a range of ‘emergent’ ontological levels. As well as factors in common with offending by young (...) males generally, such as absent role models at home, experiences of socio-economic marginalization, the presence of hypermasculine hegemonic masculinities on the street and an inadequate experience of school, ‘unserious’ religion and ‘religious’ justifications for involvement in crime are factored into the ontology of the male Muslim offender as rendering some young Muslim males particularly vulnerable to offending. (shrink)

In this paper I will argue that critical theory needs to make its socio-ontological commitments explicit, whilst on the other hand I will posit that contemporary social ontology needs to amend its formalistic approach by embodying a critical theory perspective. In the first part of my paper I will discuss how the question was posed in Horkheimer’s essays of the 1930s, which leave open two options: (1) a constructive inclusion of social ontology within social philosophy, or else (2) a (...) program of social philosophy that excludes social ontology. Option (2) corresponds to Adorno’s position, which I argue is forced to recur to a hidden social ontology. Following option (1), I first develop a metacritical analysis of Searle, arguing that his social ontology presupposes a notion of 'recognition' which it cannot account for. Furthermore, by means of a critical reading of Honneth, I argue that critical theory could incorporate a socioontological approach, giving value to the constitutive socio-ontological role of recognition and to the socio-ontological role of objectification. I will finish with a proposal for a socio-ontological characterization of reification which involves that the basic occurrence of recognition is to be grasped at the level of background practices. (shrink)

Data are never free of philosophical encumbrances. Nevertheless, philosophical issues are often considered peripheral to method and evidence. Historical perspectives likewise are not considered integral to most data-driven disputes in contemporary psychological science. This paper examines the history of the investigation of hypnosis over the last 75 years to illuminate how evidence and method are entangled with epistemology and ontology, how new research directions are forged by changes in the cultural and philosophical landscape, and how unacknowledged philosophical assumptions can result (...) in confusion and empirical cul-de-sacs. Theoretical disputes that appear to be simple empirical matters often entail hidden philosophical issues, and apparent historical continuity at the theoretical level can belie discontinuity at the ontological level. The lesson of hypnosis is that philosophical analysis is as important as methodological rigor. 2012 APA, all rights reserved). (shrink)

General Ontological Language (GOL) is a formal framework for representing and building ontologies. The purpose of GOL is to provide a system of top-level ontologies which can be used as a basis for building domain-specific ontologies. The present paper gives an overview about the basic categories of the GOL-ontology. GOL is part of the work of the research group Ontologies in Medicine (Onto-Med) at the University of Leipzig which is based on the collaborative work of the Institute of (...) Medical Informatics (IMISE) and the Institute for Computer Science (IfI). It represents work in progress toward a proposal for an integrated family of top-level ontologies and will be applied to several fields of medicine, in particular to the field of Clinical Trials. (shrink)

Software application ontologies have the potential to become the keystone in state-of-the-art information management techniques. It is expected that these ontologies will support the sort of reasoning power required to navigate large and complex terminologies correctly and efficiently. Yet, there is one problem in particular that continues to stand in our way. As these terminological structures increase in size and complexity, and the drive to integrate them inevitably swells, it is clear that the level of consistency required for such (...) navigation will become correspondingly difficult to maintain. While descriptive semantic representations are certainly a necessary component to any adequate ontology-based system, so long as ontology engineers rely solely on semantic information, without a sound ontological theory informing their modeling decisions, this goal will surely remain out of reach. In this paper we describe how Language and Computing nv (L&C), along with The Institute for Formal Ontology and Medical Information Sciences (IFOMIS), are working towards developing and implementing just such a theory, combining the open software architecture of L&C’s LinkSuiteTM with the philosophical rigor of IFOMIS’s Basic Formal Ontology. In this way we aim to move beyond the more or less simple controlled vocabularies that have dominated the industry to date. (shrink)

The Common Core Ontologies(CCO) are designed as a mid-level ontology suite that extends the Basic Formal Ontology. In 2017,CUBRC, Inc. made CCO openly available. CCO has since been increasingly adopted by a broad group of users and applications and is proposed as the first standard mid-level ontology. Despite these successes, documentation of the contents and design patterns of the CCO has been comparatively minimal. This paper is a step toward providing enhanced documentation for the mid-level ontology suite (...) through a discussion of the contents of the eleven ontologies that collectively comprise the Common Core Ontology suite. (shrink)

In the context of contemporary debates on scientific realism, structural realism(SR), explicitly introduced by John Worrall (1989), has shown to be one of the most vigorous philosophical proposals. It suggests that the knowledge that science has given us along its history is about the structure of the world, rather than about its content (nature). James Ladyman (1998), in co-authorship with Steven French (2003a, 2003b), has defended an ontic version of this position that can be summarized as follows: our knowledge is (...) only about the structure of the world, because it’s all there is. This ontic structural realism (OSR) bases its attempt at a structural reconceptualization of objects on a metaphysical underdetermination at the level of elemental particles posited by quantum mechanics, before which the traditional realist finds herself without any resource to answer this simple question: “What is a quantum object?” OSR has motivated many objections that challenge its conceptual basis, the development of its argumentation, and even its mere coherence. Anjan Chakravartty (2003) maintains that, even when taking for granted the starting point of OSR, the replacement of an ontology of objects by one that posits structures as its primordial component is unjustified, because it does not satisfy some basic methodological principles. My aim in the present workis not to offer a complete defense of OSR, but to question the reasons given by Chakravartty to support this claim. Key words: scientific realism, structural realism, ontic structural realism. (shrink)

The Ontology Summit 2012 explored the current and potential uses of ontology, its methods and paradigms, in big systems and big data: How ontology can be used to design, develop, and operate such systems. The systems addressed were not just software systems, although software systems are typically core and necessary components, but more complex systems that include multiple kinds and levels of human and community interaction with physical-software systems, systems of systems, and the socio-technical environments for those systems which can (...) include cultural, legal, and economic components. The focus themes used for this exploration were Big Systems Engineering, Big Data Challenge, Large Scale Domain Applications, and cross-cutting aspects Ontology Quality, and Federation and Integration of Systems. The Ontology Summit 2012 consisted of over three months of intensive virtual collaborative elaboration of these issues in presentations, panels, and group email. The culmination of these activities was a face-to-face Symposium at the US National Institute of Standards and Technology (NIST), Gaithersburg, MD, USA, 12–13 April 2012. The primary product of this Ontology Summit is the communiqué reported here. But there are other products, some continuing as collaborative, more specifically focused analysis and modeling efforts aligned with various open standards activities. Behind all of these particular products, of course, is the real overriding purpose of the Ontology Summit 2012, which was: the joint collaboration of three distinct communities, the ontology, systems engineering and big systems stakeholder communities, who came together to address common problems, create common understanding and propose common solutions. (shrink)

This source/framework preprint develops the nullity and paradox layer of a larger τ-Logic program in progress. Its central claim is not that zero is unreal, but that zero-readouts and structured absences are regime-bound and do not by themselves license inference to absolute ontological nullity. The paper uses a two-coordinate diagnostic to show how paradox pressure can arise when a visible one-dimensional readout is detached from the relational structure that makes it meaningful. Appendix D provides completed local demonstrations for selected (...) zero/projection cases, and Appendix F gives bounded readout-collapse blocking results for Russell, Liar, and Yablo under declared regimes. Broader reconstructions, including Gödel, probability, entropy, and physics-facing calibration, remain companion or future theorem-level work rather than claims completed here. (shrink)

yamato sharply distinguishes itself from other existing upper ontologies in the following respects. (1) Most importantly, yamato is designed with both engineering and philosophical minds. (2) yamato is based on a sophisticated theory of roles, given that the world is full of roles. (3) yamato has a tenable theory of functions which helps to deal with artifacts effectively. (4) Information is a ‘content-bearing’ entity and it differs significantly from the entities that philosophers have traditionally discussed. Taking into account the modern (...) society in which a flood of information occurs, yamato has a sophisticated theory of informational objects (representations). (5) Quality and quantity are carefully organized for the sake of greater interoperability of real-world data. (6) The philosophical contribution of yamato includes a theory of objects, processes, and events. Those features are illustrated with several case studies. These features lead to the intensive application of yamato in some domains such as biomedicine and learning engineering. (shrink)

This paper describes a new concept of legal ontology together with an ontology development tool, called the European Legal Taxonomy Syllabus (ELTS). The tool is used to model the legal terminology created by the Uniform Terminology project on EU consumer protection law as an ontology.ELTS is not a formal ontology in the standard sense, i.e., an axiomatic ontology formalized, for instance, in description logic. Rather, it is a lightweight ontology, i.e. a knowledge base storing low-level legal concepts, connected via (...) low-level semantic relations, and related to linguistic patterns that denote legal concepts in several languages spoken in the European Union (EU). In other words, ELTS is a multi-lingual and multi-jurisdictional terminological vocabulary enriched with concepts denoted by vocabulary entries, with semantic relations between different concepts. The choice of such an architecture is based on past studies in comparative law and is motivated by the need to reveal the differences between national systems within the EU. Past literature in comparative law highlights that axiomatic ontologies freeze legal knowledge in an unreal steadiness, i.e., they render it disconnected from legal practice. Much more flexibility is needed to make the knowledge base acceptable to legal practitioners.ELTS was developed together with legal practitioners on the basis of the comparative view of European law. The ontology framework is designed to help professionals study the meaning of national and European legal terms and how they inter-relate in the transposition of European Directives into national laws. The structure and user interface of ELTS is suitable for building multi-lingual, multi-jurisdictional legal ontologies in a bottom-up and collaborative manner, starting from the description of legal terms by legal experts. It also takes into account the interpretation of norms, the dynamic character of norms and the contextual character of legal concepts in that they are linked to their legal sources (legislation, case law and doctrine). (shrink)

The analytic movement advertised its 'linguistic turn' as a radical break from the two-thousand-year-old substance tradition. But this is an illusion. On the fundamental level of ontology, there is enough reformulation and presupposition of traditional 'no entity without identity' themes to analogize Frege, Russell, Wittgenstein, and Quine to Aristotle as paradigmatic of modified realism. Thus the pace of ontology is glacial. Frege and Russell, not Wittgenstein and Quine, emerge as the true analytic progenitors of 'no entity without identity,' offering (...) between them at least twenty-nine private language arguments and sixty-four 'no entity without identity' theories. (shrink)

A novel conceptual framework is introduced for the Complexity Levels Theory in a Categorical Ontology of Space and Time. This conceptual and formal construction is intended for ontological studies of Emergent Biosystems, Super-complex Dynamics, Evolution and Human Consciousness. A claim is defended concerning the universal representation of an item’s essence in categorical terms. As an essential example, relational structures of living organisms are well represented by applying the important categorical concept of natural transformations to biomolecular reactions and relational structures (...) that emerge from the latter in living systems. Thus, several relational theories of living systems can be represented by natural transformations of organismic, relational structures. The ascent of man and other living organisms through adaptation, is viewed in novel categorical terms, such as variable biogroupoid representations of evolving species. Such precise but flexible evolutionary concepts will allow the further development of the unifying theme of local-to-global approaches to highly complex systems in order to represent novel patterns of relations that emerge in super- and ultra-complex systems in terms of compositions of local procedures. Solutions to such local-to-global problems in highly complex systems with ‘broken symmetry’ might be possible to be reached with the help of higher homotopy theorems in algebraic topology such as the generalized van Kampen theorems (HHvKT). Categories of many-valued, Łukasiewicz-Moisil (LM) logic algebras provide useful concepts for representing the intrinsic dynamic ‘asymmetry’ of genetic networks in organismic development and evolution, as well as to derive novel results for (non-commutative) Quantum Logics. Furthermore, as recently pointed out by Baianu and Poli (Theory and applications of ontology, vol 1. Springer, Berlin, in press), LM-logic algebras may also provide the appropriate framework for future developments of the ontological theory of levels with its complex/entangled/intertwined ramifications in psychology, sociology and ecology. As shown in the preceding two papers in this issue, a paradigm shift towards non-commutative, or non-Abelian, theories of highly complex dynamics—which is presently unfolding in physics, mathematics, life and cognitive sciences—may be implemented through realizations of higher dimensional algebras in neurosciences and psychology, as well as in human genomics, bioinformatics and interactomics. (shrink)

Ontologies are gaining popularity in engineering applications as a conceptual tool for sharing information and knowledge between experts and software systems. However, most communities tend to focus on their own ontology, which is optimized for a limited set of tasks, resulting in models that are difficult to integrate with each other. This article explores how starting from a foundational ontology can enhance the quality of domain ontologies and improve their interoperability. To this end, we analyze the structure of Descriptive Ontology (...) for Linguistic and Cognitive Engineering (DOLCE) OWL and investigate how it can be enriched for use in an engineering context. Our focus is on representing qualities and their values, particularly quantitative ones, which are crucial in engineering but often inadequately addressed by top-level ontologies. We propose various approaches for incorporating quantitative values, highlighting their pros and cons, and comparing them with other works present in the literature. The aim of the article is to enhance the usability of the foundational ontology DOLCE in practical engineering contexts, allowing engineers to concentrate on domain-specific aspects rather than the complexities of ontology usage. (shrink)

Ontological emergence plays a substantial role in presenting a holistic picture of the relationship between scientific explanations and the inter-level structure of the world. It indicates the developmental process of cosmic phenomena from simple to complex phenomena in a hierarchy of bottom-up causation. Since the philosophical approach to the metaphysical concept of causation took a different path in the Islamicate philosophical tradition, the theory of emergence and its metaphysical content requires a reanalysis from this philosophical perspective. In particular, (...) in light of the bidirectional theory of causation developed in Sadrā’s philosophy, one can conceptualize the developmental process of material beings, from the most fundamental particles up to the most complex living beings in a new metaphysical light. From this vantage point, although the inter-dependence and integral relation between lower and higher levels of reality is acknowledged, what causes the existence of higher-level phenomena is not the lower-level material constituents but their existence-giving cause. (shrink)

Species is one of the most basic concepts for almost all branches of biology, and it is also one of the most controversial concepts. An important aspect of "the species problem" is the question of "what the ontological status of species is". Traditionally, the answer to the issue about "the ontological status of species" is biological essentialism. Biological essentialism claims that species is a "natural kind", which argues that all and only the members of a species have a (...) common essence. Each species is separated from all others by a sharp discontinuity. However, Darwin's evolutionary theory argues that species are gradual, and the boundaries between species are vague. This view conflicts with biological essentialism. With the continuous transmission of Darwin's theories, biological essentialism was gradually abandoned by philosophers and scientists. In recent years, some philosophers try to resurrect biological essentialism by using new biological resources. Their theories are known as New Biological Essentialism, which mainly includes three different approaches: The Barcode Theory of DNA, Relational Essentialism, and HPC Theory. However, there are so many defects in their theories that they don't provide a successful defense for biological essentialism. By analyzing these theories, I try to point out that the dilemma and failure of new biological essentialism dues to the conflict between its ontological presupposition and modern biological practice. The conflict leads to the tension between essentialism and biology. Further, I argue that the best way to eliminate the tension between biology and essentialism is to regard species as “heterogeneous kinds”. This new understanding of species abandons biological essentialism at the ontological level but retains the value of epistemology of regarding the species as “natural kinds”. (shrink)

The ability to access and share data is key to optimizing and streamlining any industrial production process. Unfortunately, the manufacturing industry is stymied by a lack of interoperability among the systems by which data are produced and managed, and this is true both within and across organizations. In this paper, we describe our work to address this problem through the creation of a suite of modular ontologies representing the product life cycle and its successive phases, from design to end of (...) life. We call this suite the Product Life Cycle (PLC) Ontologies. The suite extends proximately from The Common Core Ontologies (CCO) used widely in defense and intelligence circles, and ultimately from the Basic Formal Ontology (BFO), which serves as top level ontology for the CCO and for some 300 further ontologies. The PLC Ontologies were developed together, but they have been factored to cover particular domains such as design, manufacturing processes, and tools. We argue that these ontologies, when used together with standard public domain alignment and browsing tools created within the context of the Semantic Web, may offer a low-cost approach to solving increasingly costly problems of data management in the manufacturing industry. (shrink)

dolce, the first top-level (foundational) ontology to be axiomatized, has remained stable for twenty years and today is broadly used in a variety of domains. dolce is inspired by cognitive and linguistic considerations and aims to model a commonsense view of reality, like the one human beings exploit in everyday life in areas as diverse as socio-technical systems, manufacturing, financial transactions and cultural heritage. dolce clearly lists the ontological choices it is based upon, relies on philosophical principles, is (...) richly formalized, and is built according to well-established ontological methodologies, e.g. OntoClean. Because of these features, it has inspired most of the existing top-level ontologies and has been used to develop or improve standards and public domain resources (e.g. CIDOC CRM, DBpedia and WordNet). Being a foundational ontology, dolce is not directly concerned with domain knowledge. Its purpose is to provide the general categories and relations needed to give a coherent view of reality, to integrate domain knowledge, and to mediate across domains. In these 20 years dolce has shown that applied ontologies can be stable and that interoperability across reference and domain ontologies is a reality. This paper briefly introduces the ontology and shows how to use it on a few modeling cases. (shrink)