Barry Smith

University at Buffalo
National Center for Ontological Research
University of Manchester
Department of Philosophy
PhD, 1976
APA Eastern Division
CV
Buffalo, New York, United States of America
  •  1281
    Basic Formal Ontology for bioinformatics
    with Anand Kumar and Thomas Bittner
    IFOMIS Reports. 2005.
    Two senses of ‘ontology’ can be distinguished in the current literature. First is the sense favored by information scientists, who view ontologies as software implementations designed to capture in some formal way the consensus conceptualization shared by those working on information systems or databases in a given domain. [Gruber 1993] Second is the sense favored by philosophers, who regard ontologies as theories of different types of entities (objects, processes, relations, functions) [Smith…Read more
  •  130
    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.
  •  2733
    Do mountains exist? Towards an ontology of landforms
    with David Mark
    Environment and Planning B (Planning and Design) 30 (3). 2003.
    Do mountains exist? The answer to this question is surely: yes. In fact, ‘mountain’ is the example of a kind of geographic feature or thing most commonly cited by English speakers (Mark, et al., 1999; Smith and Mark 2001), and this result may hold across many languages and cultures. But whether they are considered as individuals (tokens) or as kinds (types), mountains do not exist in quite the same unequivocal sense as do such prototypical everyday objects as chairs or people.
  •  1019
    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
  •  835
    Switching Partners: Dancing with the Ontological Engineers
    with Werner Ceusters
    In Thomas Bartscherer & Roderick Coover (eds.), Switching Codes: Thinking Through Digital Technology in the Humanities and the Arts, University of Chicago Press. pp. 103--124. 2011.
    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
  •  935
    From the point of view of Brentano’s philosophy, contemporary philosophy of mind presupposes an over-crude theory of the internal structures of mental acts and states and of the corresponding types of parts, unity and dependence. We here describe Brentano’s own account of the part-whole structures obtaining in the mental sphere, and show how it opens up new possibilities for mereological investigation. One feature of Brentano’s view is that the objects of experience are themselves parts of mind,…Read more
  •  1186
    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 ’.
  •  1048
    Standard theories in mereotopology focus on relations of parthood and connection among spatial or spatio-temporal regions. Objects or processes which might be located in such regions are not normally directly treated in such theories. At best, they are simulated via appeal to distributions of attributes across the regions occupied or by functions from times to regions. The present paper offers a richer framework, in which it is possible to represent directly the relations between entities of var…Read more
  •  97
    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
  •  1276
    Bodily Systems and the Spatial-Functional Structure of the Human Body
    Studies in Health and Technology Informatics 102. 2004.
    The human body is a system made of systems. The body is divided into bodily systems proper, such as the endocrine and circulatory systems, which are subdivided into many sub-systems at a variety of levels, whereby all systems and subsystems engage in massive causal interaction with each other and with their surrounding environments. Here we offer an explicit definition of bodily system and provide a framework for understanding their causal interactions. Medical sciences provide at best informal …Read more
  •  571
    Groups, sets, and wholes
    Rivista di Estetica 43 (24): 126-127. 2003.
    As he recalls in his book Naive Physics, Paolo Bozzi’s experiments on naïve or phenomenological physics were partly inspired by Aristotle’s spokesman Simplicio in Galileo’s Dialogue. Aristotle’s ‘naïve’ views of physical reality reflect the ways in which we are disposed perceptually to organize the physical reality we see. In what follows I want to apply this idea to the notion of a group, a term which I shall apply as an umbrella expression embracing ordinary visible collections (of pieces of f…Read more
  •  3070
    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
  •  821
    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
  •  2508
    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