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
  •  382
    Persistence and Ontological Pluralism
    with Pierre Grenon
    In Christian Kanzian (ed.), Persistence, Ontos. pp. 33-48. 2007.
    We aim to provide the ontological grounds for an adequate account of persistence. We defend a perspectivalist, or moderate pluralist, position, according to which some aspects of reality can be accounted for in ontological terms only via partial and mutually complementary ontologies, each one of which captures some relevant aspect of reality. Our thesis here is that this is precisely the sort of ontological account that is needed for the understanding of persistence, specifically an account invo…Read more
  •  552
    A Theory of Granular Partitions
    In Matt Duckham, Michael F. Goodchild & Michael 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
  •  548
    Amongst the entities making up social reality, are there necessary relations whose necessity is not a mere reflection of the logical connections between corresponding concepts? We distinguish three main groups of answers to this question, associated with Hume and Adolf Reinach at opposite extremes, and with Searle who occupies a position somewhere in the middle. We first set forth Reinach’s views on what he calls ‘material necessities’ in the realm of social entities. We then attempt to show tha…Read more
  •  1197
    As Kevin Mulligan, more than anyone else, has demonstrated, there is a distinction within the philosophy of the German-speaking world between two principal currents: of idealism / transcendentalism, characteristic of Northern Germany; and of realism / objectivism, characteristic of Austria and the South. We explore some of the implications of this distinction with reference to the influence of Austrian (and German) philosophy on philosophical developments in Hungary, focusing on the work of Ákos…Read more
  •  677
    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
  •  19
    Review of Ernest Davis: Representations of Commonsense Knowledge (review)
    Minds and Machines 4 (2): 245-249. 1994.
    Review of a compendium of alternative formal representations of common-sense knowledge. The book is centered largely on formal representations drawn from first-order logic, and thus lies in the tradition of Kenneth Forbus, Patrick Hayes and Jerry Hobbs.
  •  412
    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
  •  181
    Carving Up Reality
    In Michael Gorman & Jonathan Sanford (eds.), Categories: Historical and Systematic Essays, Catholic University of America Press. pp. 225-237. 2004.
    If Mont Blanc is a vague object, then its vagueness will depend on the context in which reference is made. In a geological context the mountain might include only rock, perhaps together with a certain amount of air in the crevices and tunnels which have been formed beneath its surface. In a context of soil chemistry we might include also a surrounding thin layer of organic matter. In a skiing context we might include some snow. This essay sketches in informal terms the theory of granular partiti…Read more
  •  192
    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
  •  523
    Strategies for Referent Tracking in Electronic Health Records
    with Werner Ceusters
    Journal of Biomedical Informatics 39 (3): 362-378. 2006.
    The goal of referent tracking is to create an ever-growing pool of data relating to the entities existing in concrete spatiotemporal reality. In the context of Electronic Healthcare Records (EHRs) the relevant concrete entities are not only particular patients but also their parts, diseases, therapies, lesions, and so forth, insofar as these are salient to diagnosis and treatment. Within a referent tracking system, all such entities are referred to directly and explicitly, something which cannot…Read more
  •  379
    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
  •  39
    Vor dem Hintergrund einer von Durkheim ausgehenden Selbstmordarten-Typologie wird das Phänomen von terroristischen Selbstmordattentaten untersucht: Diese scheinen ein spezifisch nicht-westliches Phänomen zu sein. Der deutliche Unterschied zwischen der Strategie westlicher Terrorgruppen und solchen Terrorgruppen, die Selbstmordattentate ausüben, geht auf ein besonderes Merkmal der Geschichte und der Eigenart des Westens zurück; und dies wiederum ist tief im Mittelalter verwurzelt. Against the bac…Read more
  •  1246
    Questions: An essay in Daubertian phenomenology
    with Karl Schuhmann
    Philosophy and Phenomenological Research 47 (3): 353-384. 1987.
    A number of logicians and philosophers have turned their attention in recent years to the problem of developing a logic of interrogatives. Their work has thrown a great deal of light on the formal properties of questions and question-sentences and has led also to interesting innovations in our understanding of the structures of performatives in general and, for example, in the theory of presuppositions. When, however, we examine the attempts of logicians such as Belnap or Åqvist to specify…Read more
  •  1121
    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
  •  50
    Prolegomena to a Metaphysics of Real Estate
    In Roberto Casati (ed.), Shadows and Socio-Economic Units. Foundations of Formal Geography, Technical University of Vienna. pp. 151--155. 1996.
    As an object in which property rights can be invested, land is a peculiar hybrid structure that comprehends both spatial and non-spatial aspects. Even in its purely spatial aspect land is treated differently from culture to culture, thus for example in the degree to which property rights in land are held to relate to vague or precisely delineated parcels and to portions of space above and below the surface of the earth. When we examine the non-spatial aspects of landed property, however, the dim…Read more
  •  398
    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.
  •  435
    Living high and letting die
    Philosophy 76 (3): 435-442. 2001.
    Imagine that your body has become attached, without your permission, to that of a sick violinist. The violinist is a human being. He will die if you detach him. Such detachment seems, nonetheless, to be morally permissible. Thomson argues that an unwantedly pregnant woman is in an analogous situation. Her argument is considered by many to have established the moral permissibility of abortion even under the assumption that the foetus is a human being. Another popular argument is that presented by…Read more
  •  385
    Values in Contexts: An Ontological Theory
    In G. John M. Abbarno (ed.), Inherent and Instrumental Values: Excursions in Value Inquiry, University Press of America. pp. 17-29. 2014.
    Values exist not in isolation, but in complex wholes. Values are what they are because of the complex wholes in which they are situated. To do justice to this thesis will require a holistic ontology, a theory according to which many types of entities exist only as inseparable parts or moments of wider contexts or environments. An ontological theory of environments -- with roots in Gestalt psychology and the ecological psychology of J. J. Gibson and Roger Barker, and which is related also to the …Read more
  •  939
    Ingarden vs. Meinong on the logic of fiction
    Philosophy and Phenomenological Research 41 (1/2): 93-105. 1980.
    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 implied …Read more
  •  449
    Creating the ontologists of the future
    with Fabian Neuhaus, Elizabeth Florescu, Antony Galton, Michael Gruninger, Nicola Guarino, Leo Obrst, Arturo Sanchez, Amanda Vizedom, and Peter Yim
    Applied ontology 6 (1): 91-98. 2011.
    The goal of the 2010 Ontology Summit was to address the current shortage of persons with ontology expertise by developing a strategy for the education of ontologists. To achieve this goal we studied how ontologists are currently trained, the requirements identified by organizations that hire ontologists, and developments that might impact the training of ontologists in the future. We developed recommendations for the body of knowledge that should be taught and the skills that should be developed …Read more
  •  604
    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
  •  501
    On the Origins of Analytic Philosophy (review)
    Grazer Philosophische Studien 35 (1): 153-173. 1989.
    Analytic philosophers have until recently been reluctant to pursue historical investigations into the Central European roots of their own philosophical tradition. The most recent book by Michael Dummett, however, entitled Origins of Analytic Philosophy, shows how fruitful such investigations can be, not only as a means of coming to see familiar philosophical problems in a new light, but also as a means of clarifying what, precisely, ‘analytic philosophy’ might mean. As Dummett points out, the ne…Read more
  •  185
    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.
  •  426
    Biodynamic Ontology: Applying BFO in the Biomedical Domain
    with Pierre Grenon and Louis Goldberg
    Studies in Health and Technology Informatics 102. 2004.
    Current approaches to formal representation in biomedicine are characterized by their focus on either the static or the dynamic aspects of biological reality. We here outline a theory that combines both perspectives and at the same time tackles the by no means trivial issue of their coherent integration. Our position is that a good ontology must be capable of accounting for reality both synchronically (as it exists at a time) and diachronically (as it unfolds through time), but that these are tw…Read more
  •  514
    Description Logics are nowadays widely accepted as formalisms which provide reasoning facilities which allow us to discover inconsistencies in ontologies in an automatic fashion. Where ontologies are developed in modular fashion, they allow changes in one module to propogated through the system of ontologies automatically in a way which helps to maintain consistency and stability. For this feature to be utilized effectively, however, requires that domain ontologies be represented in a normalized…Read more