"Ontology Development 101: a Guide to Creating Your First
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Artificial Intelligence in Health Care: the Hope, the Hype, the Promise, the Peril
Artificial Intelligence in Health Care: The Hope, the Hype, the Promise, the Peril Michael Matheny, Sonoo Thadaney Israni, Mahnoor Ahmed, and Danielle Whicher, Editors WASHINGTON, DC NAM.EDU PREPUBLICATION COPY - Uncorrected Proofs NATIONAL ACADEMY OF MEDICINE • 500 Fifth Street, NW • WASHINGTON, DC 20001 NOTICE: This publication has undergone peer review according to procedures established by the National Academy of Medicine (NAM). Publication by the NAM worthy of public attention, but does not constitute endorsement of conclusions and recommendationssignifies that it is the by productthe NAM. of The a carefully views presented considered in processthis publication and is a contributionare those of individual contributors and do not represent formal consensus positions of the authors’ organizations; the NAM; or the National Academies of Sciences, Engineering, and Medicine. Library of Congress Cataloging-in-Publication Data to Come Copyright 2019 by the National Academy of Sciences. All rights reserved. Printed in the United States of America. Suggested citation: Matheny, M., S. Thadaney Israni, M. Ahmed, and D. Whicher, Editors. 2019. Artificial Intelligence in Health Care: The Hope, the Hype, the Promise, the Peril. NAM Special Publication. Washington, DC: National Academy of Medicine. PREPUBLICATION COPY - Uncorrected Proofs “Knowing is not enough; we must apply. Willing is not enough; we must do.” --GOETHE PREPUBLICATION COPY - Uncorrected Proofs ABOUT THE NATIONAL ACADEMY OF MEDICINE The National Academy of Medicine is one of three Academies constituting the Nation- al Academies of Sciences, Engineering, and Medicine (the National Academies). The Na- tional Academies provide independent, objective analysis and advice to the nation and conduct other activities to solve complex problems and inform public policy decisions. -
Annual Report 2018–2019 Our Vision
ANNUAL REPORT 2018–2019 OUR VISION We shape tomorrow. We confront problems and create solutions. We expand information’s impact and technology’s potential. Together, our faculty, staff, students, and alumni make the world a better place—day by day, project by project, leap by leap. LEADERSHIP Raj Acharya Since its establishment in 2000, the Luddy School of Informatics, Computing, and Dean Engineering has built a reputation as one of the broadest of its kind. Our more than 3,000 students come from Indiana and around the world, and our unique blend Mathew Palakal of programs in informatics, computer science, intelligent systems engineering, Senior Executive Associate information and library science, data science, and more create an interdisciplinary, Dean collaborative environment where ideas thrive. Erik Stolterman Bergqvist Our forward-looking school is a mélange, a salad bowl of disparate but related Senior Executive Associate disciplines. That salad bowl provides us with a holistic taste of creativity and Dean innovation while preserving and enhancing the taste of the individual components. Esfandiar Haghverdi As we have grown exponentially through our first two decades, we have maintained Executive Associate Dean for our core values with an open-minded view of tomorrow, one that has allowed us to Undergraduate Education stay on the cutting edge of technology while anticipating what the future holds. David Leake We accomplished much during the 2018-19 school year. Our information and library Executive Associate Dean science program was ranked second in the world behind only Harvard by the 2018 Academic Ranking of World Universities. Researchers at our school garnered Kay Connelly $16.1 million in grants from the National Science Foundation, the National Institute Associate Dean for Research of Health, the National Cancer Institute, the Department of Defense, and other prestigious organizations, and our school ranks 12th in computer and information Karl F. -
Between Dualism and Immanentism Sacramental Ontology and History
religions Article Between Dualism and Immanentism Sacramental Ontology and History Enrico Beltramini Department of Philosophy and Religious Studies, Notre Dame de Namur University, Belmont, CA 94002, USA; [email protected] Abstract: How to deal with religious ideas in religious history (and in history in general) has recently become a matter of discussion. In particular, a number of authors have framed their work around the concept of ‘sacramental ontology,’ that is, a unified vision of reality in which the secular and the religious come together, although maintaining their distinction. The authors’ choices have been criticized by their fellow colleagues as a form of apologetics and a return to integralism. The aim of this article is to provide a proper context in which to locate the phenomenon of sacramental ontology. I suggest considering (1) the generation of the concept of sacramental ontology as part of the internal dialectic of the Christian intellectual world, not as a reaction to the secular; and (2) the adoption of the concept as a protection against ontological nihilism, not as an attack on scientific knowledge. Keywords: sacramental ontology; history; dualism; immanentism; nihilism Citation: Beltramini, Enrico. 2021. Between Dualism and Immanentism Sacramental Ontology and History. Religions 12: 47. https://doi.org/ 1. Introduction 10.3390rel12010047 A specter is haunting the historical enterprise, the specter of ‘sacramental ontology.’ Received: 3 December 2020 The specter of sacramental ontology is carried by a generation of Roman Catholic and Accepted: 23 December 2020 Evangelical historians as well as historical theologians who aim to restore the sacred dimen- 1 Published: 11 January 2021 sion of nature. -
An Axiomatic Approach to Physical Systems
' An Axiomatic Approach $ to Physical Systems & % Januari 2004 ❦ ' Summary $ Mereology is generally considered as a formal theory of the part-whole relation- ship concerning material bodies, such as planets, pickles and protons. We argue that mereology can be considered more generally as axiomatising the concept of a physical system, such as a planet in a gravitation-potential, a pickle in heart- burn and a proton in an electro-magnetic field. We design a theory of sets and physical systems by extending standard set-theory (ZFC) with mereological axioms. The resulting theory deductively extends both `Mereology' of Tarski & L`esniewski as well as the well-known `calculus of individuals' of Leonard & Goodman. We prove a number of theorems and demonstrate that our theory extends ZFC con- servatively and hence equiconsistently. We also erect a model of our theory in ZFC. The lesson to be learned from this paper reads that not only is a marriage between standard set-theory and mereology logically respectable, leading to a rigorous vin- dication of how physicists talk about physical systems, but in addition that sets and physical systems interact at the formal level both quite smoothly and non- trivially. & % Contents 0 Pre-Mereological Investigations 1 0.0 Overview . 1 0.1 Motivation . 1 0.2 Heuristics . 2 0.3 Requirements . 5 0.4 Extant Mereological Theories . 6 1 Mereological Investigations 8 1.0 The Language of Physical Systems . 8 1.1 The Domain of Mereological Discourse . 9 1.2 Mereological Axioms . 13 1.2.0 Plenitude vs. Parsimony . 13 1.2.1 Subsystem Axioms . 15 1.2.2 Composite Physical Systems . -
How to Keep a Knowledge Base Synchronized with Its Encyclopedia Source
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI-17) How to Keep a Knowledge Base Synchronized with Its Encyclopedia Source Jiaqing Liang12, Sheng Zhang1, Yanghua Xiao134∗ 1School of Computer Science, Shanghai Key Laboratory of Data Science Fudan University, Shanghai, China 2Shuyan Technology, Shanghai, China 3Shanghai Internet Big Data Engineering Technology Research Center, China 4Xiaoi Research, Shanghai, China [email protected], fshengzhang16,[email protected] Abstract However, most of these knowledge bases tend to be out- dated, which limits their utility. For example, in many knowl- Knowledge bases are playing an increasingly im- edge bases, Donald Trump is only a business man even af- portant role in many real-world applications. How- ter the inauguration. Obviously, it is important to let ma- ever, most of these knowledge bases tend to be chines know that Donald Trump is the president of the United outdated, which limits the utility of these knowl- States so that they can understand that the topic of an arti- edge bases. In this paper, we investigate how to cle mentioning Donald Trump is probably related to politics. keep the freshness of the knowledge base by syn- Moreover, new entities are continuously emerging and most chronizing it with its data source (usually ency- of them are popular, such as iphone 8. However, it is hard for clopedia websites). A direct solution is revisiting a knowledge base to cover these entities in time even if the the whole encyclopedia periodically and rerun the encyclopedia websites have already covered them. entire pipeline of the construction of knowledge freshness base like most existing methods. -
On the Boundary Between Mereology and Topology
On the Boundary Between Mereology and Topology Achille C. Varzi Istituto per la Ricerca Scientifica e Tecnologica, I-38100 Trento, Italy [email protected] (Final version published in Roberto Casati, Barry Smith, and Graham White (eds.), Philosophy and the Cognitive Sciences. Proceedings of the 16th International Wittgenstein Symposium, Vienna, Hölder-Pichler-Tempsky, 1994, pp. 423–442.) 1. Introduction Much recent work aimed at providing a formal ontology for the common-sense world has emphasized the need for a mereological account to be supplemented with topological concepts and principles. There are at least two reasons under- lying this view. The first is truly metaphysical and relates to the task of charac- terizing individual integrity or organic unity: since the notion of connectedness runs afoul of plain mereology, a theory of parts and wholes really needs to in- corporate a topological machinery of some sort. The second reason has been stressed mainly in connection with applications to certain areas of artificial in- telligence, most notably naive physics and qualitative reasoning about space and time: here mereology proves useful to account for certain basic relation- ships among things or events; but one needs topology to account for the fact that, say, two events can be continuous with each other, or that something can be inside, outside, abutting, or surrounding something else. These motivations (at times combined with others, e.g., semantic transpar- ency or computational efficiency) have led to the development of theories in which both mereological and topological notions play a pivotal role. How ex- actly these notions are related, however, and how the underlying principles should interact with one another, is still a rather unexplored issue. -
Learning Ontologies from RDF Annotations
/HDUQLQJÃRQWRORJLHVÃIURPÃ5')ÃDQQRWDWLRQV $OH[DQGUHÃ'HOWHLOÃ&DWKHULQHÃ)DURQ=XFNHUÃ5RVHÃ'LHQJ ACACIA project, INRIA, 2004, route des Lucioles, B.P. 93, 06902 Sophia Antipolis, France {Alexandre.Delteil, Catherine.Faron, Rose.Dieng}@sophia.inria.fr $EVWUDFW objects, as in [Mineau, 1990; Carpineto and Romano, 1993; Bournaud HWÃDO., 2000]. In this paper, we present a method for learning Since all RDF annotations are gathered inside a common ontologies from RDF annotations of Web RDF graph, the problem which arises is the extraction of a resources by systematically generating the most description for a given resource from the whole RDF graph. specific generalization of all the possible sets of After a brief description of the RDF data model (Section 2) resources. The preliminary step of our method and of RDF Schema (Section 3), Section 4 presents several consists in extracting (partial) resource criteria for extracting partial resource descriptions. In order descriptions from the whole RDF graph gathering to deal with the intrinsic complexity of the building of a all the annotations. In order to deal with generalization hierarchy, we propose an incremental algorithmic complexity, we incrementally build approach by gradually increasing the size of the descriptions the ontology by gradually increasing the size of the resource descriptions we consider. we consider. The principle of the approach is explained in Section 5 and more deeply detailed in Section 6. Ã ,QWURGXFWLRQ Ã 7KHÃ5')ÃGDWDÃPRGHO The Semantic Web, expected to be the next step that will RDF is the emerging Web standard for annotating resources lead the Web to its full potential, will be based on semantic HWÃDO metadata describing all kinds of Web resources. -
A Translation Approach to Portable Ontology Specifications
Knowledge Systems Laboratory September 1992 Technical Report KSL 92-71 Revised April 1993 A Translation Approach to Portable Ontology Specifications by Thomas R. Gruber Appeared in Knowledge Acquisition, 5(2):199-220, 1993. KNOWLEDGE SYSTEMS LABORATORY Computer Science Department Stanford University Stanford, California 94305 A Translation Approach to Portable Ontology Specifications Thomas R. Gruber Knowledge System Laboratory Stanford University 701 Welch Road, Building C Palo Alto, CA 94304 [email protected] Abstract To support the sharing and reuse of formally represented knowledge among AI systems, it is useful to define the common vocabulary in which shared knowledge is represented. A specification of a representational vocabulary for a shared domain of discourse — definitions of classes, relations, functions, and other objects — is called an ontology. This paper describes a mechanism for defining ontologies that are portable over representation systems. Definitions written in a standard format for predicate calculus are translated by a system called Ontolingua into specialized representations, including frame-based systems as well as relational languages. This allows researchers to share and reuse ontologies, while retaining the computational benefits of specialized implementations. We discuss how the translation approach to portability addresses several technical problems. One problem is how to accommodate the stylistic and organizational differences among representations while preserving declarative content. Another is how -
Why Determinism in Physics Has No Implications for Free Will
Why determinism in physics has no implications for free will Michael Esfeld University of Lausanne, Department of Philosophy [email protected] (draft 8 October 2017) (paper for the conference “Causality, free will, divine action”, Vienna, 12 to 15 Sept. 2017) Abstract This paper argues for the following three theses: (1) There is a clear reason to prefer physical theories with deterministic dynamical equations: such theories are both maximally simple and maximally rich in information, since given an initial configuration of matter and the dynamical equations, the whole (past and future) evolution of the configuration of matter is fixed. (2) There is a clear way how to introduce probabilities in a deterministic physical theory, namely as answer to the question of what evolution of a specific system we can reasonably expect under ignorance of its exact initial conditions. This procedure works in the same manner for both classical and quantum physics. (3) There is no cogent reason to subscribe to an ontological commitment to the parameters that enter the (deterministic) dynamical equations of physics. These parameters are defined in terms of their function for the evolution of the configuration of matter, which is defined in terms of relative particle positions and their change. Granting an ontological status to them does not lead to a gain in explanation, but only to artificial problems. Against this background, I argue that there is no conflict between determinism in physics and free will (on whatever conception of free will), and, in general, point out the limits of science when it comes to the central metaphysical issues. -
14 School Subject Informatics (Computer Science) in Russia: Educational Relevant Areas
i i i i School Subject Informatics (Computer Science) in Russia: Educational Relevant Areas EVGENIY KHENNER and IGOR SEMAKIN, Perm State National Research University, Russia This article deals with some aspects of studying Informatics in Russian schools. Those aspects are part of the ‘third dimension’ of the Darmstadt model (they are also projected on the other two dimensions of this model) and include evolution of the subject, regulatory norms conforming to the Federal Educational Standards, the learning objectives, the required learning outcomes, and the Unified National Examination in Informatics, which is required for admission to a number of university programs. It is interesting to note that correspondence between requirements for the outcomes of learning Informatics in Russian school and the requirements of K-12 Computer Science Standards (USA) is quite satisfactory. It is noteworthy that the relatively high level of school education in Informatics in Russia is determined by the well-established methodological system with a 30-year history, the subject’s being on the list of core disciplines at school, as well as the existence of a state-sponsored system of education teachers of Informatics. Categories and Subject Descriptors: K.3.2 [Computers and Education]: Computer and Information Science Education—Computer science education General Terms: Algorithms, Languages, Security Additional Key Words and Phrases: History of Informatics in school, education policies, educational standards, qualification and professional experience of teachers, learning objectives and outcomes, structural components of Informatics, curriculum issues, Unified National Exam, extracurricular activities, textbooks, didactic software ACM Reference Format: Khenner, E. and Semakin, I. 2014. School subject informatics (computer science) in Russia: Educational relevant areas. -
An Introduction to Relational Ontology Wesley J
An Introduction to Relational Ontology Wesley J. Wildman, Boston University, May 15, 2006 There is a lot of talk these days about relational ontology. It appears in theology, philosophy, psychology, political theory, educational theory, and even information science. The basic contention of a relational ontology is simply that the relations between entities are ontologically more fundamental than the entities themselves. This contrasts with substantivist ontology in which entities are ontologically primary and relations ontologically derivative. Unfortunately, there is persistent confusion in almost all literature about relational ontology because the key idea of relation remains unclear. Once we know what relations are, and indeed what entities are, we can responsibly decide what we must mean, or what we can meaningfully intend to mean, by the phrase “relational ontology.” Why Do Philosophers Puzzle over Relations? Relations are an everyday part of life that most people take for granted. We are related to other people and to the world around us, to our political leaders and our economic systems, to our children and to ourselves. There are logical, emotional, physical, mechanical, technological, cultural, moral, sexual, aesthetic, logical, and imaginary relations, to name a few. There is no particular problem with any of this for most people. Philosophers have been perpetually puzzled about relations, however, and they have tried to understand them theoretically and systematically. Convincing philosophical theories of relations have proved extraordinarily difficult to construct for several reasons. First, the sheer variety of relations seems to make the category of “relation” intractable. Philosophers have often tried to use simple cases as guides to more complex situations but how precisely can this method work in the case of relations? Which relations are simple or basic, and which complex or derivative? If we suppose that the simplest relations are those analyzable in physics, we come across a second problem. -
Integrating Ontological Knowledge for Iterative Causal Discovery and Vizualisation Montassar Ben Messaoud, Philippe Leray, Nahla Ben Amor
Integrating ontological knowledge for iterative causal discovery and vizualisation Montassar Ben Messaoud, Philippe Leray, Nahla Ben Amor To cite this version: Montassar Ben Messaoud, Philippe Leray, Nahla Ben Amor. Integrating ontological knowledge for iterative causal discovery and vizualisation. ECSQARU 2009, 2009, Verona, Italy. pp.168-179, 10.1007/978-3-642-02906-6_16. hal-00412286 HAL Id: hal-00412286 https://hal.archives-ouvertes.fr/hal-00412286 Submitted on 17 Apr 2020 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. Integrating Ontological Knowledge for Iterative Causal Discovery and Visualization Montassar Ben Messaoud1, Philippe Leray2, and Nahla Ben Amor1 1 LARODEC, Institut Sup´erieur de Gestion Tunis 41, Avenue de la libert´e, 2000 Le Bardo, Tunisie. [email protected], [email protected] 2 Knowledge and Decision Team Laboratoire d’Informatique de Nantes Atlantique (LINA) UMR 6241 Ecole Polytechnique de l’Universit´ede Nantes, France. [email protected] Abstract. Bayesian networks (BN) have been used for prediction or classification tasks in various domains. In the first applications, the BN structure was causally defined by expert knowledge. Then, algorithms were proposed in order to learn the BN structure from observational data.