Barry Smith

University at Buffalo
National Center for Ontological Research
  • University at Buffalo
    Department of Philosophy
    Biomedical Informatics
    Neurology
    Computer Science and Engineering
    Distinguished Professor, Julian Park Chair
  • National Center for Ontological Research
    Administrator
  • Università della Svizzera Italiana
    Institute of Philosophy (ISFI)
    Visiting Professor (Part-time)
University of Manchester
Department of Philosophy
PhD, 1976
APA Eastern Division
CV
Buffalo, New York, United States of America
  •  473
    Modelling Principles and Methodologies: Relations in Anatomical Ontologies
    with Fabian Neuhaus
    In Albert Burger, Duncan Davidson & Richard Baldock (eds.), Anatomy Ontologies for Bioinformatics: Principles and Practice, Springer. pp. 289--306. 2008.
    It is now increasingly accepted that many existing biological and medical ontologies can be improved by adopting tools and methods that bring a greater degree of logical and ontological rigor. In this chapter we will focus on the merits of a logically sound approach to ontologies from a methodological point of view. As we shall see, one crucial feature of a logically sound approach is that we have clear and functional definitions of the relational expressions such as ‘is a’ and ‘part of ’.
  •  468
    In their paper “Sixteen Days” Barry Smith and Berit Brogaard try to answer the question: when does a human being begin to exist? In this paper we will address some methodological issues connected with this exercise in ontology. We shall begin by sketching the argument of “Sixteen Days”. We shall then attempt to characterize what is special about the ontological realism of “Sixteen Days” as contrasted to the linguistic constructivism which represents the more dominant current in contemporary anal…Read more
  •  193
    On the Phases of Reism
    In Arkadiusz Chrudzimski & Dariusz Łukasiewicz (eds.), Actions, products, and things: Brentano and Polish philosophy, Ontos. pp. 137--183. 2006.
    Kotarbiński is one of the leading figures in the Lvov-Warsaw school of Polish philosophy. We summarize the development of Kotarbiński’s thought from his early nominalism and ‘pansomatistic reism’ to the later doctrine of ‘temporal phases’. We show that the surface clarity and simplicity of Kotarbiński’s writings mask a number of profound philosophical difficulties, connected above all with the problem of giving an adequate account of the truth of contingent (tensed) predications. The paper will …Read more
  •  355
    Bodily Systems and the Modular Structure of the Human Body
    with Igor Papakin and Katherine Munn
    Artificial Intelligence in Medicine (Lecture Notes on Artificial Intelligence 2780) 9 86-90. 2003.
    Medical science conceives the human body as a system comprised of many subsystems at a variety of levels. At the highest level are bodily systems proper, such as the endocrine system, which are central to our understanding of human anatomy, and play a key role in diagnosis and in dynamic modeling as well as in medical pedagogy and computer visualization. But there is no explicit definition of what a bodily system is; such informality is acceptable in documentation created for human beings, but f…Read more
  •  970
    Human cognitive acts are directed towards objects extended in space of a wide range of different types. What follows is a new proposal for bringing order into this typological clutter. The theory of spatially extended objects should make room not only for the objects of physics but also for objects at higher levels, including the objects of geography and of related disciplines. It should leave room for different types of boundaries, including both the bona fide boundaries which we find in the ph…Read more
  •  1746
    On Luck, Responsibility and the Meaning of Life
    Philosophical Papers 34 (3): 443-458. 2005.
    A meaningful life, we shall argue, is a life upon which a certain sort of valuable pattern has been imposed by the person in question - a pattern which involves in serious ways the person having an effect upon the world. Meaningfulness is thus a special kind of value which a human life can bear. Two interrelated difficulties face ths proposal. One concerns responsiblity: how are we to account for the fact that a life that satisfies the above criteria can have more meaning than a life with the sa…Read more
  •  313
    The New European Philosophy
    In János Kristóf Nyíri & Barry Smith (eds.), Philosophy and Political Change in Eastern Europe, Hegeler Institute. pp. 165-170. 1993.
    The paper seeks to indicate ways in which the crude distinction between Anglo-Saxon and Continental philosophy may have to be amended in light of recent developments in Eastern Europe. As is well known, the philosophy of science is to no small part a product of the universities of the Habsburg Empire (in Vienna, Prague, Lemberg/Lwow, etc.). Logic, too, has played a more significant role in Eastern Europe (not least in Poland) than in the philosophical cultures of Germany or France. For these and…Read more
  •  160
    Ingarden versus Meinong o logice fikcji
    In Z. Muszyński (ed.), Z badań nad prawdą i poznaniem, Wydawnictwo Umc-s. 1998.
    : For Meinong, familiarly, fictional entities are not created, but rather merely discovered (or picked out) from the inexhaustible realm of Aussersein (beyond being and non-being). The phenomenologist Roman Ingarden, in contrast, offers in his Literary Work of Art of 1931 a constructive ontology of fiction, which views fictional objects as entities which are created by the acts of an author (as laws, for example, are created by acts of parliament). We outline the logic of fiction which is implie…Read more
  •  499
    A Theory of Granular Partitions
    In M. Duckham, M. F. Goodchild & M. F. Worboys (eds.), Foundations of Geographic Information Science, Taylor & Francis. pp. 117-151. 2003.
    We have a variety of different ways of dividing up, classifying, mapping, sorting and listing the objects in reality. The theory of granular partitions presented here seeks to provide a general and unified basis for understanding such phenomena in formal terms that is more realistic than existing alternatives. Our theory has two orthogonal parts: the first is a theory of classification; it provides an account of partitions as cells and subcells; the second is a theory of reference or intentional…Read more
  •  466
    Ontologia i analiza logiczna rzeczywistości
    Filozofia Nauki 2 5-22. 1994.
    The author attempts to show how mereology, taken together with certain topological notions, can yield the foundations for future investigations in formal ontology. He also attempts to show how the mereological framework allows for the direct and natural formulation of a series of theses - for example pertaining to the concept of a boundary - which can be only indirectly formulated (if at all) in set-theoretic terms. The far-reaching ain of the present framework is to serve as a basis for a forma…Read more
  •  368
    Of Chisholm’s many signal contributions to analytic metaphysics, perhaps the most important is his treatment of boundaries, a category of entity that has been neglected, to say the least, in the history of ontology. We can gain some preliminary idea of the sorts of problems which the Chisholmian ontology of boundaries is designed to solve, if we consider the following Zeno-inspired thought-experiment.
  •  648
    Biometaphysics
    In Robin Le Poidevin, Simons Peter, McGonigal Andrew & Ross P. Cameron (eds.), The Routledge Companion to Metaphysics, Routledge. pp. 537-544. 2009.
    While Darwin is commonly supposed to have demonstrated the inapplicability of the Aristotelian ontology of species to biological science, recent developments, especially in the wake of the Human Genome Project, have given rise to a new golden age of classification in which ontological ideas -- as for example in the Gene Ontology, the Cell Ontology, the Protein Ontology, and so forth -- are once again playing an important role. In regard to species, on the other hand, matters are more complex. We…Read more
  •  1141
    The essay constructs an ontological theory designed to capture the categories instantiated in those portions or levels of reality which are captured in our common sense conceptual scheme. It takes as its starting point an Aristotelian ontology of “substances” and “accidents”, which are treated via the instruments of mereology and topology. The theory recognizes not only individual parts of substances and accidents, including the internal and external boundaries of these, but also universal parts…Read more
  •  397
    Textual Deference
    American Philosophical Quarterly 28 (1). 1991.
    It is a truism that the attitude of deference to the text plays a lesser role in Anglo-Saxon philosophy than in other philosophical traditions. Works of philosophy written in English have, it is true, spawned a massive secondary literature dealing with the ideas, problems or arguments they contain. But they have almost never given rise to works of commentary in the strict sense, a genre which is however a dominant literary form not only in the Confucian, Vedantic, Islamic, Jewish and Scholastic …Read more
  •  958
    HL7 RIM: An incoherent standard
    with Werner Ceusters
    Studies in Health Technology and Informatics 124 (Proceedings of MIE 2006). 2006.
    The Health Level 7 Reference Information Model (HL7 RIM) is lauded by its authors as ‘the foundation of healthcare interoperability’. Yet even after some 10 years of development work, the RIM is still subject to a variety of logical and ontological flaws which have placed severe obstacles in the way of those who are called upon to develop implementations. We offer evidence that these obstacles are insurmountable and that the time has come to abandon an unworkable paradigm.
  •  269
    We provide a methodology for the creation of ontological partitions in biomedicine and we test the methodology via an application to the phenomenon of blood pressure. An ontology of blood pressure must do justice to the complex networks of intersecting pathways in the organism by which blood pressure is regulated. To this end it must deal not only with the anatomical structures and physiological processes involved in such regulation but also with the relations between these at different levels o…Read more
  •  1828
    Mach and Ehrenfels: The foundations of Gestalt Theory
    In Barry Smith (ed.), Foundations of Gestalt Theory, Philosophia Verlag. pp. 124-157. 1988.
    Ernst Mach's atomistic theory of sensation faces problems in doing justice to our ability to perceive and remember complex phenomena such as melodies and shapes. Christian von Ehrenfels attempted to solve these problems with his theory of "Gestalt qualities", which he sees as entities depending one-sidedly on the corresponding simple objects of sensation. We explore the theory of dependence relations advanced by Ehrenfels and show how it relates to the views on the objects of perception advanced…Read more
  •  487
    Objects and their environments: From Aristotle to ecological ontology
    In Andrew U. Frank, Jonathan Raper & Jean-Paul Cheylan (eds.), The Life and Motion of Socio-Economic Units, Taylor & Francis. pp. 79-97. 2001.
    What follows is a contribution to the theory of space and of spatial objects. It takes as its starting point the philosophical subfield of ontology, which can be defined as the science of what is: of the various types and categories of objects and relations in all realms of being. More specifically, it begins with ideas set forth by Aristotle in his Categories and Metaphysics, two works which constitute the first great contributions to ontological science. Because Aristotle’s ontological ideas w…Read more
  •  1577
    Aristotle, Menger, Mises: An essay in the metaphysics of economics
    History of Political Economy, Annual Supplement 22 263-288. 1990.
    There are, familiarly, a range of distinct and competing accounts of the methodological underpinnings of Menger' s work. These include Leibnizian, Kantian, Millian, and even Popperian readings; but they include also readings of an Aristotelian sort, and I have myself made a number of contributions in clarification and defence of the latter. Not only, I have argued, does the historical situation in which Menger found himself point to the inevitability of the Aristotelian reading; this reading …Read more
  •  1094
    We describe a strategy for integration of data that is based on the idea of semantic enhancement. The strategy promises a number of benefits: it can be applied incrementally; it creates minimal barriers to the incorporation of new data into the semantically enhanced system; it preserves the existing data (including any existing data-semantics) in their original form (thus all provenance information is retained, and no heavy preprocessing is required); and it embraces the full spectrum of data so…Read more
  •  360
    The Benefits of Realism: A Realist Logic with Applications
    In Katherine Munn & Barry Smith (eds.), Applied Ontology: An Introduction, Ontos. pp. 109-124. 2008.
    We propose a formalization of a realist ontology using first order logic with identity and allowing quantification over terms representing both individuals and universals. In addition to identity, the ontology includes also relational predicates such as subtype, instantiation, parthood, location, and inherence. Inspired in part by Davidson’s treatment of events, the ontology includes also various relations linking events to their participants and to the times at which they occur.
  •  451
    Granular Spatio-Temporal Ontologies
    In AAAI Symposium: Foundations and Applications of Spatio-Temporal Reasoning (FASTR), . pp. 12-17. 2003.
    We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes (occurrents) and the enduring entities (continuants) that participate therein. The theory is divided into two major categories of sub-theories: (sub-) theories of type SPAN and (sub-)theories of type SNAP. These theories represent two complementary perspectives on reality and result in distinct though compatible systems of categories. In SNAP we have enduring entities such as substances,…Read more
  •  177
    Referent tracking for treatment optimisation in schizophrenic patients
    with Werner Ceusters
    Journal of Web Semantics 4 (3): 229-236. 2006.
    The IPAP Schizophrenia Algorithm was originally designed in the form of a flow chart to help physicians optimise the treatment of schizophrenic patients. We examined the current version from the perspective of recent work on terminologies and ontologies thereby drawing on the resources of Basic Formal Ontology, and this with the objective to make the algorithm appropriate for Semantic Web applications. We found that Basic Formal Ontology is a rich enough theory to represent all the entities invo…Read more
  •  429
    OAE: The Ontology of Adverse Events
    with Yongqun He, Sirarat Sarntivijai, Yu Lin, Zuoshuang Xiang, Abra Guo, Shelley Zhang, Desikan Jagannathan, Luca Toldo, and Cui Tao
    Journal of Biomedical Semantics 5 (29): 1-13. 2014.
    A medical intervention is a medical procedure or application intended to relieve or prevent illness or injury. Examples of medical interventions include vaccination and drug administration. After a medical intervention, adverse events (AEs) may occur which lie outside the intended consequences of the intervention. The representation and analysis of AEs are critical to the improvement of public health. Description: The Ontology of Adverse Events (OAE), previously named Adverse Event Ontology (AEO…Read more
  •  357
    Adapting Clinical Ontologies in Real-World Environments
    with Holger Stenzhorn, Stefan Schulz, and Martin Boeker
    Journal of Universal Computer Science 14 (22): 3767-3780. 2008.
    The desideratum of semantic interoperability has been intensively discussed in medical informatics circles in recent years. Originally, experts assumed that this issue could be sufficiently addressed by insisting simply on the application of shared clinical terminologies or clinical information models. However, the use of the term ‘ontology’ has been steadily increasing more recently. We discuss criteria for distinguishing clinical ontologies from clinical terminologies and information models. T…Read more
  •  794
    Logic, Form and Matter
    with David Murray
    Aristotelian Society Supplementary Volume 55 (1). 1981.
    It is argued, on the basis of ideas derived from Wittgenstein's Tractatus and Husserl's Logical Investigations, that the formal comprehends more than the logical. More specifically: that there exist certain formal-ontological constants (part, whole, overlapping, etc.) which do not fall within the province of logic. A two-dimensional directly depicting language is developed for the representation of the constants of formal ontology, and means are provided for the extension of this language to ena…Read more
  •  453
    The functions of definitions in ontologies
    with Selja Seppälä and Alan Ruttenberg, ,
    To understand what ontologies do through their definitions, we propose a theoretical explanation of the functions of definitions in ontologies backed by empirical neuropsychological studies. Our goal is to show how these functions should motivate (i) the systematic inclusion of definitions in ontologies and (ii) the adaptation of definition content and form to the specific context of use of ontologies.
  •  568
    Ontology and Geographic Kinds
    with David M. Mark
    In T. Poiker & N. Chrisman (eds.), Proceedings of the 8th International Symposium on Spatial Data Handling, International Geographic Union. pp. 308-320. 1998.
    Cognitive categories in the geographic realm appear to manifest certain special features as contrasted with categories for objects at surveyable scales. We have argued that these features reflect specific ontological characteristics of geographic objects. This paper presents hypotheses as to the nature of the features mentioned, reviews previous empirical work on geographic categories, and presents the results of pilot experiments that used English-speaking subjects to test our hypotheses. Our e…Read more
  •  270
    Relations in Biomedical Ontologies
    with Werner Ceusters, Bert Klagges, Jacob Köhler, Anand Kuma, Jane Lomax, Chris Mungall, ,, Fabian Neuhaus, Alan Rector, and Cornelius Rosse
    Genome Biology 6 (5). 2005.
    To enhance the treatment of relations in biomedical ontologies we advance a methodology for providing consistent and unambiguous formal definitions of the relational expressions used in such ontologies in a way designed to assist developers and users in avoiding errors in coding and annotation. The resulting Relation Ontology can promote interoperability of ontologies and support new types of automated reasoning about the spatial and temporal dimensions of biological and medical phenomena.
  •  164
    Signs and Meanings
    In Peer Bundgaard & Frederik Stjernfelt (eds.), Signs and Meanings: Five Questions, Automatic Press. pp. 199--206. 2009.
    A background piece on the role of ontology in technology research, focusing especially on the use-mention confusion.