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
  •  264
    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
  •  3495
    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
  •  727
    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
  •  472
    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
  •  550
    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».
  •  226
    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
  •  873
    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
  •  394
    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
  •  1862
    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
  •  488
    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
  •  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
  •  579
    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 ’.
  •  483
    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
  •  701
    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
  •  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.
  •  1204
    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
  •  1642
    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
  •  1013
    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.
  •  1886
    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
  •  516
    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
  •  527
    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
  •  458
    Truthmaker Explanations
    In Jean-Maurice Monnoyer (ed.), Metaphysics and Truthmakers, Ontos Verlag. pp. 79-98. 2007.
    This paper is a fresh attempt to articulate the role of a theory of truthmakers. We argue that truthmaker theory constitutes a cornerstone of good methodology in metaphysics, but that a conflation of truthmaker theory with the theory of truth has been responsible for certain excesses associated with truthmaker-based approaches in the recent literature. If truthmaker theory is not a component of a theory of truth, then truthmaker maximalism – the view that every truth has a truthmaker – loses its…Read more
  •  1673
    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
  •  1968
    The Substitution Theory of Art
    Grazer Philosophische Studien 25 (1): 533-557. 1985.
    In perceptual experience we are directed towards objects in a way which establishes a real relation between a mental act and its target. In reading works of fiction we enjoy experiences which manifest certain internal similarities to such relational acts, but which lack objects. The substitution theory of art attempts to provide a reason why we seek out such experiences and the artifacts which they generate. Briefly, we seek out works of art because we enjoy the physiology and the phenomenology …Read more
  •  256
    This paper provides an axiomatic formalization of a theory of foundational relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the is-a relation among universals and the part-of relation among individuals as well as cross-category relations such as instance-of, member-of, and partition-of. We show that an adequate understanding of the formal properties of such relations – in …Read more
  •  487
    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
  •  486
    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
  •  288
    Philosophy and Biomedical Information Systems
    with Bert Klagges
    In Katherine Munn & Barry Smith (eds.), Applied Ontology: An Introduction, Ontos. pp. 17-30. 2008.
    The pathbreaking scientific advances of recent years call for a new philosophical consideration of the fundamental categories of biology and its neighboring disciplines. Above all, the new information technologies used in biomedical research, and the necessity to master the continuously growing flood of data that is associated therewith, demand a profound and systematic reflection on the systematization and classification of biological data. This, however, demands robust theories of basic concep…Read more
  •  512
    The functions of definitions in ontologies
    with Selja Seppälä and Alan Ruttenberg, ,
    In Roberta Ferrario & Werner Kuhn (eds.), Formal Ontology in Information Systems. Proceedings of the Ninth International Conference (FOIS 2016), Ios Pres. pp. 37-50. 2016.
    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.
  •  342
    Some Formal Moments of Truth
    In Werner Leinfellner (ed.), Language and Ontology, Hölder-pichler-tempsky / Reidel. pp. 186-90. 1982.
    A preliminary statement of the formal theory of the truthmaker relation advanced in the paper “Truth-makers” (Mulligan, Simons and Smith) in 1984. Correspondence theories of truth have. I give a brief account of some more or less obvious formal characteristics of this almost forgotten basic truthmaker relation. I then attempt to show how this account may be extended to provide elements of a theory of truth which is in keeping with the spirit of Wittgenstein’s Tractatus.