A taxonomy of part‐whole or meronymic relations is developed to explain the ordinary English‐speaker's use of the term “part of” and its cognates. The resulting classification yields six types of meronymic relations: 1. component‐integral object (pedal‐bike), 2. member‐collection (ship‐fleet), 3. portion‐mass (slice‐pie), 4. stuff‐object (steel‐car), 5. feature‐activity (paying‐shopping), and 6. place‐area (Everglades‐Florida). Meronymic relations ore further distinguished from other inclusion relations, such as spatial inclusion, and class inclusion, and from several other semantic relations: attribution, attachment, and ownership. This taxonomy is (...) then used to explain cases of apparent intransitivity in merological syllogisms, and standard form syllogisms whose premises express different inclusion relations. The data suggest that intransitivities arise due to equivocations between different types of semantic relations. These results are then explained by means of the relation element theory which accounts for the character and behavior of semantic relations in terms of more primitive relational elements. The inferential phenomena observed are then explained by means of a single principle of element matching. (shrink)

dolce, the first top-level 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. 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)

GUM is a linguistically-motivated ontology originally developed to support natural language processing systems by offering a level of representation intermediate between linguistic forms and domain knowledge. Whereas modeling decisions for individual domains may need to be responsive to domain-specific criteria, a linguistically-motivated ontology offers a characterization that generalizes across domains because its design criteria are derived independently both of domain and of application. With respect to this mediating role, the use of GUM resembles the adoption of upper ontologies as tools (...) for mediating across domains and for supporting domain modeling. This paper briefly introduces the ontology, setting out its origins, design principles and applications. The example cases for this special issue are then described, illustrating particularly some of the principal differences and similarities of GUM to non-linguistically motivated upper ontologies. (shrink)

A taxonomy of part‐whole or meronymic relations is developed to explain the ordinary English‐speaker's use of the term “part of” and its cognates. The resulting classification yields six types of meronymic relations: 1. component‐integral object (pedal‐bike), 2. member‐collection (ship‐fleet), 3. portion‐mass (slice‐pie), 4. stuff‐object (steel‐car), 5. feature‐activity (paying‐shopping), and 6. place‐area (Everglades‐Florida). Meronymic relations ore further distinguished from other inclusion relations, such as spatial inclusion, and class inclusion, and from several other semantic relations: attribution, attachment, and ownership. This taxonomy is (...) then used to explain cases of apparent intransitivity in merological syllogisms, and standard form syllogisms whose premises express different inclusion relations. The data suggest that intransitivities arise due to equivocations between different types of semantic relations. These results are then explained by means of the relation element theory which accounts for the character and behavior of semantic relations in terms of more primitive relational elements. The inferential phenomena observed are then explained by means of a single principle of element matching. (shrink)

Since 2002 we have been testing and refining a methodology for ontology development that is now being used by multiple groups of researchers in different life science domains. Gary Merrill, in a recent paper in this journal, describes some of the reasons why this methodology has been found attractive by researchers in the biological and biomedical sciences. At the same time he assails the methodology on philosophical grounds, focusing specifically on our recommendation that ontologies developed for scientific purposes should be (...) constructed in such a way that their terms are seen as referring to what we call universals or types in reality. As we show, Merrill’s critique is of little relevance to the success of our realist project, since it not only reveals no actual errors in our work but also criticizes views on universals that we do not in fact hold. However, it nonetheless provides us with a valuable opportunity to clarify the realist methodology, and to show how some of its principles are being applied, especially within the framework of the OBO (Open Biomedical Ontologies) Foundry initiative. (shrink)

The Unified Foundational Ontology (UFO) was developed over the last two decades by consistently putting together theories from areas such as formal ontology in philosophy, cognitive science, linguistics, and philosophical logics. It comprises a number of micro-theories addressing fundamental conceptual modeling notions, including entity types and relationship types. The aim of this paper is to summarize the current state of UFO, presenting a formalization of the ontology, along with the analysis of a number of cases to illustrate the application of (...) UFO and facilitate its comparison with other foundational ontologies in this special issue. (The cases originate from the First FOUST Workshop – the Foundational Stance, an international forum dedicated to Foundational Ontology research.). (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)

The familiar Vendler-Kenny scheme of verb-types, viz., performances (further differentiated by Vedler into accomplishments and achievements), activities, and states, is too narrow in two important respects. First, it is narrow linguistically. It fails to take into account the phenomenon of verb aspect. The trichotomy is not one of verbs as lexical types but of predications. Second, the trichotomy is narrow ontologically. It is a specification in the context of human agency of the more fundamental, topic-neutral trichotomy, event-process-state.The central component in (...) this ontological trichotomy, event, can be sharply differentiated from its two flanking components by adapting a suggestion by Geoffrey N. Leech and others that the contrast between perfective and imperfective aspect in verbs corresponds to the count/mass distinction in the domain of nouns. With the help of two distinctions, of cardinal count adverbials versus frequency adverbials, and of occurrence versus associated occasion, two interrelated criteria for event predication are developed. Accordingly, Mary capsized the boat is an event predication because (a) it is equivalent to There was at least one capsizing of the boat by Mary, or (b) because it admits cardinal count adverbials, e.g., at least once, twice, three times. Ontologically speaking, events are defined as those occurrences that are inherently countable. (shrink)

yamato sharply distinguishes itself from other existing upper ontologies in the following respects. Most importantly, yamato is designed with both engineering and philosophical minds. yamato is based on a sophisticated theory of roles, given that the world is full of roles. yamato has a tenable theory of functions which helps to deal with artifacts effectively. 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. Quality and quantity are carefully organized for the sake of greater interoperability of real-world data. 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)

In “Ontological realism: Methodology or misdirection?” I offered a detailed critique of the position referred to as “realism” taken by Barry Smith and Werner Ceusters. This position is claimed to serve as the basis for a “realist methodology” that they seek to impose on the development of scientific ontologies, particularly within the biomedical sciences. Here, in part responding to a reply to those criticisms by Smith and Ceusters, I return the focus to an examination of fundamental incoherencies in this realist (...) approach and propose an alternative that is amenable to much of what Smith and Ceusters hope to accomplish. And I sketch what I believe is needed to advance ontology theory and practice in the sciences. (shrink)

In a series of papers over a period of several years Barry Smith andWerner Ceusters have offered a number of cogent criticisms of historical approaches to creating, maintaining, and applying biomedical terminologies and ontologies. And they have urged the adoption of what they refer to as a “realism-based” approach. Indeed, at times they insist that the realism-based approach not only offers clear advantages and a well-founded methodological basis for ontology development and evaluation, but that such a realist perspective is in (...) fact necessary for understanding and using terminologies and ontologies in science. -/- This paper explores a number of questions surrounding such claims, provides a careful characterization of the type of realism recommended by Smith and Ceusters, and evaluates the role that realism plays in the critiques and recommendations that they offer. The conclusion reached is that while Smith’s and Ceusters’ criticisms of prior practice in the treatment of ontologies and terminologies in medical informatics are often both perceptive and well founded, and while at least some of their own proposals demonstrate obvious merit and promise, none of this either follows from or requires the brand of realism that they propose. (shrink)

The General Formal Ontology is a top-level ontology that is being developed at the University of Leipzig since 1999. Besides introducing some of the basic principles of the ontology, we expound axiomatic fragments of its formalization and present ontological models of several use cases. GFO is a top-level ontology that integrates objects and processes into a unified framework, in a way that differs significantly from other ontologies. Another unique selling feature of GFO is its meta-ontological architecture, which includes set theory (...) into ontology and which accounts for its specific role in common representation approaches. The second level of that architecture starts from the distinction of categories and individuals, which forms the backbone of the world’s structure. Furthermore, GFO comprises several kinds of categories, among them universals and concepts, and it considers several ontological regions and levels. In the context of this special issue paper, we study five pre-determined use cases from the perspective of GFO. The results of these analyses yield insights into how the ontology treats several important notions. Very abridged, this covers material objects and their composition; roles and social entities; properties with their relations to objects and processes, and their changing; changes of processes, including a functional perspective; and, eventually, the nature and changing of concepts as well as terminology. A final part summarizes application projects that use GFO in various contexts. (shrink)

This paper addresses questions of universality related to ontological engineering, namely aims at substantiating (negative) answers to the following three basic questions: (i) Is there a ‘universal ontology’?, (ii) Is there a ‘universal formal ontology language’?, and (iii) Is there a universally applicable ‘mode of reasoning’ for formal ontologies? To support our answers in a principled way, we present a general framework for the design of formal ontologies resting on two main principles: firstly, we endorse Rudolf Carnap’s principle of logical (...) tolerance by giving central stage to the concept of logical heterogeneity, i.e. the use of a plurality of logical languages within one ontology design. Secondly, to structure and combine heterogeneous ontologies in a semantically well-founded way, we base our work on abstract model theory in the form of institutional semantics, as forcefully put forward by Joseph Goguen and Rod Burstall. In particular, we employ the structuring mechanisms of the heterogeneous algebraic specification language HetCasl for defining a general concept of heterogeneous, distributed, highly modular and structured ontologies, called hyperontologies. Moreover, we distinguish, on a structural and semantic level, several different kinds of combining and aligning heterogeneous ontologies, namely integration, connection, and refinement. We show how the notion of heterogeneous refinement can be used to provide both a general notion of sub-ontology as well as a notion of heterogeneous equivalence of ontologies, and finally sketch how different modes of reasoning over ontologies are related to these different structuring aspects. (shrink)

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 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. The TUpper Ontology is designed as a top-level ontology that contains modules from the ontologies within existing international standards. (shrink)

This reader collects and introduces important work in linguistics, computer science, artificial intelligence, and computational linguistics on the use of linguistic devices in natural languages to situate events in time: whether they are past, present, or future; whether they are real or hypothetical; when an event might have occurred, and how long it could have lasted. In focussing on the treatment and retrieval of time-based information it seeks to lay the foundation for temporally-aware natural language computer processing systems, for example (...) those that process documents on the worldwide web to answer questions or produce summaries. The development of such systems requires the application of technical knowledge from many different disciplines. The book is the first to bring these disciplines together, by means of classic and contemporary papers in four areas: tense, aspect, and event structure; temporal reasoning; the temporal structure of natural language discourse; and temporal annotation. Clear, self-contained editorial introductions to each area provide the necessary technical background for the non-specialist, explaining the underlying connections across disciplines.A wide range of students and professionals in academia and industry will value this book as an introduction and guide to a new and vital technology. The former include researchers, students, and teachers of natural language processing, linguistics, artificial intelligence, computational linguistics, computer science, information retrieval, library sciences, human-computer interaction, and cognitive science. Those in industry include corporate managers and researchers, software product developers, and engineers in information-intensive companies, such as on-line database and web-service providers. (shrink)

This volume is a collection of original contributions about the core knowledge in fundamental domains. It includes work on naive physics, such as formal specifications of intuitive theories of spatial relations, time causality, substance and physical objects, and on naive psychology.

relations between events both require a more complex structure on the domain underlying the meaning representations than is commonly assumed. This paper proposes an ontology based on such notions as causation and consequence, rather than on purely temporal primitives. A central notion in the ontology..

Current approaches to formal representation in biomedicine are characterized by their focus on either the static or the dynamic aspects of biological reality. We here outline a theory that combines both perspectives and at the same time tackles the by no means trivial issue of their coherent integration. Our position is that a good ontology must be capable of accounting for reality both synchronically (as it exists at a time) and diachronically (as it unfolds through time), but that these are (...) two quite different tasks, whose simultaneous realization is by no means trivial. The paper is structured as follows. We begin by laying out the methodological and philosophical background of our approach. We then summarize the structure and elements of the Basic Formal Ontology on which it rests, in particular the SNAP ontology of objects and the SPAN ontology of processes. Finally, we apply the general framework to the specific domain of biomedicine. (shrink)