-
727Strengths and Limitations of Formal Ontologies in the Biomedical DomainElectronic Journal of Communication, Information and Innovation in Health 3 (1): 31-45. 2009.We propose a typology of representational artifacts for health care and life sciences domains and associate this typology with different kinds of formal ontology and logic, drawing conclusions as to the strengths and limitations for ontology in a description logics framework. The four types of domain representation we consider are: (i) lexico-semantic representation, (ii) representation of types of entities, (iii) representations of background knowledge, and (iv) representation of individuals. W…Read more
-
512The Question of ApriorismAustrian Economics Newsletter (1/2): 1-5. 1990.We defend a view according to which Austrian economics rests on what can most properly be called an Aristotelian methodology. This implies a realist perspective, according to which the world exists independently of our thinking and reasoning activities; an essentialist perspective, according to which the world contains certain simple essences or natures which may come together in law-like ways to form more complex static and dynamic wholes, and an apriorist perspective, according to which given …Read more
-
273Philosophie und biomedizinische ForschungAllgemeine Zeitschrift für Philosophie 30 (1). 2005.Die bahnbrechenden wissenschaftlichen Ergebnisse der letzten Jahre erzwingen eine neue philosophische Auseinandersetzung mit den Grundkategorien der Biologie und der benachbarten Disziplinen. Insbesondere die Anwendung neuer informationstechnischer Mittel in der biomedizinischen Forschung und die damit verbundene, kontinuierlich zunehmende Datenflut sowie die Notwendigkeit, ihrer Herr zu werden, erfordern ein konsequentes Nachdenken darüber, wie biologische Daten systematisiert und klassifizier…Read more
-
756Diagrams, Documents, and the Meshing of PlansIn Andras Benedek & Kristof Nyiri (eds.), How To Do Things With Pictures: Skill, Practice, Performance, Peter Lang Edition. pp. 165--179. 2013.There are two important ways in which, when dealing with documents, we go beyond the boundaries of linear text. First, by incorporating diagrams into documents, and second, by creating complexes of intermeshed documents which may be extended in space and evolve and grow through time. The thesis of this paper is that such aggregations of documents are today indispensable to practically all complex human achievements from law and finance to orchestral performance and organized warfare. Documents p…Read more
-
1138Development of a Manufacturing Ontology for Functionally Graded MaterialsIn Francesco Furini, Rahul Rai, Barry Smith, Georgio Colombo & Venkat Krovi (eds.), Proceedings of International Design Engineering Technical Conferences & Computers and Information in Engineering Conference (IDETC/CIE), . 2016.The development of manufacturing technologies for new materials involves the generation of a large and continually evolving volume of information. The analysis, integration and management of such large volumes of data, typically stored in multiple independently developed databases, creates significant challenges for practitioners. There is a critical need especially for open-sharing of data pertaining to engineering design which together with effective decision support tools can enable innovatio…Read more
-
257Switching Partners: Dancing with the Ontological EngineersIn Thomas Batcherer & 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
-
180Ingarden versus Meinong o logice fikcjiIn Z. Muszyński (ed.), Z badań nad prawdą i poznaniem, Wydawnictwo Umc-s. 1998.: 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 implie…Read more
-
971Document ActsIn Anita Konzelmann-Ziv & Hans Bernhard Schmid (eds.), Institutions, Emotions, and Group Agents: Contributions to Social Ontology, Springer. pp. 19-31. 2014.The theory of document acts is an extension of the more traditional theory of speech acts advanced by Austin and Searle. It is designed to do justice to the ways in which documents can be used to bring about a variety of effects in virtue of the fact that, where speech is evanescent, documents are continuant entities. This means that documents can be preserved in such a way that they can be inspected and modified at successive points in time and grouped together into enduring document complexes.…Read more
-
520Modelling Principles and Methodologies: Relations in Anatomical OntologiesIn 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 ’.
-
310The formal ontology of boundariesElectronic Journal of Analytic Philosophy 5 (5). 1997.Revised version published as Barry Smith and Achille Varzi, “Fiat and Bona Fide Boundaries”, Philosophy and Phenomenological Research, 60: 2 (March 2000), 401–420.
-
211On the Phases of ReismIn Arkadiusz Chrudzimski & Dariusz Łukasiewicz (eds.), Actions, products, and things: Brentano and Polish philosophy, Ontos. pp. 137--183. 2006.Kotarbiński is one of the leading figures in the Lvov-Warsaw school of Polish philosophy. We summarize the development of Kotarbiński’s thought from his early nominalism and ‘pansomatistic reism’ to the later doctrine of ‘temporal phases’. We show that the surface clarity and simplicity of Kotarbiński’s writings mask a number of profound philosophical difficulties, connected above all with the problem of giving an adequate account of the truth of contingent (tensed) predications. The paper will …Read more
-
342Universal Core Semantic LayerIn Ontology for the Intelligence Community: Proceedings of the Third OIC Conference, Ceur, Vol. 555. pp. 1-5. 2009.The Universal Core (UCore) is a central element of the National Information Sharing Strategy that is supported by multiple U.S. Federal Government Departments, by the intelligence community, and by a number of other national and international institutions. The goal of the UCore initiative is to foster information sharing by means of an XML schema providing consensus representations for four groups of universally understood terms under the headings who, what, when, and where. We here describe a p…Read more
-
385Bodily Systems and the Modular Structure of the Human BodyArtificial Intelligence in Medicine (Lecture Notes on Artificial Intelligence 2780) 9 86-90. 2003.Medical science conceives the human body as a system comprised of many subsystems at a variety of levels. At the highest level are bodily systems proper, such as the endocrine system, which are central to our understanding of human anatomy, and play a key role in diagnosis and in dynamic modeling as well as in medical pedagogy and computer visualization. But there is no explicit definition of what a bodily system is; such informality is acceptable in documentation created for human beings, but f…Read more
-
846Handbook of metaphysics and ontology (edited book)Philosophia Verlag. 1991.The Handbook of Metaphysics and Ontology reflects the conviction that the history of metaphysics and current work in metaphysics and ontology can each throw valuable light on the other. Thus it is designed to serve both äs a means of making more widely accessible the results of recent scholarship in the history of philosophy, and also äs a unique work of reference in reladon to the metaphysical themes at the centre of much current debate in analyüc philosophy. The work contains more man 450 shor…Read more
-
1814On Luck, Responsibility and the Meaning of LifePhilosophical 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
-
1866Mach and Ehrenfels: The foundations of Gestalt TheoryIn Barry Smith (ed.), Foundations of Gestalt Theory, Philosophia Verlag. pp. 124-157. 1988.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
-
2653The Construction of Social Reality: An ExchangeAmerican Journal of Economics and Sociology 62 (2): 285-309. 2003.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 bank's computers, however, the formula fails, because these are cases of what he calls ‘free-s…Read more
-
476Ontologia i analiza logiczna rzeczywistościFilozofia Nauki 2 5-22. 1994.The author attempts to show how mereology, taken together with certain topological notions, can yield the foundations for future investigations in formal ontology. He also attempts to show how the mereological framework allows for the direct and natural formulation of a series of theses - for example pertaining to the concept of a boundary - which can be only indirectly formulated (if at all) in set-theoretic terms. The far-reaching ain of the present framework is to serve as a basis for a forma…Read more
-
366Truth and the visual fieldIn Jean Petitot, Francisco J. Varela, Bernard Pachoud & Jean-Michel Roy (eds.), Naturalizing Phenomenology: Issues in Contemporary Phenomenology and Cognitive Science, Stanford University Press. pp. 317-329. 1999.The paper uses the tools of mereotopology (the theory of parts, wholes and boundaries) to work out the implications of certain analogies between the 'ecological psychology' of J. J Gibson and the phenomenology of Edmund Husserl. It presents an ontological theory of spatial boundaries and of spatially extended entities. By reference to examples from the geographical sphere it is shown that both boundaries and extended entities fall into two broad categories: those which exist independently of our…Read more
-
408Boundaries: An essay in mereotopologyIn Lewis H. Hahn (ed.), Philosophy of Roderick Chisholm (Library of Living Philosophers), Open Court. pp. 534--561. 1997.Of Chisholm’s many signal contributions to analytic metaphysics, perhaps the most important is his treatment of boundaries, a category of entity that has been neglected, to say the least, in the history of ontology. We can gain some preliminary idea of the sorts of problems which the Chisholmian ontology of boundaries is designed to solve, if we consider the following Zeno-inspired thought-experiment.
-
1025The Varieties of Normativity: An Essay on Social OntologyIn Savas L. Tsohatzidis (ed.), Intentional Acts and Institutional Facts: Essays on John Searle’s Social Ontology, Springer. pp. 157-173. 2007.For much of the first fifty years of its existence, analytic philosophy shunned discussions of normativity and ethics. Ethical statements were considered as pseudo-propositions, or as expressions of pro- or con-attitudes of minor theoretical significance. Nowadays, in contrast, prominent analytic philosophers pay close attention to normative problems. Here we focus our attention on the work of Searle, at the same time drawing out an important connection between Searle’s work and that of two othe…Read more
-
1188On substances, accidents and universals: In defence of a constituent ontologyPhilosophical Papers 26 (1): 105-127. 1997.The essay constructs an ontological theory designed to capture the categories instantiated in those portions or levels of reality which are captured in our common sense conceptual scheme. It takes as its starting point an Aristotelian ontology of “substances” and “accidents”, which are treated via the instruments of mereology and topology. The theory recognizes not only individual parts of substances and accidents, including the internal and external boundaries of these, but also universal parts…Read more
-
1001HL7 RIM: An incoherent standardStudies in Health Technology and Informatics 124 (Proceedings of MIE 2006). 2006.The Health Level 7 Reference Information Model (HL7 RIM) is lauded by its authors as ‘the foundation of healthcare interoperability’. Yet even after some 10 years of development work, the RIM is still subject to a variety of logical and ontological flaws which have placed severe obstacles in the way of those who are called upon to develop implementations. We offer evidence that these obstacles are insurmountable and that the time has come to abandon an unworkable paradigm.
-
475Against idiosyncrasy in ontology developmentIn B. Bennett & C. Fellbaum (eds.), Formal Ontology in Information Systems (FOIS), Ios Press. pp. 15-26. 2006.The world of ontology development is full of mysteries. Recently, ISO Standard 15926 (“Lifecycle Integration of Process Plant Data Including Oil and Gas Production Facilities”), a data model initially designed to support the integration and handover of large engineering artefacts, has been proposed by its principal custodian for general use as an upper level ontology. As we shall discover, ISO 15926 is, when examined in light of this proposal, marked by a series of quite astonishing defects, whi…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 |