Barry Smith

Ontology is one strategy for promoting interoperability of heterogeneous data through consistent tagging. An ontology is a controlled structured vocabulary consisting of general terms (such as “cell” or “image” or “tissue” or “microscope”) that form the basis for such tagging. These terms are designed to represent the types of entities in the domain of reality that the ontology has been devised to capture; the terms are provided with logical defi nitions thereby also supporting reasoning over the tagged data. Aim: This paper provides a survey of the biomedical imaging ontologies that have been developed thus far. It outlines the challenges, particularly faced by ontologies in the fields of histopathological imaging and image analysis, and suggests a strategy for addressing these challenges in the example domain of quantitative histopathology imaging. The ultimate goal is to support the multiscale understanding of disease that comes from using interoperable ontologies to integrate imaging data with clinical and genomics data.

Common sense is on the one hand a certain set of processes of natural cognition - of speaking, reasoning, seeing, and so on. On the other hand common sense is a system of beliefs (of folk physics, folk psychology and so on). Over against both of these is the world of common sense, the world of objects to which the processes of natural cognition and the corresponding belief-contents standardly relate. What are the structures of this world? How does the scientific treatment of this world relate to traditional and contemporary metaphysics and formal ontology? Can we embrace a thesis of common-sense realism to the effect that the world of common sense exists uniquely? Or must we adopt instead a position of cultural relativism which would assign distinct worlds of common sense to each group and epoch? The present paper draws on recent work in computer science (especially in the fields of naive and qualitative physics), in perceptual and developmental psychology, and in cognitive anthropology, in order to consider in a new light these and related questions and to draw conclusions for the methodology and philosophical foundations of the cognitive sciences.

In what respects is Western civilization superior or inferior to its rivals? In raising this question we are addressing a particularly strong form of the problem of relativism. For in order to compare civilizations one with another we would need to be in possession of a framework based on principles of evaluation which would be acceptable, in principle, to all human beings. Morality will surely provide one axis of such a framework (and we note in passing that believers in Islam might quite reasonably claim that their fellow-believers are characteristically more moral than are many in the West). Criteria such as material wellbeing, too, will need to play a role, as also will happiness or pleasure. Even happiness (pace some proponents of the utilitarian philosophy) comes in different types, and to count in the civilization stakes the happiness involved would presumably need to be of the right kind. We propose a specification for what this ‘right kind’ of happiness might be.

Imagine a 5-stone weakling whose brain has been loaded with all the knowledge of a champion tennis player. He goes to serve in his first match – Wham! – His arm falls off. The 5-stone weakling just doesn’t have the bone structure or muscular development to serve that hard. There are, clearly, different types of knowledge/ability/skill, only some of which are a matter of what can be transferred simply by passing signals down a wire from one brain (or computer) to another. Sometimes it is the body (the hardware) which knows.

When the U.S. conducts warfare, elements of a force are drawn from different services and work together as a single team to accomplish an assigned mission. To achieve such unified action, it is necessary that the doctrines governing the actions of members of specific services be both consistent with and subservient to joint Doctrine. Because warfighting today increasingly involves not only live forces but also automated systems, unified action requires that information technology that is used in joint warfare must be aligned with joint doctrine. It requires also that the separate information systems used by the different elements of a joint force must be interoperable, in the sense that data and information that is generated by each element must be usable (understandable, processable) by all the other elements that need them. Currently, such interoperability is impeded by multiple inconsistencies among the different data and software standards used by warfighters. We describe here the on-going project of creating a Joint Doctrine Ontology (JDO), which uses joint doctrine to provide shared computer-accessible content valid for any field of military endeavor, organization, and information system. JDO addresses the two previously mentioned requirements of unified action by providing a widely applicable benchmark for use by developers of information systems that will both guarantee alignment with joint doctrine and support interoperability.

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.

The present essay is devoted to the application of ontology in support of research in the natural sciences. It defends the thesis that ontologies developed for such purposes should be understood as having as their subject matter, not concepts, but rather the universals and particulars which exist in reality and are captured in scientific laws. We outline the benefits of a view along these lines by showing how it yields rigorous formal definitions of the foundational relations used in many influential ontologies, illustrating our results by reference to examples drawn from the domain of the life sciences.

The ontology of language is concerned with the relations between uses of language, both overt and covert, and other entities, whether in the world or in the mind of the thinking subject. We attempt a first survey of the sorts of relations which might come into question for such an ontology, including: relations between referring uses of expressions and their objects, relations between the use of a (true) sentence and that in the world which makes it true, relations between mental acts on the one hand and underlying mental states (attitudes, beliefs), on the other, relations between my acts and states, associated uses of language and overt actions on my part and on the part of those other subjects with whom I communicate.

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 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.

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.

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.