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
  •  471
    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
  •  360
    Annotating affective neuroscience data with the Emotion Ontology
    with Janna Hastings, Werner Ceusters, and Kevin Mulligan
    In Janna Hastings, Werner Ceusters, Kevin Mulligan & Barry Smith (eds.), Third International Conference on Biomedical Ontology, Icbo. pp. 1-5. 2012.
    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 pu…Read more
  •  687
    Two Idealisms: Lask and Husserl
    with Karl Schuhmann
    Kant Studien 84 (4): 448-466. 1993.
    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 influenc…Read more
  •  690
    The Neurath-Haller Thesis: Austria and the Rise of Scientific Philosophy
    In Keith Lehrer & Johann Christian Marek (eds.), Austrian Philosophy Past and Present, 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
  •  579
    Quantum mereotopology
    with Berit O. Brogaard
    Annals of Mathematics and Artificial Intelligence 36 (1): 153-175. 2002.
    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 hist…Read more
  •  241
    Die Struktur der Common-Sense Welt
    Logos. Anales Del Seminario de Metafísica [Universidad Complutense de Madrid, España] 1 422-449. 1994.
    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 v…Read more
  •  1616
    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
  •  969
    The Plant Ontology as a Tool for Comparative Plant Anatomy and Genomic Analyses
    with Laurel Cooper, Ramona Walls, Justin Elser, Maria A. Gandolfo, Dennis W. Stevenson, and Others
    Plant and Cell Physiology 54 (2). 2013.
    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 Arabi…Read more
  •  242
    L’ontologie de la realité sociale
    with John Searle
    In P. Livet & R. Ogien (eds.), L’Enquête ontologique, du mode de l'existence des objets sociaux, Editions Ehess. pp. 185--208. 2000.
    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-st…Read more
  •  493
    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
  •  473
    The 2006 Upper Ontology Summit Joint Communiqué
    with Leo Obrst, Patrick Cassidy, Steve Ray, Dagobert Soergel, Matthew West, and Peter Yim
    Applied ontology 1 (2): 203-211. 2006.
    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 ex…Read more
  •  441
    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
  •  437
    Putting Biomedical Ontologies to Work
    with Mathias Brochhausen
    Methods of Information in Medicine 49 (2): 135-40. 2010.
    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 c…Read more
  •  1953
    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
  •  534
    Creating a Controlled Vocabulary for the Ethics of Human Research: Towards a biomedical ethics ontology
    with David Koepsell, Robert Arp, and Jennifer Fostel
    Journal of Empirical Research on Human Research Ethics 4 (1): 43-58. 2009.
    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)…Read more
  •  923
    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
  •  1070
    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 on…Read more
  •  29
    Kafka et Brentano
    Philosophiques 26 (2). 1999.
    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 philosoph…Read more
  •  280
    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
  •  2477
    ‘Eruv’ is a Hebrew word meaning literally ‘mixture’ or ‘mingling’. An eruv is an urban region demarcated within a larger urban region by means of a boundary made up of telephone wires or similar markers. Through the creation of the eruv, the smaller region is turned symbolically (halachically = according to Jewish law) into a private domain. So long as they remain within the boundaries of the eruv, Orthodox Jews may engage in activities that would otherwise be prohibited on the Sabbath, such as …Read more
  •  332
    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.
  •  502
    Brentano and Kafka
    Axiomathes 8 (1): 83-104. 1997.
    There is a narrow thread in the vast literature on Kafka which pertains to Kafka’s knowledge of philosophy, and more precisely to Kafka’s use in his fictional writings of some of the main ideas of Franz Brentano. Kafka attended courses in philosophy at the Charles University given by Brentano’s students Anton Marty and Christian von Ehrenfels, and was for several years a member of a discussion-group organized by orthodox adherents of the Brentanian philosophy in Prague. The present essay summari…Read more
  •  373
    Ontological Support for Living Plan Specification, Execution and Evaluation
    with Erik Thomsen, Fred Read, William Duncan, and Tatiana Malyuta
    In Erik Thomsen, Fred Read, William Duncan, Tatiana Malyuta & Barry Smith (eds.), Semantic Technology in Intelligence, Defense and Security (STIDS), CEUR vol. 1304, . pp. 10-17. 2014.
    Maintaining systems of military plans is critical for military effectiveness, but is also challenging. Plans will become obsolete as the world diverges from the assumptions on which they rest. If too many ad hoc changes are made to intermeshed plans, the ensemble may no longer lead to well-synchronized and coordinated operations, resulting in the system of plans becoming itself incoherent. We describe in what follows an Adaptive Planning process that we are developing on behalf of the Air Force …Read more
  •  352
    Vague Reference and Approximating Judgements
    Spatial Cognition and Computation 3 (2). 2003.
    We propose a new account of vagueness and approximation in terms of the theory of granular partitions. We distinguish different kinds of crisp and non-crisp granular partitions and we describe the relations between them, concentrating especially on spatial examples. We describe the practice whereby subjects use regular grid-like reference partitions as a means for tempering the vagueness of their judgments, and we demonstrate how the theory of reference partitions can yield a natural account of …Read more
  •  545
    IAO-Intel: An Ontology of Information Artifacts in the Intelligence Domain
    with Tatiana Malyuta, Ron Rudnicki, William Mandrick, David Salmen, Peter Morosoff, Danielle K. Duff, James Schoening, and Kesny Parent
    We describe on-going work on IAO-Intel, an information artifact ontology developed as part of a suite of ontologies designed to support the needs of the US Army intelligence community within the framework of the Distributed Common Ground System (DCGS-A). IAO-Intel provides a controlled, structured vocabulary for the consistent formulation of metadata about documents, images, emails and other carriers of information. It will provide a resource for uniform explication of the terms used in multiple…Read more
  •  588
    Applying the Realism-Based Ontology-Versioning Method for Tracking Changes in the Basic Formal Ontology
    with Selja Seppälä and Werner Ceusters
    In P. Garbacz & O. Kutz (eds.), Formal Ontology in Information Systems (FOIS 2014), Ios Press. pp. 227-240. 2014.
    Changes in an upper level ontology have obvious conse-quences for the domain ontologies that use it at lower levels. It is therefore crucial to document the changes made between successive versions of ontologies of this kind. We describe and apply a method for tracking, explaining and measuring changes between successive versions of upper level ontologies such as the Basic Formal Ontology (BFO). The proposed change-tracking method extends earlier work on Realism-Based Ontology Versioning (RBOV) …Read more
  •  860
    Philosophy in the West divides into three parts: Analytic Philosophy (AP), Continental Philosophy (CP), and History of Philosophy (HP). But all three parts are in a bad way. AP is sceptical about the claim that philosophy can be a science, and hence is uninterested in the real world. CP is never pursued in a properly theoretical way, and its practice is tailor-made for particular political and ethical conclusions. HP is mostly developed on a regionalist basis: what is studied is determined by th…Read more
  •  1990
    Basic concepts of formal ontology
    In Nicola Guarino (ed.), Formal Ontology in Information Systems, Ios Press. pp. 19-28. 1998.
    The term ‘formal ontology’ was first used by the philosopher Edmund Husserl in his Logical Investigations to signify the study of those formal structures and relations – above all relations of part and whole – which are exemplified in the subject-matters of the different material sciences. We follow Husserl in presenting the basic concepts of formal ontology as falling into three groups: the theory of part and whole, the theory of dependence, and the theory of boundary, continuity and contact. T…Read more
  •  501
    Ontology and the Future of Dental Research Informatics.
    with Louis J. Goldberg, Alan Ruttenberg, and Michael Glick
    Journal of the American Dental Association 141 (10): 1173-75. 2010.
    How do we find what is clinically significant in the swarms of data being generated by today’s diagnostic technologies? As electronic records become ever more prevalent – and digital imaging and genomic, proteomic, salivaomics, metabalomics, pharmacogenomics, phenomics and transcriptomics techniques become commonplace – fdifferent clinical and biological disciplines are facing up to the need to put their data houses in order to avoid the consequences of an uncontrolled explosion of different way…Read more
  •  2055
    Basic Formal Ontology was created in 2002 as an upper-level ontology to support the creation of consistent lower-level ontologies, initially in the subdomains of biomedical research, now also in other areas, including defense and security. BFO is currently undergoing revisions in preparation for the release of BFO version 2.0. We summarize some of the proposed revisions in what follows, focusing on BFO’s treatment of material entities, and specifically of the category object