Barry Smith

The Unified Medical Language System and the Gene Ontology are among the most widely used terminology resources in the biomedical domain. However, when we evaluate them in the light of simple principles for wellconstructed ontologies we find a number of characteristic inadequacies. Employing the theory of granular partitions, a new approach to the understanding of ontologies and of the relationships ontologies bear to instances in reality, we provide an application of this theory in relation to an example drawn from the context of the pathophysiology of hypertension. This exercise is designed to demonstrate how, by taking ontological principles into account we can create more realistic biomedical ontologies which will also bring advantages in terms of efficiency and robustness of associated software applications.

There are some who defend a view of vagueness according to which there are intrinsically vague objects or attributes in reality. Here, in contrast, we defend a view of vagueness as a semantic property of names and predicates. All entities are crisp, on this view, but there are, for each vague name, multiple portions of reality that are equally good candidates for being its referent, and, for each vague predicate, multiple classes of objects that are equally good candidates for being its extension. We provide a new formulation of these ideas in terms of a theory of granular partitions. We show that this theory provides a general framework within which we can understand the relation between vague terms and concepts on the one hand and correlated portions of reality on the other. We also sketch how it might be possible to formulate within this framework a theory of vagueness which dispenses with the notion of truth-value gaps and other artifacts of more familiar approaches.

We performed a qualitative analysis of the Thesaurus in order to assess its conformity with principles of good practice in terminology and ontology design. We used both the on-line browsable version of the Thesaurus and its OWL-representation (version 04.08b, released on August 2, 2004), measuring each in light of the requirements put forward in relevant ISO terminology standards and in light of ontological principles advanced in the recent literature. Version 04.08b of the NCI Thesaurus suffers from the same broad range of problems that have been observed in other biomedical terminologies. For its further development, we recommend the use of a more principled approach that allows the Thesaurus to be tested not just for internal consistency but also for its degree of correspondence to that part of reality which it is designed to represent.

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

When national borders in the modern sense first began to be established in early modern Europe, non-contiguous and perforated nations were a commonplace. According to the conception of the shapes of nations that is currently preferred, however, nations must conform to the topological model of circularity; their borders must guarantee contiguity and simple connectedness, and such borders must as far as possible conform to existing topographical features on the ground. The striving to conform to this model can be seen at work today in Quebec and in Ireland, it underpins much of the rhetoric of the P.L.O., and was certainly to some degree involved as a motivating factor in much of the ethnic cleansing which took place in Bosnia in recent times. The question to be addressed in what follows is: to what extent could inter-group disputes be more peacefully resolved, and ethnic cleansing avoided, if political leaders, diplomats and others involved in the resolution of such disputes could be brought to accept weaker geometrical constraints on the shapes of nations? A number of associated questions then present themselves: What sorts of administrative and logistical problems have been encountered by existing non contiguous nations and by perforated nations, and by other nations deviating in different ways from the received geometrical ideal? To what degree is the desire for continuity and simple connectedness a rational desire, and to what degree does it rest on species of political rhetoric which might be countered by, for example, philosophical argument? These and a series of related questions will form the subject- matter of the present essay

The Emotion Ontology is an ontology covering all aspects of emotional and affective mental functioning. It is being developed following the principles of the OBO Foundry and Ontological Realism. This means that in compiling the ontology, we emphasize the importance of the nature of the entities in reality that the ontology is describing. One of the ways in which realism-based ontologies are being successfully used within biomedical science is in the annotation of scientific research results in publicly available databases. Such annotation enables several objectives, including searching, browsing and cross-database data integration. A key benefit conferred by realismbased ontology is that suitably annotated research results are able to be aggregated and compared in a fashion that is based on the underlying reality that the science is studying. This has the potential of increasing the power of statistical analysis and meta-analysis in data-driven science. This aspect has been fruitfully exploited in the investigation of the functions of genes in molecular biology. Cognitive neuroscience uses functional neuroimaging to investigate the brain correlates of areas of mental functioning such as memory, planning and emotion. The use of functional neuroimaging to study affective phenomena such as the emotions is called ‘affective neuroscience’. BrainMap is the largest curated database of coordinates and metadata for studies in cognitive neuroscience, including affective neuroscience (Laird et al., 2005). BrainMap data is already classified and indexed using a terminology for classification, called the ‘Cognitive Paradigm Ontology’ (CogPO), that has been developed to facilitate searching and browsing. However, CogPO has been developed specifically for the BrainMap database, and the data are thus far not annotated to a realism-based ontology which would allow the discovery of interrelationships between research results across different databases on the basis of what the research is about. In this contribution, we describe ongoing work that aims to annotate affective neuroscience data, starting with the BrainMap database, using the Emotion Ontology. We describe our objectives and technical approach to the annotation, and mention some of the challenges.

We present an ontology of pain and of other pain-related phenomena, building on the definition of pain provided by the International Association for the Study of Pain (IASP). Our strategy is to identify an evolutionarily basic canonical pain phenomenon, involving unpleasant sensory and emotional experience based causally in localized tissue damage that is concordant with that experience. We then show how different variant cases of this canonical pain phenomenon can be distinguished, including pain that is elevated relative to peripheral trauma, pain that is caused neuropathically (thus with no necessary peripheral stimulus), and pain reports arising through deception either of self or of others. We describe how our approach can answer some of the objections raised against the IASP definition, and sketch how it can be used to support more sophisticated discrimination of different types of pain resulting in improved data analysis that can help in advancing pain research.

The paper is a contribution to formal ontology. It seeks to use topological means in order to derive ontological laws pertaining to the boundaries and interiors of wholes, to relations of contact and connectedness, to the concepts of surface, point, neighbourhood, and so on. The basis of the theory is mereology, the formal theory of part and whole, a theory which is shown to have a number of advantages, for ontological purposes, over standard treatments of topology in set-theoretic terms. One central goal of the paper is to provide a rigorous formulation of Brentano's thesis to the effect that a boundary can exist as a matter of necessity only as part of a whole of higher dimension which it is the boundary of. It concludes with a brief survey of current applications of mereotopology in areas such as natural-language analysis, geographic information systems, machine vision, naive physics, and database and knowledge engineering.

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

The analytical philosophy of the last hundred years has been heavily influenced by a doctrine to the effect that the key to the correct understanding of reality is captured syntactically in the ‘Fa’ (or, in more sophisticated versions, in the ‘Rab’) of standard first order predicate logic. Here ‘F’ stands for what is general in reality and ‘a’ for what is individual. Hence “f(a)ntology”. Because predicate logic has exactly two syntactically different kinds of referring expressions—‘F’, ‘G’, ‘R’, etc., and ‘a’, ‘b’, ‘c’, etc.—so reality must consist of exactly two correspondingly different kinds of entity: the general (properties, concepts) and the particular (things, objects). We describe the historical influence of this view, and also show how standard first-order predicate logic can be used for the logical formalization of a more adequate “six category ontology”, which recognizes, at the level of both particulars and universals, not only things or objects but also events and qualities.

Where some have attempted to apply cognitive methods to the study of geography, the present paper is designed to serve as a starting point for applying methods of geographic ontology to the phenomena of cognition. Agglomerations are aggregates of entities that are dispersed through space on geographic scales. Examples include: plagues, biological species, major world religions. The paper applies standard mereotopological theories of spatial regions to agglomerations in this sense. It offers the beginnings of a general theory of the relations between social, cultural, ethnic and religious agglomerations on the one hand and territorially demarcated spatial objects on the other. In this way it serves as the basis for a general ontological theory of types of human groups and also of types of conflict between these groups. At the same time it provides ontological foundations for the epidemiological study of cognitive phenomena, and especially of cognitive phenomena in the sociopolitical realm.

Human cognitive acts are directed towards entities of a wide range of different types. What follows is a new proposal for bringing order into this typological clutter. A categorial scheme for the objects of human cognition should be (1) critical and realistic. Cognitive subjects are liable to error, even to systematic error of the sort that is manifested by believers in the Pantheon of Olympian gods. Thus not all putative object-directed acts should be recognized as having objects of their own. What follows is a categorial scheme that is both critically realistic and comprehensive. Thus it enjoys some of the benefits of linguistic idealism and physicalism, without (or so it is hoped) the corresponding disadvantages of each.The starting point for our categorial scheme is the concept of extended entity.

When does a human being begin to exist? We argue that it is possible, through a combination of biological fact and philosophical analysis, to provide a definitive answer to this question. We lay down a set of conditions for being a human being, and we determine when, in the course of normal fetal development, these conditions are first satisfied. Issues dealt with along the way include: modes of substance-formation, twinning, the nature of the intra-uterine environment, and the nature of the relation between fetus and mother (connection, parthood, dependence).

The Plant Ontology (PO; http://www.plantontology.org/) is a publicly-available, collaborative effort to develop and maintain a controlled, structured vocabulary (“ontology”) of terms to describe plant anatomy, morphology and the stages of plant development. The goals of the PO are to link (annotate) gene expression and phenotype data to plant structures and stages of plant development, using the data model adopted by the Gene Ontology. From its original design covering only rice, maize and Arabidopsis, the scope of the PO has been expanded to include all green plants. The PO was the first multi-species anatomy ontology developed for the annotation of genes and phenotypes. Also, to our knowledge, it was one of the first biological ontologies that provides translations (via synonyms) in non-English languages such as Japanese and Spanish. There are about 2.2 million annotations linking PO terms to over 110,000 unique data objects representing genes or gene models, proteins, RNAs, germplasm and Quantitative Traits Loci (QTLs) from 22 plant species. In this paper, we focus on the plant anatomical entity branch of the PO, describing the organizing principles, resources available to users, and examples of how the PO is integrated into other plant genomics databases and web portals. We also provide two examples of comparative analyses, demonstrating how the ontology structure and PO-annotated data can be used to discover the patterns of expression of the LEAFY (LFY) and terpene synthase (TPS) gene homologs.

The paper is an exercise in descriptive ontology, with specific applications to problems in the geographical sphere. It presents a general typology of spatial boundaries, based in particular on an opposition between bona fide or physical boundaries on the one hand, and fiat or human-demarcation-induced boundaries on the other. Cross-cutting this opposition are further oppositions in the realm of boundaries, for example between: crisp and indeterminate, complete and incomplete, enduring and transient, symmetrical and asymmetrical. The resulting typology generates a corresponding categorization of the different sorts of objects which (complete) boundaries determine or demarcate. The theory is applied first of all in the areas of geography and of administrative and property law. Indications are then given as to how the typology may be applied also in other fields where physical and fiat boundaries are at work, including the field of cognitive linguistics and the related field of the ontology of truth.

Part 1 of this exchange consists in a critique by Smith of Searle’s The Construction of Social Reality focusing on Searle’s use of the formula ‘X counts as Y in context C’. Smith argues that this formula works well for social objects such as dollar bills and presidents where the corresponding X terms (pieces of paper, human beings) are easy to identify. In cases such as debts and prices and money in a banks computers, however, the formula fails, because these are cases of what he calls ‘free-standing Y terms’, since there is here no X which can count as the corresponding Y. In his response in Part 2, Searle argues that Smith’s critique rests on three misunderstandings: 1. in wrongly presupposing that Searle is trying to analyze the nature of what he calls “social objects”, rather than of social facts; 2. in thinking that the counts as formula is intended as a definition, rather than as a mere mnemonic; and 3. in neglecting the naturalism of Searle’s account.

Neo-Kantianism is common conceived as a philosophy ‘from above’, excelling in speculative constructions – as opposed to the attitude of patient description which is exemplified by the phenomenological turn ‘to the things themselves’. When we study the work of Emil Lask in its relation to that of Husserl and the phenomenologists, however, and when we examine the influences moving in both directions, then we discover that this idea of a radical opposition is misconceived. Lask himself was influenced especially by Husserl’s Logical Investigations, and Husserl, especially in his later writings, was in some respects closer to Kant than were the Neo-Kantians. The contrast between the two philosophers can be illustrated by looking at their view of the objects of judgment; for Lask, as for Kant, judgment can relate to the thing as such only in an indirect way. The world of judgment is a collection of ‘imitations holding a secondary position’. It is cut apart from the plain world of real things by what Lask calls a ‘chasm of artificiality and imagery’. For Husserl, in contrast, the object of judgment is a ‘Sachverhalt’ or state of affairs, something ontologically ‘positive’ in the sense that it is an entity in its own right and does not point beyond itself in the manner of a mere sign or proxy for something else.

Mereotopology faces problems when its methods are extended to deal with time and change. We offer a new solution to these problems, based on a theory of partitions of reality which allows us to simulate (and also to generalize) aspects of set theory within a mereotopological framework. This theory is extended to a theory of coarse- and fine-grained histories (or finite sequences of partitions evolving over time), drawing on machinery developed within the framework of the so-called ‘consistent histories’ interpretation of quantum mechanics.

We review an influential series of lectures on analytic philosophy published in 1976 by the West German philosopher Ernst Tugendhat focusing on Tugendhat's treatment of Husserl, and particularly on issues connected with the notion of dependence or Abhängigkeit central to Husserl's philosophy. These issues are of interest not only because Tugendhat's work is one of the few contributions to contemporary analytic philosophy in which they are confronted explicitly, but also because what he has to say about Husserl and dependence illustrates well both the positive and the negative thrust of his argument.

Die zeitgenössischen Philosophen haben zwar der Sprache, die wir verwenden, um die Welt der alltäglichen Erfahrung zu beschreiben oder um uns in dieser Welt zurechtzufinden, große Aufmerksamkeit geschenkt, sie haben sich jedoch – von einigen Ausnahmen abgesehen – geweigert, diese Welt selbst als passendes Objekt theoretischer Betrachtungen anzusehen. Im folgenden werde ich versuchen zu zeigen, wie es möglich ist, die Common-Sense-Welt als ontologisch eigenständiges Untersuchungsobjekt zu verstehen. Gleichzeitig werde ich mich bemühen, deutlich zu zeigen, wie eine solch eigenständige Behandlung uns möglicherweise hilft, die Strukturen sowohl der physikalischen Welt als auch der menschlichen Erkenntnis philosophisch besser zu verstehen.

From his groundbreaking book Speech Acts to his most recent studies of consciousness, freedom and rationality John Searle has been a dominant and highly influential figure amongst contemporary philosophers. This systematic introduction to the full range of Searle's work begins with the theory of speech acts and proceeds with expositions of Searle's writings on intentionality, consciousness and perception, as well as a careful presentation of the so-called Chinese Room argument. The volume considers Searle's recent work on social ontology and his views on the nature of law and obligation. It concludes with an appraisal of Searle's spirited defence of truth and scientific method in the face of the criticisms of Derrida and other postmodernists. This is the only comprehensive introduction to Searle's work, and as such it will be of particular value to advanced undergraduates, graduates and professionals in philosophy, psychology, linguistics, cognitive and computer science and literary theory.

Un mince fil dans la vaste littérature sur Kafka concerne la connaissance qu’avait Kafka de la philosophie, et plus précisément l’utilisation, dans les récits de Kafka, de quelques-unes des idées principales de Franz Brentano. Kafka a suivi des cours de philosophie à l’Université Charles, cours donnés par des étudiants de Brentano, Anton Marty et Christian von Ehrenfels. Il fut aussi, pendant plusieurs années, membre d’un groupe de discussion organisé par des partisans orthodoxes de la philosophie brentanienne à Prague. Le présent essai résume ce que l’on sait des relations entretenues par Kafka avec le mouvement brentanien. Il porte sur les idées brentaniennes qui concernent l’évidence de la perception intérieure, la conscience oblique, l’introspection active, le jugement correct et incorrect et la conscience en tant qu’espèce de tribunal intérieur, dans le but d’éclairer certains aspects centraux de l’œuvre de Kafka, incluant son style. Nous porterons une attention particulière sur Die Verwandlung et Der Prozess , et nous offrirons une interprétation de ce dernier texte selon laquelle le procès de Joseph K. se passe entièrement dans l’esprit de K. lui-même.

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

Biomedical ontologies exist to serve integration of clinical and experimental data, and it is critical to their success that they be put to widespread use in the annotation of data. How, then, can ontologies achieve the sort of user-friendliness, reliability, cost-effectiveness, and breadth of coverage that is necessary to ensure extensive usage? Methods: Our focus here is on two different sets of answers to these questions that have been proposed, on the one hand in medicine, by the SNOMED CT community, and on the other hand in biology, by the OBO Foundry. We address more specifically the issue as to how adherence to certain development principles can advance the usability and effectiveness of an ontology or terminology resource, for example by allowing more accurate maintenance, more reliable application, and more efficient interoperation with other ontologies and information resources. Results: SNOMED CT and the OBO Foundry differ considerably in their general approach.Nevertheless, a general trend towards more formal rigor and cross-domain interoperability can be seen in both and we argue that this trend should be accepted by all similar initiatives in the future. Conclusions: Future efforts in ontology development have to address the need for harmonization and integration of ontologies across disciplinary borders, and for this, coherent formalization of ontologies is a prerequisite.

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

Ontologies describe reality in specific domains in ways that can bridge various disciplines and languages. They allow easier access and integration of information that is collected by different groups. Ontologies are currently used in the biomedical sciences, geography, and law. A Biomedical Ethics Ontology would benefit members of ethics committees who deal with protocols and consent forms spanning numerous fields of inquiry. There already exists the Ontology for Biomedical Investigations (OBI); the proposed BMEO would interoperate with OBI, creating a powerful information tool. We define a domain ontology and begin to construct a BMEO, focused on the process of evaluating human research protocols. Finally, we show how our BMEO can have practical applications for ethics committees. This paper describes ongoing research and a strategy for its broader continuation and cooperation.

The Information Artifact Ontology (IAO) was created to serve as a domain‐neutral resource for the representation of types of information content entities (ICEs) such as documents, data‐bases, and digital im‐ages. We identify a series of problems with the current version of the IAO and suggest solutions designed to advance our understanding of the relations between ICEs and associated cognitive representations in the minds of human subjects. This requires embedding IAO in a larger framework of ontologies, including most importantly the Mental Func‐tioning Ontology (MFO). It also requires a careful treatment of the aboutness relations between ICEs and associated cognitive representa‐tions and their targets in reality, which implies in turn a new treatment of the relation of truthmaking.