-
605CARO: The Common Anatomy Reference OntologyIn Anatomy Ontologies for Bioinformatics: Principles and Practice, Springer. pp. 327-349. 2008.The Common Anatomy Reference Ontology (CARO) is being developed to facilitate interoperability between existing anatomy ontologies for different species, and will provide a template for building new anatomy ontologies. CARO has a structural axis of classification based on the top-level nodes of the Foundational Model of Anatomy. CARO will complement the developmental process sub-ontology of the GO Biological Process ontology, using it to ensure the coherent treatment of developmental stages, and…Read more
-
333Some Formal Moments of TruthIn 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.
-
555MetaphysicsIn Asbjørn Steglich-Petersen (ed.), Metaphysics: Five Questions, Automatic Press. pp. 143-158. 2010.Attempts to trace a unifying thread of ontological realism extending through 1. my early writings on Frege, Brentano, Husserl, Wittgenstein, Ingarden and (with Kevin Mulligan and Peter Simons) on truthmakers; 2. work on formal theories of the common-sense world, and on mereotopology, fiat objects, geographical categories, and environments (with David Mark, Roberto Casati, Achille Varzi), to 3. current work on applied ontology in biology and medicine, and on the theory of document acts and on the…Read more
-
373Ontological Support for Living Plan Specification, Execution and EvaluationIn 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
-
625An Essay on Material NecessityCanadian Journal of Philosophy (sup1): 301-322. 1992.Where Humeans rule out the possibility of material or non-logical necessity, and thus of any associated knowledge a priori, the German legal philosopher Adolf Reinach defends the existence of a wide class of material necessities falling within the domain of what can be known a priori, for example in fields such as color and shape, rational psychology, law and economics. Categories such as promise or claim or obligation are, in Reinach’s view, exist as nodes in a system of necessary relations, so…Read more
-
459SNAP and SPAN: Towards dynamic spatial ontologySpatial Cognition and Computation 4 (1). 2004.We propose a modular ontology of the dynamic features of reality. This amounts, on the one hand, to a purely spatial ontology supporting snapshot views of the world at successive instants of time and, on the other hand, to a purely spatiotemporal ontology of change and process. We argue that dynamic spatial ontology must combine these two distinct types of inventory of the entities and relationships in reality, and we provide characterizations of spatiotemporal reasoning in the light of the inte…Read more
-
270Tracking Referents in Electronic Health RecordsStudies in Health Technology and Informatics 116. 2005.Electronic Health Records (EHRs) are organized around two kinds of statements: those reporting observations made, and those reporting acts performed. In neither case does the record involve any direct reference to what such statements are actually about. They record not: what is happening on the side of the patient, but rather: what is said about what is happening. While the need for a unique patient identifier is generally recognized, we argue that we should now move to an EHR regime in which a…Read more
-
2056On Classifying Material Entities in Basic Formal OntologyIn Interdisciplinary Ontology: Proceedings of the Third Interdisciplinary Ontology Meeting, Keio University Press. pp. 1-13. 2012.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
-
689Logic and the SachverhaltThe Monist 72 (1): 52-69. 1989.Those who conceive logic as a science have generally favoured one of two alternative conceptions as to what the subject-matter of this science ought to be. On the one hand is the nowadays somewhat old-fashioned-seeming view of logic as the science of judgment, or of thinking or reasoning activities in general. On the other hand is the view of logic as a science of ideal meanings, 'thoughts', or 'propositions in themselves'. There is, however, a third alternative conception, which enjoyed only a …Read more
-
193Von T. G. Masaryk bis Jan Patočka: Eine philosophische SkizzeIn J. Zumr & T. Binder (eds.), T. G. Masaryk und die Brentano-Schule, Czech Academy of Sciences. pp. 94-110. 1993.Thomas Garrigue Masaryk, later founder and President of the Republic of Czechoslovakia, studied philosophy in the University of Vienna from 1872 to 1876, where he came under the powerful influence of Franz Brentano. We survey the role of Brentano’s philosophy, and especially of his ethics, in Masaryk’s life and work.
-
365Toward an Ontological Treatment of Disease and DiagnosisIn Proceedings of the 2009 AMIA Summit on Translational Bioinformatics, American Medical Informatics Association. 2009.Many existing biomedical vocabulary standards rest on incomplete, inconsistent or confused accounts of basic terms pertaining to diseases, diagnoses, and clinical phenotypes. Here we outline what we believe to be a logically and biologically coherent framework for the representation of such entities and of the relations between them. We defend a view of disease as involving in every case some physical basis within the organism that bears a disposition toward the execution of pathological process…Read more
-
784Per una storia della teoria degli atti linguisticiIn Stefano Besoli & Luca Guidetti (eds.), Il realismo fenomenologico. Sulla filosofia dei circoli di Monaco e Gottinga, Quodlibet. pp. 385-418. 2000.Provides a survey of the development of speech act theory from Aristotle through Reid and Peirce to Edmund Husserl, Anton Marty, Johannes Daubert, Adolf Reinach, and finally to Austin and Searle. A special role is played by Husserl's theory of objectifying acts (meaning, roughly, acts of naming or stating) and of the efforts by his followers to extend this theory to cover phenomena such as questioning and commanding. These efforts culminated in the work of Adolf Reinach, who developed the first …Read more
-
975Features, Objects, and other Things: Ontological Distinctions in the Geographic DomainIn Daniel R. Montello (ed.), Spatial Information Theory: Foundations of Geographic Information Science, Springer. pp. 489-502. 2001.Two hundred and sixty-three subjects each gave examples for one of five geographic categories: geographic features, geographic objects, geographic concepts, something geographic, and something that could be portrayed on a map. The frequencies of various responses were significantly different, indicating that the basic ontological terms feature, object, etc., are not interchangeable but carry different meanings when combined with adjectives indicating geographic or mappable. For all of the test p…Read more
-
1686Do mountains exist? Towards an ontology of landformsEnvironment 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.
-
391The Environment Ontology: Contextualising biological and biomedical entitiesJournal of Biomedical Semantics 4 (43): 1-9. 2013.As biological and biomedical research increasingly reference the environmental context of the biological entities under study, the need for formalisation and standardisation of environment descriptors is growing. The Environment Ontology (ENVO) is a community-led, open project which seeks to provide an ontology for specifying a wide range of environments relevant to multiple life science disciplines and, through an open participation model, to accommodate the terminological requirements of all t…Read more
-
1Interdisciplinary Ontology, Vol. 3: Proceedings of the Third Interdisciplinary Ontology Meeting (edited book)Keio University Press. 2010.
-
3214John Searle: From speech acts to social realityIn John Searle, Cambridge University Press. pp. 1-33. 2003.We provide an overview of Searle's contributions to speech act theory and the ontology of social reality, focusing on his theory of constitutive rules. In early versions of this theory, Searle proposed that all such rules have the form 'X counts as Y in context C' formula – as for example when Barack Obama (X) counts as President of the United States (Y) in the context of US political affairs. Crucially, the X and the Y terms are here identical. A problem arises for this theory for cases involvi…Read more
-
417The Role of Foundational Relations in the Alignment of Biomedical OntologiesIn M. Fieschi, E. Coiera & Y.-C. J. Li (eds.), Medinfo, Ios Press. pp. 444-448. 2004.The Foundational Model of Anatomy (FMA) symbolically represents the structural organization of the human body from the macromolecular to the macroscopic levels, with the goal of providing a robust and consistent scheme for classifying anatomical entities that is designed to serve as a reference ontology in biomedical informatics. Here we articulate the need for formally clarifying the is-a and part-of relations in the FMA and similar ontology and terminology systems. We diagnose certain characte…Read more
-
1518The evaluation of ontologies: Toward improved semantic interoperabilityIn Chris Baker & Kei H. Cheung (eds.), Semantic Web: Revolutionizing Knowledge Discovery in the Life Sciences, Springer. pp. 139-158. 2006.Recent years have seen rapid progress in the development of ontologies as semantic models intended to capture and represent aspects of the real world. There is, however, great variation in the quality of ontologies. If ontologies are to become progressively better in the future, more rigorously developed, and more appropriately compared, then a systematic discipline of ontology evaluation must be created to ensure quality of content and methodology. Systematic methods for ontology evaluation wil…Read more
-
361Ontology with Human Subjects Testing: An Empirical Investigation of Geographic CategoriesAmerican Journal of Economics and Sociology 58 (2). 1998.Ontology, since Aristotle, has been conceived as a sort of highly general physics, a science of the types of entities in reality, of the objects, properties, categories and relations which make up the world. At the same time ontology has been for some two thousand years a speculative enterprise. It has rested methodologically on introspection and on the construction and analysis of elaborate world-models and of abstract formal-ontological theories. In the work of Quine and others this ontologica…Read more
-
41Austrian Economics (Routledge Revivals): Historical and Philosophical Background (edited book)Croom Helm / Routledge. 1986.First published in 1986 and reprinted in 2010 in the Routledge Revivals series, this book presents the first detailed confrontation between the Austrian school of economics and Austrian philosophy, especially the philosophy of the Brentano school. It contains a study of the roots of Austrian economics in the liberal political theory of the nineteenth-century Hapsburg empire, and a study of the relations between the general theory of value underlying Austrian economics and the new economic approa…Read more
-
482Bodily Systems and the Spatial-Functional Structure of the Human BodyStudies 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
-
510SachverhaltIn Historisches Wörterbuch der Philosophie, Volume 8, Basel: Schwabe. 1992.Both ‘Sachverhalt’ and ‘state of affairs’ seem to have been derived from the juridical ‘status’ in the sense of 'status rerum' meaning: state or constitution of things. ‘Status’ signifies also in an extended sense ‘the way things stand, the condition or peculiarity of a thing in regard to its circumstances, position, order’. We describe the history of usage of ‘Sachverhalt’ from these beginnings, addressing the role of Goclenius, Lotze, Stumpf, Husserl and Adolf Reinach, whose theory of the rela…Read more
-
611The metaphysics of real estateTopoi 20 (2): 161-172. 2001.The thesis that an analysis of property rights is essential to an adequate analysis of the state is a mainstay of political philosophy. The contours of the type of government a society has are shaped by the system regulating the property rights prevailing in that society. Views of this sort are widespread. They range from Locke to Nozick and encompass pretty much everything else in between. Defenders of this sort of view accord to property rights supreme importance. A state that does not suffici…Read more
-
472Mach und Ehrenfels: Über Gestaltqualitäten und das Problem der AbhängigkeitIn R. Fabian (ed.), Christian von Ehrenfels: Leben Und Werk, Rodopi. pp. 85-111. 1986.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
-
884Ontologies as Integrative Tools for Plant ScienceAmerican Journal of Botany 99 (8). 2012.Bio-ontologies are essential tools for accessing and analyzing the rapidly growing pool of plant genomic and phenomic data. Ontologies provide structured vocabularies to support consistent aggregation of data and a semantic framework for automated analyses and reasoning. They are a key component of the Semantic Web. This paper provides background on what bio-ontologies are, why they are relevant to botany, and the principles of ontology development. It includes an overview of ontologies and rela…Read more
-
30Review of Paul Gochet, Outline of a Nominalist Theory of Propositions (review)Grazer Philosophische Studien 14 (1): 216-217. 1981.
-
314LinkSuite™: Software Tools for Formally Robust Ontology-Based Data and Information IntegrationIn Werner Ceusters, Barry Smith & James Matthew Fielding (eds.), Proceedings of DILS 2004 (Data Integration in the Life Sciences), (Lecture Notes in Bioinformatics, 2994), Springer. pp. 1-16. 2004.The integration of information resources in the life sciences is one of the most challenging problems facing bioinformatics today. We describe how Language and Computing nv, originally a developer of ontology-based natural language understanding systems for the healthcare domain, is developing a framework for the integration of structured data with unstructured information contained in natural language texts. L&C’s LinkSuite™ combines the flexibility of a modular software architecture with an on…Read more
-
1735Towards a History of Speech Act TheoryIn Armin Burkhardt (ed.), Speech acts, meaning, and intentions: critical approaches to the philosophy of John R. Searle, W. De Gruyter. pp. 29--61. 1990.That uses of language not only can, but even normally do, have the character of actions was a fact largely unrealised by those engaged in the study of language before the present century, at least in the sense that there was lacking any attempt to come to terms systematically with the action-theoretic peculiarities of language use. Where the action-character of linguistic phenomena was acknowledged, it was normally regarded as a peripheral matter, relating to derivative or nonstandard aspects of…Read more
Barry Smith
University at Buffalo
National Center for Ontological Research
-
University at BuffaloDepartment of Philosophy
Biomedical Informatics
Neurology
Computer Science and EngineeringDistinguished Professor, Julian Park Chair -
National Center for Ontological ResearchAdministrator
-
APA Eastern Division
Buffalo, New York, United States of America
Areas of Specialization
Metaphysics |
Ontology |
Philosophy of Artificial Intelligence |
Philosophy of Biology |