Barry Smith (ontologist)

Last updated

Barry Smith
Barry Smith.jpg
Born (1952-06-04) 4 June 1952 (age 71)
Bury, England
CitizenshipAmerican
Education University of Oxford
University of Manchester (PhD, 1976)
Known for Truthmaker theory
European Society for Analytic Philosophy
IFOMIS
OBO Foundry
Basic Formal Ontology
Awards Wolfgang Paul Award of the Alexander von Humboldt Foundation
Scientific career
Fields Ontology
Philosophy
Institutions University of Manchester
University of Sheffield
International Academy of Philosophy, Liechtenstein
University at Buffalo
Thesis The Ontology of Reference: Studies in Logic and Phenomenology  (1976)
Doctoral advisor Wolfe Mays
Doctoral students Berit Brogaard
Other notable students David Koepsell
Amie Thomasson
Website ontology.buffalo.edu/smith/

Barry Smith (born 4 June 1952) is an academic working in the fields of ontology and biomedical informatics. Smith is the author of more than 700 scientific publications, including 15 authored or edited books. He is one of the most widely cited living philosophers. [1]

Contents

Education and career

From 1970 to 1973 Smith studied Mathematics and Philosophy at the University of Oxford. He obtained his PhD from the University of Manchester in 1976 for a dissertation on ontology and reference in Husserl and Frege. [2] The dissertation was supervised by Wolfe Mays.

Among the cohort of graduate students supervised by Mays in Manchester were Kevin Mulligan (Geneva/Lugano), and Peter Simons (Trinity College, Dublin). Both shared with Smith an interest in analytic metaphysics and in the contributions of turn-of-the-century Continental philosophers and logicians to central issues of analytic philosophy. [3] In 1979 they together founded the Seminar for Austro-German Philosophy, [4] which organized workshops and conferences centered around the work of early Central European philosophers from Bolzano to Tarski and their impact on subsequent generations. A central role in this respect was played by Husserl's contributions to formal ontology. [5] One prominent supporter was Roderick Chisholm, who in his Intellectual Autobiography published in 1997 [6] describes the 'significant role' played by these meetings in contemporary philosophy.

From 1976 to 1994 Smith held appointments at the University of Sheffield (1976–1979), the University of Manchester (1979–1989) and the International Academy of Philosophy, Liechtenstein (1989–1994). In 1994 he moved to the University at Buffalo (New York, USA), [7] where he is currently Julian Park Distinguished Professor of Philosophy and Affiliate Professor of Biomedical Informatics, Computer Science and Engineering, and Neurology. From 2002 to 2006 Smith served as founding Director of the Institute for Formal Ontology and Medical Information Science (IFOMIS), initially in Leipzig [8] and then, from 2004, in Saarbrücken.

In 2005 Smith founded the National Center for Ontological Research (NCOR), under the auspices of which he initiated in 2006 the Ontology for the Intelligence Community, subsequently STIDS, [9] conference series, and also the International Conference on Biomedical Ontology (ICBO). [10] [11]

From 1992 to 2016 Smith served as editor of The Monist: An International Quarterly Journal of General Philosophical Inquiry .

From 2016 he served as editor of international standard ISO/IEC 21838: Top Level Ontologies, Parts 1 and 2, which were published by ISO in 2021. Part 1 [12] specifies the requirements for being a top-level (which means: domain-neutral) ontology. Part 2 [13] is devoted to Basic Formal Ontology (BFO). In September 2022 the Frankfurter Allgemeine Zeitung pointed to the fact that BFO is the first example of a piece of philosophy that has been elevated to the status of an industrial norm, describing this as a 'small sensation in the history of science'. [14]

Since 2019 Smith has served as visiting professor at the University of Italian Switzerland. [15]

Research activities

Ontology

From the beginning of his career Smith has worked in the field of ontology, initially on the history of ontology as a sub-discipline of philosophy in the tradition of Brentano, Husserl, Reinach and Ingarden. [16] A special focus was on the theory of ontological dependence and part-whole relations proposed by Husserl, [17] [18] a theory which was applied by Husserl's students for example to the understanding of the ontology of mental and linguistic acts. [19] In 1984 he published together with Mulligan and Simons the paper "Truth-Makers". [20] This paper helped to launch truthmaker theory, [21] [22] [23] a still active research program at the borderlines of logic, semantics and philosophical ontology that is based on a new understanding of the correspondence theory of truth.

In the 1990s Smith worked closely with David Mark, one of the founders of geographic information science (GIS), on initiatives in the field of geospatial ontology. In this connection he introduced the idea of fiat objects [24] to describe (often rectangular) geospatial entities, such as postal districts and real estate parcels, which are not separated from their surroundings by any physical discontinuity. This terminology has established itself in the GIS community, [25] and it has also been generalized into other fields. [26] [27]

Since 2000 much of Smith's research has been centered on the application of ontology in biomedical informatics, where he has worked on a variety of projects relating to biomedical terminologies and electronic health records. [28] He is a founding Coordinating Editor of the OBO Foundry [29] and has served as a member of the Scientific Advisory Board of the Gene Ontology (GO) Consortium and of the Ontology for Biomedical Investigations (OBI). [30] He contributes to the development of a number of biological and biomedical ontologies, including the Protein Ontology, [31] the Plant Ontology, [32] and others. Between 2005 and 2015 he was a co-PI of the NIH National Center for Biomedical Ontology, [33] where he was responsible especially for dissemination of ontology best practices and for providing training opportunities for biomedical ontologists. [34] Between 2013 and 2018 he served as ontology lead on the NIAID ImmPort project. [35] [36]

Smith works also on the ontology of social reality, particularly in connection with the work of John Searle. [37] He serves as consultant to Hernando de Soto, Director of the Institute for Liberty and Democracy in Peru, on projects relating to the advancement of property and business rights among the poor in developing countries. [38] De Soto's work is based on the crucial role of documents -- title deeds, stocks and shares, insurance policies -- in ensuring the sorts of rights with which we are accustomed in developed economies. Drawing on De Soto's work Smith proposed a theory of document acts that would parallel the theory of speech acts developed by Reinach in 1913 and then by J. L. Austin and Searle in the 1960s. [39] [40]

Intelligence, Defense and Security

Since 2008 Smith has worked on ontology initiatives in the military and intelligence field. In 2008–2010 he served as technical lead on a project sponsored by the US Army Net-Centric Data Strategy Center of Excellence (ANCDS CoE) to create the Universal Core Semantic Layer (UCore-SL). Since 2010 he was worked on a series of initiatives sponsored by the US Army Intelligence and Information Warfare Directorate (I2WD) to create a framework for semantic enhancement of intelligence data in the Cloud. Since 2014 he is collaborator on initiatives of the US Air Force Research Laboratory on planning, mission assurance, and lifecycle management. In this connection he has worked on the creation of an ontology for joint military doctrine, [41] designed to support the use of information technology in joint operations by allowing computational access to the contents of Joint Doctrine publications. [42] He has also contributed to the ecosystem of Space Domain Ontologies created under the direction of CUBRC in Buffalo, [43] and he is one of the founding members of the Department of Defense and Intelligence Community Ontology Working Group (DIOWG).

In January 2024 a Memorandum was signed by the Chief Data Officers of the Office of the Director of National Intelligence (ODNI) and of the DOD Chief Digital and Artificial Intelligence Office (CDAIO) establishing BFO as baseline framework for ontology development in the DOD and Intelligence Community. [44]

Industrial Ontologies Foundry

Since 2016 Smith has been centrally involved in the Industrial Ontologies Foundry (IOF) initiative, [45] which is creating a set of open ontologies to support the data needs of the manufacturing and engineering industries in a way that will advance data interoperability. Basic Formal Ontology, which serves as the top-level hub of the IOF, has been applied in the development of ontologies in many areas of engineering, [46] including maintenance, [47] supply chain, [48] product life cycle, [49] and additive manufacturing. [50]

Artificial Intelligence and Complex Systems

In 2022 Smith published with the German scientist Jobst Landgrebe Why Machines Will Never Rule the World. Artificial Intelligence Without Fear. [51] [52] The book defends the thesis that there are strict limits to what AI can achieve. For stochastic AI, the limits rest on the fact that, for a stochastic algorithm to work requires training data which are representative of the data in the target domain. Training data which satisfy this requirement can be achieved in relation to simple systems. Where complex systems [53] are involved, however, as is the case for all systems involving organisms, features of the target domain are always changing in unforeseeable ways, and each such change has the potential to deprive the training data of its representativeness. For deterministic AI, the problems are similar, because there the models require very strict regularities of a sort which we do not generally find in complex systems.

Recognition

Leo Zaibert's The Theory and Practice of Ontology (2016) [57] and Gloria Zúñiga y Postigo and Gerald J. Erion's Barry Smith an sich (2017) [58] are Festschrifts dedicated to Smith containing studies of his work by colleagues and students.

Bibliography

Books

Related Research Articles

<span class="mw-page-title-main">Edmund Husserl</span> Austrian-German philosopher (1859–1938)

Edmund Gustav Albrecht Husserl was an Austrian-German philosopher and mathematician who established the school of phenomenology.

In information science, an ontology encompasses a representation, formal naming, and definitions of the categories, properties, and relations between the concepts, data, or entities that pertain to one, many, or all domains of discourse. More simply, an ontology is a way of showing the properties of a subject area and how they are related, by defining a set of terms and relational expressions that represent the entities in that subject area. The field which studies ontologies so conceived is sometimes referred to as applied ontology.

In formal semantics, an ontological commitment of a language is one or more objects postulated to exist by that language. The 'existence' referred to need not be 'real', but exist only in a universe of discourse. As an example, legal systems use vocabulary referring to 'legal persons' that are collective entities that have rights. One says the legal doctrine has an ontological commitment to non-singular individuals.

Truthmaker theory is "the branch of metaphysics that explores the relationships between what is true and what exists". The basic intuition behind truthmaker theory is that truth depends on being. For example, a perceptual experience of a green tree may be said to be true because there actually is a green tree. But if there were no tree there, it would be false. So the experience by itself does not ensure its truth or falsehood, it depends on something else. Expressed more generally, truthmaker theory is the thesis that "the truth of truthbearers depends on the existence of truthmakers". A perceptual experience is the truthbearer in the example above. Various representational entities, like beliefs, thoughts or assertions can act as truthbearers. Truthmaker theorists are divided about what type of entity plays the role of truthmaker; popular candidates include states of affairs and tropes.

The School of Brentano was a group of philosophers and psychologists who studied with Franz Brentano and were essentially influenced by him. While it was never a school in the traditional sense, Brentano tried to maintain some cohesion in the school. However, two of his most famous students, Alexius Meinong and Edmund Husserl, ultimately moved radically beyond his theories.

Adolf Bernhard Philipp Reinach was a German philosopher, phenomenologist from the Munich phenomenology school and law theorist.

Munich phenomenology is the philosophical orientation of a group of philosophers and psychologists that studied and worked in Munich at the turn of the twentieth century. Their views are grouped under the names realistphenomenology or phenomenology of essences. Munich phenomenology represents one branch of what is referred to as the early phenomenology. One of their contributions was the theory that there are different kinds of intentionality.

<span class="mw-page-title-main">Roman Ingarden</span> Polish philosopher (1893–1970)

Roman Witold Ingarden was a Polish philosopher who worked in aesthetics, ontology, and phenomenology.

In information science, an upper ontology is an ontology that consists of very general terms that are common across all domains. An important function of an upper ontology is to support broad semantic interoperability among a large number of domain-specific ontologies by providing a common starting point for the formulation of definitions. Terms in the domain ontology are ranked under the terms in the upper ontology, e.g., the upper ontology classes are superclasses or supersets of all the classes in the domain ontologies.

The Open Biological and Biomedical Ontologies (OBO) Foundry is a group of people dedicated to build and maintain ontologies related to the life sciences. The OBO Foundry establishes a set of principles for ontology development for creating a suite of interoperable reference ontologies in the biomedical domain. Currently, there are more than a hundred ontologies that follow the OBO Foundry principles.

In philosophy, the term formal ontology is used to refer to an ontology defined by axioms in a formal language with the goal to provide an unbiased view on reality, which can help the modeler of domain- or application-specific ontologies to avoid possibly erroneous ontological assumptions encountered in modeling large-scale ontologies.

Trope denotes figurative and metaphorical language and one which has been used in various technical senses. The term trope derives from the Greek τρόπος (tropos), "a turn, a change", related to the root of the verb τρέπειν (trepein), "to turn, to direct, to alter, to change"; this means that the term is used metaphorically to denote, among other things, metaphorical language.

Applied ontology can involve the practical application of ontological resources to specific domains, such as management, relationships, biomedicine, information science or geography. Alternatively, applied ontology can aim more generally at developing improved methodologies for recording and organizing knowledge.

Kevin Mulligan is a British philosopher, working on ontology, the philosophy of mind, and Austrian philosophy. He is currently Honorary Professor at the University of Geneva, Full Professor at the University of Italian Switzerland, Director of Research at the Institute of Philosophy of Lugano, and member of the Academia Europaea and of the Royal Swedish Academy of Letters. He is also known for his work with Peter Simons and Barry Smith on metaphysics and the history of Austrian philosophy.

The Ontology for Biomedical Investigations (OBI) is an open-access, integrated ontology for the description of biological and clinical investigations. OBI provides a model for the design of an investigation, the protocols and instrumentation used, the materials used, the data generated and the type of analysis performed on it. The project is being developed as part of the OBO Foundry and as such adheres to all the principles therein such as orthogonal coverage and the use of a common formal language. In OBI the common formal language used is the Web Ontology Language (OWL). As of March 2008, a pre-release version of the ontology was made available at the project's SVN repository.

Basic Formal Ontology (BFO) is a top-level ontology developed by Barry Smith and his associates for the purposes of promoting interoperability among domain ontologies built in its terms through a process of downward population. A guide to building BFO-conformant domain ontologies was published by MIT Press in 2015.

Documentality is the theory of documents that underlies the ontology of social reality put forward by the Italian philosopher Maurizio Ferraris. The theory gives to documents a central position within the sphere of social objects, conceived as distinct from physical and ideal objects. Ferraris argues that social objects are "social acts that have been inscribed on some kind of support", be it a paper document, a magnetic support, or even memory in people's heads. Thus the constitutive rule of social objects is that Object = Inscribed Act. Therefore, documents as inscriptions possessing social relevance and value embody the essential and prototypical features of any social object, and it is on this basis that it is possible to develop an ontology capable of classifying documents and their selective storage, beginning with the grand divide between strong documents, which make up social objects in the full sense, and weak documents, which are secondary derivatives and of lesser importance. This theory is inspired, on the one hand, by the reflection on the centrality of writing developed by Jacques Derrida and, on the other hand, by the theory of social acts devised by Adolf Reinach (1913) and the theory of linguistic acts by John L. Austin (1962).

<span class="mw-page-title-main">Robert Arp</span> American philosopher (born 1970)

Robert Arp is an American philosopher known for his work in ethics, modern philosophy, ontology, philosophy of biology, cognitive science, evolutionary psychology, religious studies, and philosophy and popular culture. He currently works as an adjunct professor teaching philosophy courses in the classroom and online at numerous schools in the Kansas City, Missouri area and other areas of the United States.

<i>Logical Investigations</i> (Husserl) 1900–1901 book by Edmund Husserl

The Logical Investigations is a two-volume work by the philosopher Edmund Husserl, in which the author discusses the philosophy of logic and criticizes psychologism, the view that logic is based on psychology.

Early phenomenology refers to the early phase of the phenomenological movement, from the 1890s until the Second World War. The figures associated with the early phenomenology are Edmund Husserl and his followers and students, particularly the members of the Göttingen and Munich Circles, as well as a number of other students of Carl Stumpf and Theodor Lipps, and excludes the later existential phenomenology inspired by Martin Heidegger. Early phenomenology can be divided into two theoretical camps: realist phenomenology, and transcendental or constitutive phenomenology.

References

  1. At scholar.google.com, the order among living philosophers is Kristeva, Kimlycka, Clark, Chalmers, Smith.
  2. Smith, Barry (1976). The Ontology of Reference: Studies in Logic and Phenomenology (PhD thesis). University of Manchester.
  3. Mark Textor (ed.), The Austrian Contribution to Analytic Philosophy, Routledge, 2006. ISBN   9780415404051.
  4. Axel Bühler, "Drei Briten in Kakanien", Information Philosophie, 3 (1987), 22–33.
  5. Sébastien Richard, "Object and Something in General in Contemporary Formal Ontology", in Fosca Mariani Zini (ed.), The Meaning of Something, Springer, 2022. 133-149. DOI: 10.1007/978-3-031-09610-5_6
  6. Roderick M. Chisholm, "My philosophical development", in L. E. Hahn (ed.), The Philosophy of Roderick Chisholm (Library of Living Philosophers), Chicago and La Salle, IL, 1997, p. 17.
  7. Barry Smith – CV
  8. History of IFOMIS
  9. STIDS
  10. International Conference on Biomedical Ontology
  11. Barry Smith, ed., Proceedings of the First International Conference on Biomedical Ontology, Buffalo, New York, July 24–26, 2009. , last accessed August 25, 2017.
  12. ISO/IEC 21838: Top Level Ontologies, Part 1
  13. ISO/IEC 21838: Top Level Ontologies, Part 2
  14. "Begriffe in Schichten: Die 'Basic Formal Ontology' erbringt Dienstleistungen für die Medizin. Das wurde jetzt mit der Anerkennung als Industriestandard gewürdigt", Frankfurter Allgemeine Zeitung, 28 September 2022.
  15. "Professors". usi.ch - Master in Philosophy. 2020. Archived from the original on 1 October 2020. Retrieved 11 November 2020.
  16. Marco Tedeschini, From Phenomenology to Formal Ontology: How Barry Smith and Kevin Mulligan Made Husserl’s Descriptive Psychology into a Form of Realism, Archivio di filosofia, 83 (3), 2015, 177-188.
  17. Fabrice Correia, "Ontological Dependence", Philosophy Compass 3/5 (2008): 1013–1032, 10.1111/j.1747-9991.2008.00170.x
  18. Kit Fine, "Part-Whole", Cambridge Companion to Husserl, Cambridge University Press, 1995.
  19. Kevin Mulligan, ed., Speech Act and Sachverhalt: Reinach and the Foundations of Realist Phenomenology, Reidel, 1987.
  20. Kevin Mulligan, Peter Simons and Barry Smith, Truth-Makers, Philosophy and Phenomenological Research, 44 (1984), 287-321.
  21. D. M. Armstrong, Truth and Truthmakers, Cambridge University Press, 2004.
  22. Fraser MacBride, "Truthmakers", Stanford Encyclopedia of Philosophy (2013).
  23. Philip Larrey, From Searle’s Speech Acts to Smith’s Truth-Makers, Raffaela Giovagnoli and Robert Lowe (eds.), The Logic of Social Practices, New York: Springer, 2020, 37-48.
  24. Barry Smith, "Fiat Objects", Topoi, 20: 131–148, 2001.
  25. Kim Lowell, "Fiat boundaries: some implications for interpretation, decision-support, and multi-temporal analysis." Environmental and ecological statistics 15 (2008): 369-383.
  26. Richard Davies (ed.), Natural and Artifactual Objects in Contemporary Metaphysics. Exercises in Analytic Ontology, London: Bloomsbury, 2019.
  27. L. Vogt, P. Grobe, B. Quast, T. Bartolomaeus, "Fiat or Bona Fide Boundary — A Matter of Granular Perspective", PLoS ONE, 7(12): e48603.
  28. Martin Berzell, Electronic Healthcare Ontologies: Philosophy, the Real World and IT Structures, Linköping Studies in Arts and Science, 2010, No. 517.
  29. Barry Smith, et al., "The OBO Foundry: coordinated evolution of ontologies to support biomedical data integration", Nature Biotechnology 25, 1251-1255 (2007). doi : 10.1038/nbt1346
  30. Anita Bandrowski, et al., The Ontology for Biomedical Investigations, PLOS One, April 29, 2016. https://doi.org/10.1371/journal.pone.0154556
  31. Protein Ontology
  32. Ramona Lynn Walls, Laurel Cooper, Justin Lee Elser, Maria Alejandra Gandolfo, Christopher J Mungall, Barry Smith, Dennis William Stevenson, Pankaj Jaiswal, "The Plant Ontology facilitates comparisons of plant development stages across species", Frontiers in Plant Science, June 4, 2019, 10, 631.
  33. "UB part of new NIH center: Focus of work is biomedical ontology".
  34. Chelsea Wald, “More Than Words”, ‘’Science’’, 2011/02, doi : 10.1126/science.caredit.a1100012
  35. NIAID ImmPort project
  36. "UB ontologists named to major NIH immunology research team".
  37. Bauwens M. "Institutions as dispositions: Searle, Smith and the metaphysics of blind chess". Journal of the Theory of Social Behavior 2018;1–19. https://doi.org/10.1111/jtsb.12161
  38. Smith, B. Searle and De Soto: The New Ontology of the Social World. In B. Smith, D. Mark & I. Ehrlich (eds.), The Mystery of Capital and the Construction of Social Reality. Chicago: Open Court. pp. 35-51 (2008)
  39. B. Smith, “How to Do Things with Documents”, Rivista di Estetica, 50 (2012), 179-198.
  40. B. Smith, “Document Acts”, in A. Konzelmann Ziv and H. B. Schmid (eds.), Institutions, Emotions, and Group Agents. Contributions to Social Ontology, Dordrecht: Springer, 2014, 19-31.
  41. Peter Morosoff, Ron Rudnicki, Jason Bryant, Robert Farrell & Barry Smith, "Joint Doctrine Ontology: A Benchmark for Military Information Systems Interoperability", Semantic Technology for Intelligence, Defense and Security (STIDS), CEUR vol. 1325, 2015, pp. 2-9.
  42. Joint Doctrine Hierarchy
  43. Alexander P. Cox, et al., The Space Domain Ontologies. In National Symposium on Sensor & Data Fusion Committee (2021)
  44. Bert Gambini, DOD, Intelligence Community adopt resource developed by UB ontologists , University at Buffalo News Center, 28 February 2024.
  45. Industrial Ontologies Foundry
  46. "BFO-Based Engineering Ontologies - NCOR Wiki".
  47. Hedi Karray, Farhad Ameri, Melinda Hodkiewicz, Thierry Louge, ROMAIN: Towards a BFO compliant reference ontology for industrial maintenance, Applied ontology, vol. 14, no. 2, 179-197.
  48. Ana Correia, Dragan Stokic, Rebecca Siafaka, Sebastian Scholze, Ontology for Collaborative Development of Product Service Systems based on Basic Formal Ontology , 2017 International Conference on Engineering, Technology and Innovation (ICE/ITMC).
  49. J. Neil Otte, Dimitris Kiritsis, Munira Binti Mohd Ali, Ruoyu Yang, Binbin Zhang, Ron Rudnicki, Rahul Rai, Barry Smith, An Ontological Approach to Representing the Product Life Cycle, Applied Ontology, vol. 14, no. 2, 155-177.
  50. Thomas J. Hagedorn, Sundar Krishnamurty & Ian R. Grosse, A Knowledge-Based Method for Innovative Design for Additive Manufacturing Supported by Modular Ontologies, Journal of Computing and Information Science in Engineering, 18(2), 021009 (Mar 19, 2018).
  51. Jobst Landgrebe and Barry Smith, Why Humans Will Never Rule the World. Artificial Intelligence Without Fear , Abingdon, UK: Routledge, 2022, ISBN 978-1-00-331010-5.
  52. Thomas Jefferson Snodgrass, Why Machines Will Never Rule the World , 2024. Finalist in the Astral Codex Top Ten Book Review Contest.
  53. Stefan Thurner, Rudolf Hanel, & Peter Klimek, Introduction to the Theory of Complex Systems, Oxford University Press, 2018.
  54. "The Wolfgang Paul Award". Archived from the original on 22 April 2016.
  55. "The Paolo Bozzi Prize for Ontology".
  56. "Barry Smith named Fellow of American College of Medical Informatics".
  57. Leo Zaibert, ed. (2016). The Theory and Practice of Ontology. Palgrave Macmillan. p. 1. ISBN   9781137552778.
  58. Cosmos + Taxis. Studies in Emergent Order and Organization, 4 (4), June 2017.