Ontology: Not Just for Philosophers Anymore
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
A Survey of Top-Level Ontologies to Inform the Ontological Choices for a Foundation Data Model
A survey of Top-Level Ontologies To inform the ontological choices for a Foundation Data Model Version 1 Contents 1 Introduction and Purpose 3 F.13 FrameNet 92 2 Approach and contents 4 F.14 GFO – General Formal Ontology 94 2.1 Collect candidate top-level ontologies 4 F.15 gist 95 2.2 Develop assessment framework 4 F.16 HQDM – High Quality Data Models 97 2.3 Assessment of candidate top-level ontologies F.17 IDEAS – International Defence Enterprise against the framework 5 Architecture Specification 99 2.4 Terminological note 5 F.18 IEC 62541 100 3 Assessment framework – development basis 6 F.19 IEC 63088 100 3.1 General ontological requirements 6 F.20 ISO 12006-3 101 3.2 Overarching ontological architecture F.21 ISO 15926-2 102 framework 8 F.22 KKO: KBpedia Knowledge Ontology 103 4 Ontological commitment overview 11 F.23 KR Ontology – Knowledge Representation 4.1 General choices 11 Ontology 105 4.2 Formal structure – horizontal and vertical 14 F.24 MarineTLO: A Top-Level 4.3 Universal commitments 33 Ontology for the Marine Domain 106 5 Assessment Framework Results 37 F. 25 MIMOSA CCOM – (Common Conceptual 5.1 General choices 37 Object Model) 108 5.2 Formal structure: vertical aspects 38 F.26 OWL – Web Ontology Language 110 5.3 Formal structure: horizontal aspects 42 F.27 ProtOn – PROTo ONtology 111 5.4 Universal commitments 44 F.28 Schema.org 112 6 Summary 46 F.29 SENSUS 113 Appendix A F.30 SKOS 113 Pathway requirements for a Foundation Data F.31 SUMO 115 Model 48 F.32 TMRM/TMDM – Topic Map Reference/Data Appendix B Models 116 ISO IEC 21838-1:2019 -
The Nous: a Globe of Faces1
THE NOUS: A GLOBE OF FACES1 Theodore Sabo, North-West University, South Africa ([email protected]) Abstract: Plotinus inherited the concept of the Nous from the Middle Platonists and ultimately Plato. It was for him both the Demiurge and the abode of the Forms, and his attempts at describing it, often through the use of arresting metaphors, betray substantial eloquence. None of these metaphors is more unusual than that of the globe of faces which is evoked in the sixth Ennead and which is found to possess a notable corollary in the prophet Ezekiel’s vision of the four living creatures. Plotinus’ metaphor reveals that, as in the case of Ezekiel, he was probably granted such a vision, and indeed his encounters with the Nous were not phenomena he considered lightly. Defining the Nous Plotinus’ Nous was a uniquely living entity of which there is a parallel in the Hebrew prophet Ezekiel. The concept of the Nous originated with Anaxagoras. 2 Although Empedocles’ Sphere was similarly a mind,3 Anaxagoras’ idea would win the day, and it would be lavished with much attention by the Middle and Neoplatonists. For Xenocrates the Nous was the supreme God, but for the Middle Platonists it was often the second hypostasis after the One.4 Plotinus, who likewise made the Nous his second hypostasis, equated it with the Demiurge of Plato’s Timaeus.5 He followed Antiochus of Ascalon rather than Plato in regarding it as not only the Demiurge but the Paradigm, the abode of the Forms.6 1 I would like to thank Mark Edwards, Eyjólfur Emilsson, and Svetla Slaveva-Griffin for their help with this article. -
Framework for Formal Ontology Barry Smith and Kevin Mulligan
Framework for Formal Ontology Barry Smith and Kevin Mulligan NOTICE: THIS MATERIAL M/\Y BE PROTECTED BY COPYRIGHT LAW (TITLE 17, u.s. CODE) ABSTRACT. The discussions which follow rest on a distinction, or object-relations in the world; nor does it concern itself rust expounded by Husser!, between formal logic and formal specifically with sentences about such objects. It deals, ontology. The former concerns itself with (formal) meaning-struc rather, with sentences in general (including, for example, tures; the latter with formal structures amongst objects and their the sentences of mathematics),2 and where it is applied to parts. The paper attempts to show how, when formal ontological considerations are brought into play, contemporary extensionalist sentences about objects it can take no account of any theories of part and whole, and above all the mereology of Lesniew formal or material object·structures which may be ex ski, can be generalised to embrace not only relations between con hibited amongst the objects pictured. Its attentions are crete objects and object-pieces, but also relations between what we directed, rather, to the relations which obtain between shall call dependent parts or moments. A two-dimensional formal sentences purely in virtue of what we can call their logical language is canvassed for the resultant ontological theory, a language which owes more to the tradition of Euler, Boole and Venn than to complexity (for example the deducibility-relations which the quantifier-centred languages which have predominated amongst obtain between any sentence of the form A & Band analytic philosophers since the time of Frege and Russell. -
STUMPF, HUSSERL and INGARDEN of the Application of the Formal Meaningful Categories
Formal Ontology FORMAL ONTOLOGY AS AN OPERATIVE TOOL of theory, categories that must be referred to as the objectual domain, which is determined by the ontological categories. In this way, we IN THE THORIES OF THE OBJECTS OF THE must take into account that, for Husserl, ontological categories are LIFE‐WORLD: formal insofar as they are completely freed from any material domain STUMPF, HUSSERL AND INGARDEN of the application of the formal meaningful categories. Therefore, formal ontology, as developed in the third Logical Investigation, is the corresponding “objective correlate of the concept of a possible theory, 1 Horacio Banega (University of Buenos Aires and National Universi‐ deinite only in respect of form.” 2 ty of Quilmes) Volume XXI of Husserliana provides insight into the theoretical source of Husserlian formal ontology.3 In particular, it strives to deine the theory of manifolds or the debate over the effective nature of what will later be called “set theory.” Thus, what in § of Prolegomena is It is accepted that certain mereological concepts and phenomenolog‐ ical conceptualisations presented in Carl Stumpf’s U ber den psy‐ called a “Theory of Manifolds” (Mannigfaltigkeitslehre) is what Husserl chologischen Ursprung der Raumvorstellung and Tonpsychologie played an important role in the development of the Husserlian formal 1 Edmund Husserl, Logische Untersuchunghen. Zweiter Band, Untersuchungen zur ontology. In the third Logical Investigation, which displays the for‐ Phänomenologie und Theorie der Erkenntnis. Husserliana XIX/ and XIX/, (ed.) U. mal relations between part and whole and among parts that make Panzer (The Hague: Martinus Nijhoff, ), hereafter referred to as Hua XIX/ out a whole, one of the main concepts of contemporary formal ontol‐ and Hua XIX/; tr. -
The One Creator God in Thomas Aquinas and Contemporary Theology / Michael J Dodds, OP
} THE ONE CREATOR GOD IN THOMAS AQUINAS & CONTEMPORARY THEOLOGY Sacra Doctrina SerieS Series Editors Chad C. Pecknold, The Catholic University of America Thomas Joseph White, OP,Pontifical University of St. Thomas Aquinas THE ONE } CREATOR GOD IN THOMAS AQUINAS & CONTEMPORARY THEOLOGY Michael J. Dodds, OP The Catholic University of America Press Washington, D.C. Copyright © 2020 The Catholic University of America Press All rights reserved The paper used in this publication meets the minimum requirements of American National Standards for Information Science—Permanence of Paper for Printed Library Materials, ANSI Z39.48-1984. ∞ Library of Congress Cataloging-in-Publication Data Names: Dodds, Michael J., author. Title: The one creator God in Thomas Aquinas and contemporary theology / Michael J Dodds, OP. Description: Washington, D.C. : The Catholic University of America Press, 2020. | Series: Sacra doctrina | Includes bibliographical references and index. Identifiers: LCCN 2020014179 | ISBN 9780813232874 (paperback) | Subjects: LCSH: God (Christianity)—History of doctrines. | Thomas, Aquinas, Saint, 1225?–1274. | Catholic Church—Doctrines—History. Classification: LCC BT98 .D5635 2020 | DDC 231.7/65—dc23 LC record available at https://lccn.loc.gov/2020014179 } To my students contentS Contents List of Figures ix List of Abbreviations xi Introduction 1 . 1 The Existence of God 24 .2 Divine Attributes 61 . 3 Knowing and Naming God 80 .4 Divine Knowledge and Life 102 5. Divine Will 110 .6 Divine Love, Justice, and Compassion 118 7. Divine Providence 126 8. Divine Power 147 9. Divine Beatitude 153 10. Creation and Divine Action 158 Conclusion 174 Appendix 1: Key Philosophical Terms and Concepts 177 Appendix 2: The Emergence of Monotheism 188 Bibliography 199 Index 223 viii contentS Figures .1-1 Infinity by Division 36 1-2. -
The Discipline and the Tool
Ontology: The Discipline and the Tool Doug Mayhew1,2, Dirk Siebert1 1 Institute for Formal Ontology and Medical Information Science, University of Leipzig, 04107 Leipzig, Härtelstraße 16-18, Germany doug.mayhew, [email protected] 2 Department of Philosophy, University at Buffalo, New York, USA Abstract. The fields of philosophy and informatics entertain two somewhat dif- ferent conceptions of ontology. Philosophical ontology is a branch of metaphys- ics dating back at least to the time of Plato and Aristotle. Ontology in informat- ics has its origins in the artificial intelligence research of the eighties and nineties. This means that the fields of philosophy and informatics entertain two somewhat different conceptions of ontology and the present paper discusses the relationship between these two conceptions. Differences and similarities are pointed out and variations in methodological approaches are also discussed. Ef- forts to combine the ontological methodologies and resources of the two fields are surveyed, and actual and potential benefits and drawbacks of such collabo- rations are examined. Different Concepts The fields of philosophy and informatics entertain two somewhat different concep- tions of ontology, with correspondingly different notions of what ontology is for. First, we have the age-old conception of ontology as a philosophical discipline. Se- cond, we have the relatively new conception of ontology as an information organiza- tion tool, a notion of ontology adapted from the philosophical conception by artificial intelligence researchers and then adopted by the applications-oriented field of infor- matics. (The philosophical conception was recognized in informatics as early as the late sixties in data modeling research [1].) The two conceptions have their characteris- tic differences, which show up primarily in what each field thinks ontology is for. -
Mereology Then and Now
Logic and Logical Philosophy Volume 24 (2015), 409–427 DOI: 10.12775/LLP.2015.024 Rafał Gruszczyński Achille C. Varzi MEREOLOGY THEN AND NOW Abstract. This paper offers a critical reconstruction of the motivations that led to the development of mereology as we know it today, along with a brief description of some questions that define current research in the field. Keywords: mereology; parthood; formal ontology; foundations of mathe- matics 1. Introduction Understood as a general theory of parts and wholes, mereology has a long history that can be traced back to the early days of philosophy. As a formal theory of the part-whole relation or rather, as a theory of the relations of part to whole and of part to part within a whole it is relatively recent and came to us mainly through the writings of Edmund Husserl and Stanisław Leśniewski. The former were part of a larger project aimed at the development of a general framework for formal ontology; the latter were inspired by a desire to provide a nominalistically acceptable alternative to set theory as a foundation for mathematics. (The name itself, ‘mereology’ after the Greek word ‘µρoς’, ‘part’ was coined by Leśniewski [31].) As it turns out, both sorts of motivation failed to quite live up to expectations. Yet mereology survived as a theory in its own right and continued to flourish, often in unexpected ways. Indeed, it is not an exaggeration to say that today mereology is a central and powerful area of research in philosophy and philosophical logic. It may be helpful, therefore, to take stock and reconsider its origins. -
Robert Arp, Ph.D. 14713 Walmer Street | Overland Park, KS 66223 | [email protected] | 703-946-4669 | Robertarp.Com
Robert Arp, Ph.D. 14713 Walmer Street | Overland Park, KS 66223 | [email protected] | 703-946-4669 | robertarp.com EDUCATION LANGUAGES OTHER THAN ENGLISH Ph.D. Philosophy, Saint Louis University Basic reading knowledge of Ancient Greek, Latin, French, M.A. Philosophy, The Catholic University of America German, Spanish; basic speaking knowledge of Spanish B.A. Philosophy, The Catholic University of America COLLEGE AND UNIVERSITY COURSES TAUGHT SINCE 1996 Since August of 1996, I have taught around 200 in-class and more than 200 online and hybrid courses in Philosophy and other areas. Schools where I have taught and/or continue to teach include: Forest Park Community College (Adjunct Professor, 1996-2005) Saint Louis University as a Grad Student (Adjunct Professor, 1996-2005) Florissant Valley Community College (Adjunct Professor, 1999-2005) Southwest Minnesota State University (Assistant Professor, 2005-2006) St. Charles Community College (Adjunct Professor, 1999-2005) Florida State University (Visiting Assistant Professor, 2006-2007) Barton Community College (Adjunct Professor, 2013) University of Missouri - St. Louis (Adjunct Professor, 1999-2005) Maple Woods Community College (Adjunct Professor, 2011-2013) Fontbonne College (now University, Adjunct Professor, 1999-2005) Penn Valley Community College (Adjunct Professor, 2011-2013) Harris-Stowe State College (now University, Adjunct Professor, 1996-2005) University of St. Mary in Leavenworth, KS (Adjunct Professor, 2011-2014) McKendree College (now University, Adjunct -
Toward the Use of Upper Level Ontologies
Toward the use of upper level ontologies for semantically interoperable systems: an emergency management use case Linda Elmhadhbi, Mohamed Hedi Karray, Bernard Archimède To cite this version: Linda Elmhadhbi, Mohamed Hedi Karray, Bernard Archimède. Toward the use of upper level ontolo- gies for semantically interoperable systems: an emergency management use case. 9th Conference on Interoperability for Enterprise Systems and Applications I-ESA2018 Conference, Mar 2018, Berlin, Germany. pp.1-10. hal-02359706 HAL Id: hal-02359706 https://hal.archives-ouvertes.fr/hal-02359706 Submitted on 12 Nov 2019 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Open Archive Toulouse Archive Ouverte (OATAO ) OATAO is an open access repository that collects the wor of some Toulouse researchers and ma es it freely available over the web where possible. This is an author's version published in: http://oatao.univ-toulouse.fr/22794 Official URL : https://doi.org/10.1007/978-3-030-13693-2 To cite this version: Elmhadhbi, Linda and Karray, Mohamed Hedi and Archimède, Bernard Toward the use of upper level ontologies for semantically interoperable systems: an emergency management use case. ( In Press: 2018) In: 9th Conference on Interoperability for Enterprise Systems and Applications I-ESA2018 Conference, 23 March 2018 - 19 March 2018 (Berlin, Germany). -
A Philosophical View of Biology PDF Document, 103.4 KB Hughes 2010
Author's personal copy Update Trends in Ecology and Evolution Vol.25 No.7 evolution of deception in plants. In this scenario, the 4 Bradbury, J.W. and Vehrencamp, S.L. (1998) Principles of Animal paradox alluded to by Schiestl et al. (that experimental Communication, Sinauer Associates 5 Cazetta, E. et al. (2009) Why are fruits colorful? The relative importance addition of nectar leads to higher pollination success of of achromatic and chromatic contrasts for detection by birds. Evol. Ecol. unrewarding plants) is a logical consequence of combining 23, 233–244 two successful advertising strategies: high conspicuous- 6 Schiestl, F.P. (2010) The evolution of floral scent and insect ness and high nutritional rewards. We therefore empha- communication. Ecol. Lett. 13, 643–656 sise that the costs and benefits of alternative phenotypes of 7 Schaefer, H.M. and Schaefer, V. (2007) The evolution of visual fruit signals: concepts and constraints. In Seed Dispersal: Theory and its floral appearance can arise in distinct contexts, including Application in a Changing World (Dennis, A.J. et al., eds), pp. 59–77, signalling. As such, EPB and communication theory should CABI be useful frameworks for understanding the evolution of 8 Schmidt, V. et al. (2004) Conspicuousness, not colour as foraging cue in deception. plant-animal signalling. Oikos 106, 551–557 9 Darst, C.R. et al. (2006) A mechanism for diversity in warning signals: conspicuousness versus toxicity in poison frogs. Proc. Natl. Acad. Sci. U. References S. A. 103, 5852–5857 1 Schaefer, H.M. and Ruxton, G.D. (2009) Deception in plants: mimicry or 10 Schaefer, H.M. -
Kant on the Highest Moral-Physical Good: the Social Aspect of Kant’S Moral Philosophy
Kant on the Highest Moral-Physical Good: The Social Aspect of Kant’s Moral Philosophy . Kant on the Highest Moral-Physical Good: The Social Aspect of Kant’s Moral Philosophy Paul Formosa Department of Philosophy, Macquarie University, Sydney In §88, entitled ‘On the highest moral-physical good’, in his Anthropology from a Pragmatic Point of View (hereafter Anthropology for short), Kant argues that ‘good living’ (physical good) and ‘true humanity’ (moral good) best harmonise in a ‘good meal in good company’.1 The conversation and company shared over a meal, Kant argues, best provides for the ‘union of social good living with virtue’ in a way that promotes ‘true humanity’.2 This occurs when the inclination to ‘good living’ is not merely kept within the bounds of ‘the law of virtue’ but where the two achieve a graceful harmony.3 As such, it is not to be confused with Kant’s well-known account of the ‘highest good’, happiness in proportion to virtue.4 But how is it that the humble dinner party and the associated practices of hospitality come to hold such an important, if often unrecognised,5 place as the highest moral-physical good in Kant’s thought? This question is in need of further investigation. Of the most recent studies in English that have taken seriously the importance of Kant’s Anthropology for understanding his wider moral philosophy,6 very few have considered §88 in any depth.7 This paper aims to help bridge this significant gap in the literature. More generally, by focusing on this section of Anthropology, as well as relevant passages from The Metaphysics of Morals, we can help to further correct the still common caricature of Kant’s ethics derived from a very narrow reading (or, rather, misreading) of the Groundwork of the Metaphysics of Morals. -
Ontology and Information Systems
Ontology and Information Systems 1 Barry Smith Philosophical Ontology Ontology as a branch of philosophy is the science of what is, of the kinds and structures of objects, properties, events, processes and relations in every area of reality. ‘Ontology’ is often used by philosophers as a synonym for ‘metaphysics’ (literally: ‘what comes after the Physics’), a term which was used by early students of Aristotle to refer to what Aristotle himself called ‘first philosophy’.2 The term ‘ontology’ (or ontologia) was itself coined in 1613, independently, by two philosophers, Rudolf Göckel (Goclenius), in his Lexicon philosophicum and Jacob Lorhard (Lorhardus), in his Theatrum philosophicum. The first occurrence in English recorded by the OED appears in Bailey’s dictionary of 1721, which defines ontology as ‘an Account of being in the Abstract’. Methods and Goals of Philosophical Ontology The methods of philosophical ontology are the methods of philosophy in general. They include the development of theories of wider or narrower scope and the testing and refinement of such theories by measuring them up, either against difficult 1 This paper is based upon work supported by the National Science Foundation under Grant No. BCS-9975557 (“Ontology and Geographic Categories”) and by the Alexander von Humboldt Foundation under the auspices of its Wolfgang Paul Program. Thanks go to Thomas Bittner, Olivier Bodenreider, Anita Burgun, Charles Dement, Andrew Frank, Angelika Franzke, Wolfgang Grassl, Pierre Grenon, Nicola Guarino, Patrick Hayes, Kathleen Hornsby, Ingvar Johansson, Fritz Lehmann, Chris Menzel, Kevin Mulligan, Chris Partridge, David W. Smith, William Rapaport, Daniel von Wachter, Chris Welty and Graham White for helpful comments.