Applied Ontology

Authors in library and information science like Dewey, Otlet, Bliss, Ranganathan, Vickery, Kyle, Foskett, Austin and Dahlberg have developed a rich corpus of classification theory and practice, covering important techniques like hierarchical subdivision, facet analysis and ordering of arrays by integrative levels. The advent of digital information offers an opportunity to organize information using such techniques; but this heritage has often been forgotten in the illusion that automation has made it unnecessary. Nowadays bibliographic classification is subsumed in the field of (...) knowledge organization, which covers the conceptual ordering of contents in libraries, archives, museums, digital collections and knowledge in general. We propose a broad view of knowledge organization as an intellectual guide to learning and scholarship grounded in philosophical ontology. Established classification principles can contribute their techniques for the production of general schemes of phenomena. (shrink)

Scientific knowledge has historically been fragmented by arbitrary disciplinary boundaries, obscuring the continuum of emergent organization across reality. This work proposes a systemic ontological framework where categorial closure occurs through critical synergy thresholds, structuring dominant dynamics that reorganize systemic balance. Building on the Law of Structuring Systemic Emergence (LESSE), the framework introduces formal metrics — including the Information Co-evolutionary Synergy (ICS), the Systemic Dominance Index (SDI), and the Coefficient of Neutrality of the Substrate (CNS) — along with falsification protocols applicable (...) across physical, biological, technological, and cognitive domains. A modular cartography is presented, ranging from pre-geometric fields to planetary technogenesis. By grounding scientific domains in synergy thresholds rather than historical tradition, this work suggests a reconfiguration of epistemology itself toward a threshold-centric paradigm of science. (shrink)

This manifesto introduces Systemic Physics as a new theoretical domain grounded in the principles of emergence, synergy, and ontological continuity. It serves as the most comprehensive formulation of the Systemic Continuum Paradigm (SCP) to date—an approach that redefines reality not as a collection of fundamental particles, but as a multi-layered field of threshold-bound systems whose properties arise only through structured interactions. -/- By rejecting the traditional dichotomy between "natural" and "artificial" systems, the SCP proposes that all organized ensembles—ranging from galaxies (...) to neural networks—follow the same systemic logic: properties such as gravity, intelligence, resilience, and expansion emerge only when internal synergy (ISB) crosses a Systemic Threshold (ST), at which point one dynamic monopolizes the General Systemic Balance (GSB) of that scale. -/- This paper consolidates the ontological axioms, scale-relative mechanisms, and falsifiability criteria of the SCP; it reinterprets dark matter and dark energy as phase transitions within gravitational synergy, redefines forces as monopolies of emergence, and outlines a cross-domain roadmap for scientific application. Designed for physicists, philosophers, and complexity theorists, it positions emergence not as a metaphor, but as the structural law of reality. -/- It is both a theoretical scaffold and a call to action: to build a science that measures thresholds instead of assuming absolutes, and to approach the universe not as a closed equation, but as a living architecture of unfolding systemic resonance. (shrink)

This paper presents a formal articulation of the Law of Structuring Systemic Emergence (LESSE), the central theorem of the Systemic Continuum Paradigm (SCP). It posits that at each scale of organization, only one dynamic can monopolize the General Systemic Balance (GSB)—the emergent synergy that defines that level—by crossing a Systemic Threshold (ST) derived from internal interactions (ISB). All other properties, while present, remain subordinate. -/- The LESSE provides a transdisciplinary framework for understanding how structuring forces such as gravity, intelligence, metabolism, (...) or governance emerge as dominant only when their systems surpass the synergy required for ontological ignition. This threshold logic applies not only to physical systems, but also to biological, social, technological, and cognitive architectures. -/- The paper introduces algebraic scaffolds for key metrics—including the Systemic Dominance Index (SDI) and Integrated Co-evolutionary Synergy (ICS)—and offers eight multiscale case studies, from single-celled organisms to neural architectures and planetary economies. -/- Unlike unification models that search for foundational particles or final equations, the SCP identifies emergence as a scale-bound monopoly: a law of hierarchical resonance rather than universal identity. -/- This formulation marks the fifth installment in the SCP corpus, and constitutes its first rigorous formalization—designed to support future mathematical development, empirical testing, and cross-domain application. (shrink)

The field of knowledge organization was originally developed from library and information science, although it is of more general philosophical interest. Today its influential school of domain analysis is based on pragmatist views, according to which any classification reflects particular perspectives and purposes. This implies that there are many alternative ways to identify real, natural kinds and to group them, none of which would be superior to the others. The same concepts, e.g. rice and bamboo, are indeed grouped in different (...) ways according to disciplinary contexts, e.g. biology or agriculture or economics. On the other hand, a principle of “unique definition” was identified in the 1960s by Jason Farradane and other members of the Classification Research Group to draft a general bibliographic classification based on phenomena (as opposed to disciplines): according to such principle, a concept can be defined at a specific level of organization then combined with concepts at other levels without losing its constant notation. Some classifications inspired by that research are currently under development. Classification structures are illustrated with some actual examples. It is shown how certain technical solutions developed for bibliographic organization of knowledge, including unique definition, may also offer contributions to address epistemological issues, suggesting a way towards the development of classifications that can serve as reference to reconnect different purposes. (shrink)

L’informatisation de la société se poursuit à un rythme effréné. Cependant, pour développer les technologies modernes de l’information, la complexité croissante du monde réel doit être modélisée, ce qui nécessite de revoir la façon de réaliser une modélisation conceptuelle. Cette étude propose que la notion souvent négli-gée de « système » doive être un construit distinct et fondamental pour la modéli-sation conceptuelle, et argumente en faveur de son intégration, de même que l’intégration de concepts connexes, tels que l’émergence, dans les (...) approches existantes de la modélisation conceptuelle. L’étude procède à une synthèse de l’ontologie des systèmes et de la théorie générale des systèmes. Ces éléments fondamentaux de la modélisation sont ensuite utilisés pour proposer un modèle CESM+ pour la modélisation conceptuelle fondé sur des systèmes. Plusieurs nouvelles notations de modélisation conceptuelle sont introduites. La modélisa-tion systémique est ensuite appliquée à une étude de cas sur le développement d’une plateforme de science citoyenne. L’étude de cas montre le potentiel de l’approche systémique pour la théorie et la pratique. L’article avance des recom-mandations sur la façon d’intégrer des systèmes dans des projets existants et suggère des voies de recherche sur la modélisation conceptuelle. (shrink)

The World Wide Web Consortium (W3C) has sanctioned languages for ontology formulation, of which the most important is the Web Ontology Language (OWL). These have spawned in their turn powerful open-source software for developing and reasoning with ontologies and for querying data stores aligned to ontologies. Unfortunately, the resultant popularity of semantic technology has itself led to a situation where ontologies are now being created in heterogeneous, uncoordinated ways, thereby leading to a new problem of semantic stovepipes, and thus to (...) a new failure of data integration and reuse. The best practices here described counteract this tendency by providing a set of principles and rules to lead to the development of ontologies in a consistent, non-redundant fashion. (shrink)

Filosofia plectica è una filosofia che pensa il rapporto che le cose, intese come entità complesse, intrattengono con l’intorno. È un’esigenza che nasce dal pensiero che le cose siano sempre un po’ intrecciate, non così semplici ma neanche così complesse. A partire dal rapporto con il mondo, animali, microbi, funghi, piante, foreste, pietre, cose, oggetti e materiali vengono visti come membri di un rapporto attivo con l’intorno attraverso la forma sinallagmatica di un mutuo scambio. Secondo questa proposta ogni ente è (...) un dimorante, accoglie e rilascia le tracce intense del suo esistere. -/- . (shrink)

This month’s APA Blog Substack Newsletter extends a discussion with Barry Smith, who is a Distinguished Julian Park Professor of Philosophy and Professor of Biomedical Informatics, and Computer Science and Engineering at the University at Buffalo. He is also Director of the National Center for Ontological Research and a lead developer of Basic Formal Ontology (BFO), an international standard top-level ontology (ISO/IEC 21838-2) used by over 700 ontology development groups across the world. Barry’s work led to the formation in 2005 (...) of the Open Biological and Biomedical Ontologies (OBO) Foundry, a set of resources designed to support information-driven research in biology and biomedicine. He also contributes to ontology projects in the military and security domains and is one of the founders of the Industrial Ontologies Foundry (IOF), whose goal is to advance interoperability of information systems in the industrial domain. Now he and his University at Buffalo (UB) colleague and Co-Director of the National Center for Ontological Research John Beverley lead what one might call the academic arm of the Department of Defense and Intelligence Community Working Group (DIOWG), in which the principles of the OBO Foundry are being applied in the defense and security domains. (shrink)

Progress in addiction science is hampered by disagreements and ambiguity around its core construct: addiction. Addiction Ontology (AddictO) offers a path to a solution of the kind that has addressed similar problems in other areas of science: a set of clearly and uniquely defined entities to which terms such as ‘addiction’, addictive disorder’ and ‘substance dependence ’can be applied for ease of reference while recognizing that it is the construct definitions and their unique IDs that are central, not the terms.

After motivating a framework for evaluating top-down, middle-out, middle-in, and bottom-up ontology development strategies, we apply our framework to investigate whether infectious disease ontologies - specifically, the Virus Infectious Disease Ontology (VIDO) and the Coronavirus Infectious Disease Ontology (CIDO) - effectively promote semantic interoperability.

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)

When reusing existing ontologies for publishing a dataset in RDF (or developing a new ontology), preference may be given to those providing extensive subcategorization for important classes (denoted as focus classes). The subcategories may consist not only of named classes but also of compound class expressions. We define the notion of focused categorization power of a given ontology, with respect to a focus class and a concept expression language, as the (estimated) weighted count of the categories that can be built (...) from the ontology’s signature, conform to the language, and are subsumed by the focus class. For the sake of tractable initial experiments we then formulate a restricted concept expression language based on existential restrictions, and heuristically map it to syntactic patterns over ontology axioms (so-called FCE patterns). The characteristics of the chosen concept expression language and associated FCE patterns are investigated using three different empirical sources derived from ontology collections: first, the concept expression pattern frequency in class definitions; second, the occurrence of FCE patterns in the Tbox of ontologies; and last, for class expressions generated from the Tbox of ontologies (through the FCE patterns); their ‘meaningfulness’ was assessed by different groups of users, yielding a ‘quality ordering’ of the concept expression patterns. The complementary analyses are then compared and summarized. To allow for further experimentation, a web-based prototype was also implemented, which covers the whole process of ontology reuse from keyword-based ontology search through the FCP computation to the selection of ontologies and their enrichment with new concepts built from compound expressions. (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)

The 10th International Conference on Biomedical Ontology (ICBO 2019), was held at the Jacobs School of Medicine and Biomedical Sciences of the University at Buffalo, in Buffalo, NY, USA. It was the 10-year anniversary of the ICBO series, and the return of the conference to Buffalo after the first two ICBO conferences were held in Buffalo in 2009 and 2011. ICBO 2019 was well attended, with 115 registered attendees and additional walk-ins from the local academic community. The program included excellent (...) keynote talks by Barry Smith, “International Standard Ontology,” and Bjoern Peters, “Putting principles into practice: OBO ontologies and applications in immunology,” as well as 23 oral presentations, 26 posters, and one software presentation. There were 53 papers and abstracts submitted for peer-review to ICBO 2019. Each submission was reviewed by three members chosen from the Program Committee. Of these submissions, 43 were accepted for this volume: 19 full papers, 23 poster abstracts, and 1 software demonstration extended abstract. We thank our program committee for their thoughtful reviews. There were also three workshops and four tutorials (listed below) held in conjunction with the main ICBO 2019 meeting. (shrink)

Here we present what we believe is a novel account of what languages are, along with an axiomatically rich representation of languages and language-related data that is based on this account. We propose an account of languages as aggregates of dispositions distributed across aggregates of persons, and in doing so we address linguistic competences and the processes that realize them. This paves the way for representing additional types of language-related entities. Like demographic data of other sorts, data about languages may (...) be of use to researchers in a number of areas, including biomedical research. Data on the languages used in clinical encounters are typically included in medical records, and capture an important factor in patient-provider interactions. Like many types of patient and demographic data, data on a person’s preferred and primary languages are organized in different ways by different systems. This can be a barrier to data integration. We believe that a robust framework for representing language in general and preferred and primary language in particular – which has been lacking in ontologies thus far – can promote more successful integration of language-related data from disparate data sources. (shrink)

In a development that has still been hardly noticed by philosophers, a conception of ontology has been advanced in recent years in a series of extra-philosophical disciplines as researchers in linguistics, psychology, geography and anthropology have sought to elicit the ontological commitments (‘ontologies’, in the plural) of different cultures or disciplines. Exploiting the terminology of Quine, researchers in psychology and anthropology have sought to establish what individual human subjects, or entire human cultures, are committed to, ontologically, in their everyday cognition, (...) in much the same way in which philosophers of science have attempted to elicit the ontological commitments of the natural sciences. Thus they have engaged in inquiries designed to establish how folk ontologies (or folk biologies, folk theories of physics, folk psychologies, and so on) develop through infancy and childhood, or to establish the degree to which given elements of folk ontologies reflect universal features of the human cognitive system. In a parallel development, researchers in biomedicine developed what they called 'ontologies' as controlled vocabularies to ensure interoperability of the way in which, for example, genomic data is described in different biological disciplines. We describe in what follows some of the relations between these efforts and the more traditional concerns of philosophers. (shrink)

This essay is dedicated to the memory of Katherine Hawley.1Bitcoin was invented to serve as a digital currency that demands no trust in financial institutions, such as commercial and central banks. This paper discusses metaphysical aspects of bitcoin, in particular the view that bitcoin is socially constructed, non-concrete, and genuinely exists. If bitcoin is socially constructed, then one may worry that this reintroduces trust in the communities responsible for the social construction. Although we may have to rely on certain communities, (...) I argue that social construction doesn’t imply a demand for trust because the relevant communities don’t take on any relevant commitments. Bitcoin is indeed trust-free. (shrink)

ABSTRACT In my previous work I explored how Integral Theory can be applied as a meta‐theoretical and transdisciplinary framework, in an attempt to arrive at integrally informed metatheory of addiction, yet indispensable aspects were overlooked. Moreover, an overemphasis was placed on Integral Methodological Pluralism, without clarifying the ontological pluralism of addiction as a multiple object enacted by various methodologies. I believe what is needed in an attempt at a comprehensive integral metatheory of addiction is to include Sean Esbjörn‐Hargens and Michael (...) Zimmerman’s Integral Pluralism and Integral Enactment Theory. Integral Enactment Theory highlights the phenomenon of addiction as a multiple and dynamic object arising along a continuum of ontological complexity. Integral Enactment Theory adeptly points out how etiological models “co‐arise”, in relation to methodology (methodological pluralism) and enacts a particular reality of addiction (ontological pluralism), while being mediated by the world view of the subject (epistemological pluralism) applying the method. This paper briefly explores the significance of including Integral Pluralism and Integral Enactment theory in the quest of an integral metatheory of addiction . (shrink)

Local food projects are steadily becoming a part of contemporary food systems and take on many forms. They are typically analyzed using an ethical, or sociopolitical, lens. Food focused initiatives can be understood as strategies to achieve ethical change in food systems and, as such, ethics play a guiding role. But local food is also a social movement and, thus social and political theories provide unique insights during analysis. This paper begins with the position that ontology should play a more (...) prominent part in the analysis of local food movements, as this lens could provide unique insights into basic commitments guiding such initiatives. The paper presents the argument that ontological analyses are imperative for fully understanding local food movements. It then provides an overview of the justice frameworks and ontological orientations that guide two dominant types of initiatives: Those committed to increasing food security and those committed to food sovereignty. The paper ends with the argument that food sovereignty projects are revolutionary, not only because they challenge us to change industrial food practices, but also because they are built on a radical new political ontology, and co-constitutive food-focused orientation, that forms the foundation for alternative social and political structures. (shrink)

What follows is going to be an exercise in elemental metaphysical observation and reflection. No special mystical, devotional or intellectual powers will be required: merely the ability to think slowly and carefully and clearly. -/- This short series is for anyone who wants to explore some simple lines of thought based in objective and sceptical self-observation at the most elemental level possible. Some paragraphs might occasionally be written in formal philosophical language, but if so these will always be followed by (...) explanations in the plainest of everyday terms such that anyone with an interest in the subject will be able to understand them. (shrink)

In this paper, we provide an analysis of the concept of legal personality and discuss whether personality may be conferred on artificial intelligence systems (AIs). Legal personality will be presented as a doctrinal category that holds together bundles of rights and obligations; as a result, we first frame it as a node of inferential links between factual preconditions and legal effects. However, this inferentialist reading does not account for the ‘background reasons’ of legal personality, i.e., it does not explain why (...) we cluster different situations under this doctrinal category and how extra-legal information is integrated into it. We argue that one way to account for this background is to adopt a neoinstitutional perspective and to update the ontology of legal concepts with a further layer, the meta-institutional one. We finally argue that meta-institutional concepts can also support us in finding an equilibrium around the legal-policy choices that are involved in including (or not including) AIs among legal persons. (shrink)

General ontology is a prominent theoretical foundation for information technology analysis, design, and development. Ontology is a branch of philosophy which studies what exists in reality. A widely used ontology in information systems, especially for conceptual modeling, is the BWW (Bunge–Wand–Weber), which is based on ideas of the philosopher and physicist Mario Bunge, as synthesized by Wand and Weber. The ontology was founded on an early subset of Bunge’s philosophy; however, many of Bunge’s ideas have evolved since then. An important (...) question, therefore, is: do the more recent ideas expressed by Bunge call for a new ontology? In this paper, we conduct an analysis of Bunge’s earlier and more recent works to address this question. We present a new ontology based on Bunge’s later and broader works, which we refer to as Bunge’s Systemist Ontology (BSO). We then compare BSO to the constructs of BWW. The comparison reveals both considerable overlap between BSO and BWW, as well as substantial differences. From this comparison and the initial exposition of BSO, we provide suggestions for further ontology studies and identify research questions that could provide a fruitful agenda for future scholarship in conceptual modeling and other areas of information technology. (shrink)

There is a common misconception across the lntelligence Community (IC) to the effect that information trapped within multiple heterogeneous data silos can be semantically integrated by the sorts of meaning-blind statistical methods employed in much of artificial intelligence (Al) and natural language processlng (NLP). This leads to the misconception that incoming data can be analysed coherently by relying exclusively on the use of statistical algorithms and thus without any shared framework for classifying what the data are about. Unfortunately, such approaches (...) do not yield sustainable results where we are dealing with widely distributed, highly heterogeneous and often changing bodies of data. We argue here that the needed integration requires the use of what we call an lntegrating Semantic Framework (ISF), which provldes a consistent set of categories and relationships that can be reused over and over again to tag successive bodies of data in ways which foster more coherent representation and reasoning. (shrink)

We present in this paper a novel ontological theory of events whose central tenet is the Aristotelian distinction between the object that changes and the actual subject of change, which is what we call an individual quality. While in the Kimian tradition events are individuated by a triple ⟨ o, P, t ⟩, where o is an object, P a property, and t an interval of time, for us the simplest events are qualitative changes, individuated by a triple ⟨ o, (...) q, t ⟩, where q is an individual quality inhering in o or in one of its parts. Detaching the individuation of events from the property they exemplify results in a fine-grained theory that keeps metaphysics and semantics clearly separate, and lies between the multiplicative and the unitarian approaches. We discuss then the way language refers to events, observing that, in most cases, event descriptions refer to complex, cognitively relevant clusters of co-occurring qualitative changes, which exhibit a synchronic structure depending on the way they are described. Contra Bennett, who famously argued that the semantics of event names ultimately depends on “local context and unprincipled intuitions”, we show how the lexicon provides systematic principles for individuating such clusters and classifying them into kinds. Finally, we address some open challenges in the semantics of locative and manner modifiers. (shrink)

La pertinence de la métaphysique analytique a fait l'objet de critiques : Ladyman et Ross, par exemple, ont suggéré d'abandonner ce domaine. French et McKenzie ont défendu la métaphysique analytique en affirmant qu'elle développe des outils qui pourraient s'avérer utiles pour la philosophie de la physique. Dans cet article, nous montrons dans un premier temps que cette défense heuristique de la métaphysique peut être étendue au domaine scientifique de l'ontologie appliquée, qui utilise des théories et outils issus de la métaphysique (...) analytique. Dans un deuxième temps, nous développons le parallèle que font French et McKenzie entre les mathématiques et la métaphysique pour montrer que l'ensemble du domaine de la métaphysique analytique, étant donné son utilité non seulement pour la philosophie mais également pour la science, devrait continuer à exister en tant que domaine largement autonome. (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)

We introduce the notions of syntactic synonymy and referential syn- onymy due to Moschovakis. Those notions are capable of accounting for fine- grained aspects of the meaning of linguistic expressions, by formalizing the Fregean distinction between sense and denotation. We integrate Moschovakis’s theory with the theory of concepts developed in the foundational ontology DOLCE, in order to enable a formal treatment of equivalence between concepts.

We introduce and discuss a knowledge-driven distillation approach to explaining black-box models by means of two kinds of interpretable models. The first is perceptron (or threshold) connectives, which enrich knowledge representation languages such as Description Logics with linear operators that serve as a bridge between statistical learning and logical reasoning. The second is Trepan Reloaded, an ap- proach that builds post-hoc explanations of black-box classifiers in the form of decision trees enhanced by domain knowledge. Our aim is, firstly, to target (...) a model-agnostic distillation approach exemplified with these two frameworks, secondly, to study how these two frameworks interact on a theoretical level, and, thirdly, to investigate use-cases in ML and AI in a comparative manner. Specifically, we envision that user-studies will help determine human understandability of explanations generated using these two frameworks. (shrink)

Types are a crucial concept in conceptual modelling, logic, and knowledge representation as they are an ubiquitous device to un- derstand and formalise the classification of objects. We propose a logical treatment of types based on a cognitively inspired modelling that ac- counts for the amount of information that is actually available to a cer- tain agent in the task of classification. We develop a predicative modal logic whose semantics is based on conceptual spaces that model the ac- tual information (...) that a cognitive agent has about objects, types, and the classification of an object under a certain type. In particular, we ac- count for possible failures in the classification, for the lack of sufficient information, and for some aspects related to vagueness. (shrink)

When people combine concepts these are often characterised as “hybrid”, “impossible”, or “humorous”. However, when simply considering them in terms of extensional logic, the novel concepts understood as a conjunctive concept will often lack meaning having an empty extension (consider “a tooth that is a chair”, “a pet flower”, etc.). Still, people use different strategies to produce new non-empty concepts: additive or integrative combination of features, alignment of features, instantiation, etc. All these strategies involve the ability to deal with conflicting (...) attributes and the creation of new (combinations of) properties. We here consider in particular the case where a Head concept has superior ‘asymmetric’ control over steering the resulting concept combination (or hybridisation) with a Modifier concept. Specifically, we propose a dialogical approach to concept combination and discuss an implementation based on axiom weakening, which models the cognitive and logical mechanics of this asymmetric form of hybridisation. (shrink)

Implicit stochastic models, including both ‘deep neural networks’ (dNNs) and the more recent unsupervised foundational models, cannot be explained. That is, it cannot be determined how they work, because the interactions of the millions or billions of terms that are contained in their equations cannot be captured in the form of a causal model. Because users of stochastic AI systems would like to understand how they operate in order to be able to use them safely and reliably, there has emerged (...) a new field called ‘explainable AI’ (XAI). When we examine the XAI literature, however, it becomes apparent that its protagonists have redefined the term ‘explanation’ to mean something else, namely: ‘interpretation’. Interpretations are indeed sometimes possible, but we show that they give at best only a subjective understanding of how a model works. We propose an alternative to XAI, namely certified AI (CAI), and describe how an AI can be specified, realized, and tested in order to become certified. The resulting approach combines ontologies and formal logic with statistical learning to obtain reliable AI systems which can be safely used in technical applications. (shrink)

Achieving space situational awareness requires, at a minimum, the identification, characterization, and tracking of space objects. Leveraging the resultant space object data for purposes such as hostile threat assessment, object identification, and conjunction assessment presents major challenges. This is in part because in characterizing space objects we reference a variety of identifiers, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, operational processes, operational statuses, and so forth, which tend to be defined in highly heterogeneous and sometimes inconsistent (...) ways. The Space Domain Ontologies are designed to provide a consensus-based realist framework for formulating such characterizations in a way that is both consistent and computable. Space object data are aligned with classes and relations in a suite of ontologies built around the existing Space Object Ontology. They are stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space situational awareness and the needs of spacecraft operators and analysts. This paper provides an overview of the Space Domain Ontologies and their development and use. It presents the motivation for and advantages of the Space Domain Ontologies, including the benefits they provide for enhancing and maintaining long-term space situational awareness. (shrink)

This paper describes an AFOSR-supported basic research program that focuses on developing a new framework for combining hard with soft data in order to improve space situational awareness. The goal is to provide, in an automatic and near real-time fashion, a ranking of possible threats to blue assets (assets trying to be protected) from red assets (assets with hostile intentions). The approach is based on Conceptual Spaces models, which combine features from traditional associative and symbolic cognitive models. While Conceptual Spaces (...) are revolutionary, they lack an underlying mathematical framework. Several such frameworks have attempted to represent Conceptual Spaces, but by far the most robust is the model developed by Holender. His model utilizes integer linear programming in order to obtain an overall similarity value between observations and concepts that support the formation of hypotheses. This paper will describe a method for building Conceptual Spaces models for threats that utilizes ontologies as a means to provide a clear semantic foundation for this inferencing process; in particular threat ontologies and space domain ontologies are developed and employed in this approach. A space situational awareness use-case is presented involving a kinetic kill scenario and results are shown to assess the performance of this fusion-based inferencing framework. (shrink)

This is a commentary on the article by Augusto (2022; this issue) on categories and foundation ontology (FO). We agree that the notion of categories of kinds of elements to devise a FO deserves more attention than it has received to date. From a practical point of view sensu developing domain ontologies, however, it probably does not matter much as long as a FO is used and that that one was understood.

Previous work has shown that the Complex Conceptual Spaces − Single Observation Mathematical framework is a useful tool for event characterization. This mathematical framework is developed on the basis of Conceptual Spaces and uses integer linear programming to find the needed similarity values. The work of this paper is focused primarily on space event characterization. In particular, the focus is on the ranking of threats for malicious space events such as a kinetic kill. To make the Conceptual Spaces framework work, (...) the similarity values between the contents of observations on the one hand and the properties of the entities observed on the other needs to be found. This paper shows how to exploit Dempster-Shafer theory to implement a statistical approach for finding these similarities values. This approach will allow a user to identify the uncertainty involved in similarity value data, which can later be propagated through the developed mathematical model in order for the user to know the overall uncertainty in the observation-to-concept mappings needed for space event characterization. (shrink)

We propose a domain-level ontology of plays for the facilitation of play-based collaborative autonomy among unmanned and manned-unmanned aircraft teams in the Army’s Unmanned Aircraft System (UAS) mission domain. We define a play as a type of plan that prescribes some pattern of intentional acts that are intended to reliably result in some goal in some competitive context, and which specifies one or more roles that are realized by those prescribed intentional acts. The ontology is well suited to be extended (...) to other types of military and nonmilitary unmanned vehicle operations. (shrink)

This paper leads us in reflections regarding the ontological status of a situation inspired by two main sources: the Zhuangzi--a multifarious compilation from Warring States China (ca. 4th c. BCE)--and José Ortega y Gasset's (1883-1955) Unas Lecciones de Metafísica (Some Lessons in Metaphysics)--the transcripts of a course on metaphysics by a Spanish philosopher of the early 20th century. Much as other ontologically subjective entities and events, situations do not preexist the intentional subject: instead, they are created alongside our act of (...) noticing. In Classical Chinese, shi , commonly rendered "propensity" and the closest the language comes to our concept of situation, denotes a dynamic process that incorporates the conscious subjective agent as well as other entities as constitutive elements. Here a situation is not reducible to the discrete phenomena and events that we can discern within a given space-time; rather, it necessitates our thinking about it to arise. These ontological reflections are important for a philosophy of action. They help us notice the role of attention in the creation of situations--as in the creation of worlds--hence the importance of understanding what the agent notices and fails to notice, what we privilege as worthy of our attention and what passes inadvertent among the world's plural affordances. The relational affordances that we actualize and reify as constituting a situation depend on what we are socialized and educated to see when looking at the world, thus situations and agents co-create one another over time. This acknowledgement is crucial to retrain our agency in order to illuminate our blind spots, overcome our uncritical certainties which generate absolutist tendencies, and move beyond fixed, reduced, and contingent corners from which to interpret the world. (shrink)

We propose a definition of capability as a class intermediate between function and disposition as the latter are defined in Basic Formal Ontology (BFO). A disposition inheres in a material entity and is realized in a certain kind of process. An example is the disposition of a glass to break when struck, which is realized when it shatters. A function is a disposition which is (simply put) the rationale for the existence of its bearer. To say for example that a (...) water pump has the function to pump water is to say that the pump exists because something was needed that would pump water. Capabilities are a special sort of disposition in that that, like functions, they can be evaluated on the basis of how well they are realized. They differ from functions in that their realizations are not the rationale – not the primary reason – for the existence of their bearers. Thus, a water pump may have many capabilities, including to be weatherproof, to run without lubricant, and so forth, but only one function. All functions are capabilities on the view we defend, but not all capabilities are functions. We develop a series of axioms to distinguish capabilities formally from both dispositions and functions and provide examples of the use of ‘capability’ in a variety of domains. (shrink)

The parceling of land into real estate is more than a simple geometrical affair. Real estate is a historical product of interaction between human beings, political, legal and economic institutions, and the physical environment. And while many authors, from Jeremy Bentham to Hernando de Soto, have drawn attention to the ontological (metaphysical) aspect of property in general, no comprehensive analysis of landed property has been attempted. The paper presents such an analysis and shows how landed property differs from other types (...) of property in a way which implies a special role for political and economic philosophy of property rights in land. This is the Chinese translation of "The Metaphysics of Real Estate", Topoi, 20: 2 (September 2001), 161–172. (shrink)

Building Information Modelling (BIM) is a process for managing construction project information in such a way as to provide a basis for enhanced decision-making and for collaboration in a construction supply chain. One impediment to the uptake of BIM is the limited interoperability of different BIM systems. To overcome this problem, a set of Industry Foundation Classes (IFC) has been proposed as a standard for the construction industry. Building on IFC, the ifcOWL ontology was developed in order to facilitate representation (...) of building data in a consistent fashion across the Web by using the Web Ontology Language (OWL). This study presents a critical analysis of the ifcOWL ontology and of the associated interoperability issues. It shows how these issues can be resolved by using Basic Formal Ontology (ISO/IEC 21838-2) as top-level architecture. A set of competency questions is used as the basis for comparison of the original ifcOWL with the enhanced ontology, and the latter is used to align with a second ontology – the ontology for building intelligent environments (DOGONT) – in order to demonstrate the added value derived from BFO by showing how querying the enhanced ifcOWL yields useful additional information. (shrink)

Managing complex disaster situations is a challenging task because of the large number of actors involved and the critical nature of the events themselves. In particular, the different terminologies and technical vocabularies that are being exchanged among Emergency Responders may lead to misunderstandings. Maintaining a shared semantics for exchanged data is a major challenge. To help to overcome these issues, we elaborate a modular suite of ontologies called POLARISCO that formalizes the complex knowledge of the ERs. Such a shared vocabulary (...) resolves inconsistent terminologies and promotes semantic interoperability among ERs. In this work, we discuss developing POLARISCO as an extension of Basic Formal Ontology and the Common Core Ontologies. We conclude by presenting a real use-case to check the efficiency and applicability of the proposed ontology. (shrink)

Applied ontologies have been used more and more frequently to enhance systems engineering. In this paper, we argue that adopting principles of ontological realism can increase the benefits that ontologies have already been shown to provide to the systems engineering process. Moreover, adopting Basic Formal Ontology (BFO), an ISO standard for top-level ontologies from which more domain specific ontologies are constructed, can lead to benefits in four distinct areas of systems engineering: (1) interoperability, (2) standardization, (3) testing, and (4) data (...) exploitation. Reaping these benefits in a model-based systems engineering (MBSE) context requires utilizing an ontology’s vocabulary when modeling systems and entities within those systems. If the chosen ontology abides by the principles of ontological realism, a semantic standard capable of uniting distinct domains, using BFO as a hub, can be leveraged to promote greater interoperability among systems. As interoperability and standardization increase, so does the ability to collect data during the testing and implementation of systems. These data can then be reasoned over by computational reasoners using the logical axioms within the ontology. This, in turn, generates new data that would have been impossible or too inefficient to generate without the aid of computational reasoners. (shrink)

In “Toward an Ontology of Commercial Exchange” [11], we proposed human readable definitions for terms that are central to an ontology of commercial exchange. This paper furthers that project in two ways. First, the definitions have been modified to be compatible with the Common Core Ontologies (CCO). CCO is used in a wide variety of domains including the industrial and military domains. Having a commerce ontology compatible with CCO allows data about the exchange of goods relevant to those domains to (...) be tagged with compatible ontologies. Second, we propose preliminary formalizations of these definitions, with the aim of informing the creation of an ontology which can be used to assist in reasoning over businessrelated data. (shrink)

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)

L’ontologie générale constitue un fondement théorique important pour l’analyse, la conception et le développement dans les technologies de l’information. L’ontologie est une branche de la philosophie qui étudie ce qui existe dans la réalité. Une ontologie largement utilisée dans les systèmes d’information, en particulier pour la modélisation conceptuelle, est l’ontologie BWW (Bunge-Wand-Weber), fondée sur les idées du philosophe et physicien Mario Bunge, telles que synthétisées par Wand et Weber. Cette ontologie a été élaborée à partir d’une ancienne version de la (...) philosophie de Bunge ; cependant, de nombreuses idées de Bunge ont évolué depuis lors. Une question importante est donc la suivante : les idées les plus récentes exprimées par Bunge appellent-elles une nouvelle ontologie ? Dans cet article, nous analyserons des travaux récents et antérieurs de Bunge afin de répondre à cette question. Nous présentons une nouvelle ontologie basée sur les travaux plus récents de Bunge que nous nommons ontologie systémiste bungéenne (Bunge’s Systemist Ontolgy ; BSO). Nous comparons ensuite BSO aux constructions de BWW. La comparaison révèle à la fois un chevauchement considérable entre BSO et BWW, ainsi que des différences substantielles. À partir de cette comparaison et de l’exposition initiale de BSO, nous proposons des suggestions pour diverses études ontologiques et identifions des questions qui pourraient alimenter un programme de recherche tant en modélisation conceptuelle qu’en technologie de l’information en général. (shrink)

Abstract In light of the complexity of unfolding disasters, the diversity of rapidly evolving events, the enormous amount of generated information, and the huge pool of casualties, emergency responders (ERs) may be overwhelmed and in consequence poor decisions may be made. In fact, the possibility of transporting the wounded victims to one of several hospitals and the dynamic changes in healthcare resource availability make the decision process more complex. To tackle this problem, we propose a multicriteria decision support service, based (...) on the Analytic Hierarchy Process (AHP) method, that aims to avoid overcrowding and outpacing the capacity of a hospital to effectively provide the best care to victims by finding out the most appropriate hospital that meets the victims’ needs. The proposed approach searches for the most appropriate healthcare institution that can effectively deal with the victims’ needs by considering the availability of the needed resources in the hospital, the victim’s wait time to receive the healthcare, and the transfer time that represents the hospital proximity to the disaster site. The evaluation and validation results showed that the assignment of hospitals was done successfully considering the needs of each victim and without overwhelming any single hospital. (shrink)