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
  •  821
    Realistic Phenomenology
    In Lester Embree (ed.), Encyclopedia of Phenomenology, Kluwer Academic Publishers. pp. 586-590. 1996.
    The tradition of realist phenomenology was founded in around 1902 by a group of students in Munich interested in the newly published Logical Investigations of Edmund Husserl. Initial members of the group included Johannes Daubert, Alexander Pfänder, Adolf Reinach and Max Scheler. With Reinach’s move to Göttingen the group acquired two new prominent members – Edith Stein and Roman Ingarden. The group’s method turned on Husserl’s idea that we are in possession a priori (which is to say: non-induct…Read more
  •  204
    The Formal Structure of Ecological Contexts
    In Paolo Bouquet, Patrick Brezillon, Francesca Castellani & Luciano Serafini (eds.), in Modeling and Using Context. Proceedings of the Second International and Interdisciplinary Conference, Springer. 1999.
    This is an informal presentation of the theory of niches understood as ecological contexts. The first part sets out the basic conceptual background. The second part outlines the main principles of the theory and addresses the question of how the theory can be extended to aid our thinking in relation to the special types of causal integrity that characterize niches and niched entities.
  •  418
    From concepts to clinical reality: An essay on the benchmarking of biomedical terminologies
    Journal of Biomedical Informatics 39 (3): 288-298. 2006.
    It is only by fixing on agreed meanings of terms in biomedical terminologies that we will be in a position to achieve that accumulation and integration of knowledge that is indispensable to progress at the frontiers of biomedicine. Standardly, the goal of fixing meanings is seen as being realized through the alignment of terms on what are called ‘concepts’. Part I addresses three versions of the concept-based approach – by Cimino, by Wüster, and by Campbell and associates – and surveys som…Read more
  •  484
    The Ontology of Biological and Clinical Statistics (OBCS) for standardized and reproducible statistical analysis
    with Jie Zheng, Marcelline R. Harris, Anna Maria Masci, Lin Yu, Alfred Hero, and Yongqun He
    Journal of Biomedical Semantics 7 (53). 2016.
    Statistics play a critical role in biological and clinical research. However, most reports of scientific results in the published literature make it difficult for the reader to reproduce the statistical analyses performed in achieving those results because they provide inadequate documentation of the statistical tests and algorithms applied. The Ontology of Biological and Clinical Statistics (OBCS) is put forward here as a step towards solving this problem. Terms in OBCS, including ‘data collect…Read more
  •  338
    Permanent generic relatedness and silent change
    with Niels Grewe and Ludger Jansen
    In Maureen Donnelly & Giancarlo Guizzardi (eds.), Formal Ontology and Information Systems, Ios. pp. 1-5. 2012.
    Given the assertion of a relation between two types, like: “Epidermis has part some Keratinocyte”, we define silent change as any kind of change of the instance-relata of the relation in question that does not change the truth-value of the respective type-level assertion. Such assertions are notoriously difficult to model in OWL 2. To address this problem, we distinguish different modes of type-level relatedness giving rise to this problem and describe a conservative extension to the BFO top-le…Read more
  •  726
    Law and eschatology in Wittgenstein's early thought
    Inquiry: An Interdisciplinary Journal of Philosophy 21 (1-4). 1978.
    The paper investigates the role played by ethical deliberation and ethical judgment in Wittgenstein's early thought in the light of twentieth?century German legal philosophy. In particular the theories of the phenomenologists Adolf Reinach, Wilhelm Schapp, and Gerhart Husserl are singled out, as resting on ontologies which are structurally similar to that of the Tractatus: in each case it is actual and possible Sachverhalte which constitute the prime ontological category. The study of the relati…Read more
  •  3481
    Applied Ontology: An Introduction (edited book)
    ontos. 2008.
    Ontology is the philosophical discipline which aims to understand how things in the world are divided into categories and how these categories are related together. This is exactly what information scientists aim for in creating structured, automated representations, called 'ontologies,' for managing information in fields such as science, government, industry, and healthcare. Currently, these systems are designed in a variety of different ways, so they cannot share data with one another. They ar…Read more
  •  743
    Strengths and Limitations of Formal Ontologies in the Biomedical Domain
    Electronic Journal of Communication, Information and Innovation in Health 3 (1): 31-45. 2009.
    We propose a typology of representational artifacts for health care and life sciences domains and associate this typology with different kinds of formal ontology and logic, drawing conclusions as to the strengths and limitations for ontology in a description logics framework. The four types of domain representation we consider are: (i) lexico-semantic representation, (ii) representation of types of entities, (iii) representations of background knowledge, and (iv) representation of individuals. W…Read more
  •  467
    Towards a Reference Terminology for Ontology Research and Development in the Biomedical Domain
    with Waclaw Kusnierczyk, Daniel Schober, ,, and Werner Ceusters
    In Barry Smith, Waclaw Kusnierczyk, Daniel Schober & Werner Ceusters (eds.), Proceedings of KR-MED, CEUR, vol. 222, . pp. 57-65. 2006.
    Ontology is a burgeoning field, involving researchers from the computer science, philosophy, data and software engineering, logic, linguistics, and terminology domains. Many ontology-related terms with precise meanings in one of these domains have different meanings in others. Our purpose here is to initiate a path towards disambiguation of such terms. We draw primarily on the literature of biomedical informatics, not least because the problems caused by unclear or ambiguous use of terms have be…Read more
  •  279
    Philosophie und biomedizinische Forschung
    with Bert R. E. Klagges
    Allgemeine Zeitschrift für Philosophie 30 (1). 2005.
    Die bahnbrechenden wissenschaftlichen Ergebnisse der letzten Jahre erzwingen eine neue philosophische Auseinandersetzung mit den Grundkategorien der Biologie und der benachbarten Disziplinen. Insbesondere die Anwendung neuer informationstechnischer Mittel in der biomedizinischen Forschung und die damit verbundene, kontinuierlich zunehmende Datenflut sowie die Notwendigkeit, ihrer Herr zu werden, erfordern ein konsequentes Nachdenken darüber, wie biologische Daten systematisiert und klassifizier…Read more
  •  605
    Ontological tools for geographic representation
    In Barry Smith & Christopher Welty (eds.), Formal Ontology in Information Systems (FOIS), Acm Press. pp. 77--85. 2001.
    This paper is concerned with certain ontological issues in the foundations of geographic representation. It sets out what these basic issues are, describes the tools needed to deal with them, and draws some implications for a general theory of spatial representation. Our approach has ramifications in the domains of mereology, topology, and the theory of location, and the question of the interaction of these three domains within a unified spatial representation theory is addressed. In the final p…Read more
  •  767
    Diagrams, Documents, and the Meshing of Plans
    In András Benedek & Kristof Nyiri (eds.), How To Do Things With Pictures: Skill, Practice, Performance, Peter Lang Edition. pp. 165--179. 2013.
    There are two important ways in which, when dealing with documents, we go beyond the boundaries of linear text. First, by incorporating diagrams into documents, and second, by creating complexes of intermeshed documents which may be extended in space and evolve and grow through time. The thesis of this paper is that such aggregations of documents are today indispensable to practically all complex human achievements from law and finance to orchestral performance and organized warfare. Documents p…Read more
  •  507
    Why Polish philosophy does not exist
    In J. Jadacki & J. Pasniczek (eds.), The Lvov-Warsaw School: The New Generation, Reidel. pp. 19-39. 2006.
    Why have Polish philosophers fared so badly as concerns their admission into the pantheon of Continental Philosophers? Why, for example, should Heidegger and Derrida be included in this pantheon, but not Ingarden or Tarski? Why, to put the question from another side, should there be so close an association in Poland between philosophy and logic, and between philosophy and science? We distinguish a series of answers to this question, which are dealt with under the following headings: (a) the role…Read more
  •  259
    Ontologies are today being applied in almost every field to support the alignment and retrieval of data of distributed provenance. Here we focus on new ontological work on dance and on related cultural phenomena belonging to what UNESCO calls the “intangible heritage.” Currently data and information about dance, including video data, are stored in an uncontrolled variety of ad hoc ways. This serves not only to prevent retrieval, comparison and analysis of the data, but may also impinge on our ab…Read more
  •  482
    Beyond Paper
    The Monist 97 (2). 2014.
    The authors outline the way in which documents as social objects have evolved from their earliest forms to the electronic documents of the present day. They note that while certain features have remained consistent, processes regarding document authentication are seriously complicated by the easy reproducibility of digital entities. The authors argue that electronic documents also raise significant questions concerning the theory of ‘documentality’ advanced by Maurizio Ferraris, especially given…Read more
  •  571
    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. 2007.
    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 ’.
  •  225
    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
  •  546
    Per Husserl, come per Bolzano, la logica e una dottrina della sdenza. Husserl prende pero piu sul serio l'idea che le teorie scientifiche siano costituite dagli atti mentali di soggetti conoscenti. Quella che segue e un' esposizione della concezione husserliana della logica e della scienza, fondata appunto sugli atti; essa approdera a una delineazione dell'idea husserliana di «ontologia formale».
  •  393
    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
  •  871
    The substance of Brentano's ontology
    Topoi 6 (1): 39-49. 1987.
    This paper is a study of Brentano’s ontology, and more specifically of his theory of substance and accident as put forward toward the end of his life in the materials collected together as the Kategorienlehre or Theory of Categories. Here Brentano presents an auditious (re-)interpretation of Aristotle’s theory of substance and accidence. We show that on the Brentano initially defends, it is space which serves as the single substance upon which all other entities depend as accidents of space. In …Read more
  •  1855
    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
  •  188
    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
  •  1882
    Mach and Ehrenfels: The foundations of Gestalt Theory
    In Barry Smith (ed.), Foundations of Gestalt Theory, Philosophia. 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
  •  482
    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
  •  510
    Framework for a protein ontology
    with Darren A. Natale, Cecilia N. Arighi, Winona Barker, Judith Blake, Ti-Cheng Chang, Zhangzhi Hu, Hongfang Liu, and Cathy H. Wu
    BMC Bioinformatics 8 (Suppl 9). 2007.
    Biomedical ontologies are emerging as critical tools in genomic and proteomic research where complex data in disparate resources need to be integrated. A number of ontologies exist that describe the properties that can be attributed to proteins; for example, protein functions are described by Gene Ontology, while human diseases are described by Disease Ontology. There is, however, a gap in the current set of ontologies—one that describes the protein entities themselves and their relations…Read more
  •  416
    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.
  •  697
    The Neurath-Haller Thesis: Austria and the Rise of Scientific Philosophy
    In Keith Lehrer & Johann Christian Marek (eds.), Austrian Philosophy Past and Present: Essays in Honor of Rudolf Haller, Kluwer Academic Publishers. pp. 1-20. 1997.
    The term ‘Continental philosophy’ designates not philosophy on the continent of Europe as a whole, but rather a selective slice of Franco-German philosophy. Through a critical analysis of the arguments advanced by Otto Neurath, the paper addresses the issue of why Austrian philosophers in particular are not counted in the pantheon of Continental philosophers. Austrian philosophy is marked by the predominance of philosophical analysis and of the philosophy of science. The paper concludes that it …Read more
  •  1201
    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
  •  1010
    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.
  •  1639
    The Space Object Ontology
    with Alexander P. Cox, Christopher Nebelecky, Ronald Rudnicki, William Tagliaferri, and John L. Crassidis
    In Alexander P. Cox, Christopher Nebelecky, Ronald Rudnicki, William Tagliaferri, John L. Crassidis & Barry Smith (eds.), 19th International Conference on Information Fusion (FUSION 2016), Ieee. 2016.
    Achieving space domain awareness requires the identification, characterization, and tracking of space objects. Storing and leveraging associated space object data for purposes such as hostile threat assessment, object identification, and collision prediction and avoidance present further challenges. Space objects are characterized according to a variety of parameters including their identifiers, design specifications, components, subsystems, capabilities, vulnerabilities, origins, missio…Read more