A Probabilistic Extension to the Web Ontology Language
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
The Semantic Web and Its Languages Editor: Dieter Fensel Vrije Universiteit Amsterdam [email protected]
TRENDS & CONTROVERSIES The semantic Web and its languages Editor: Dieter Fensel Vrije Universiteit Amsterdam [email protected] The Web has drastically changed the availability of electronic informa- epistemologically rich modeling primitives, provided by the frame com- tion, but its success and exponential growth have made it increasingly munity; formal semantics and efficient reasoning support, provided by difficult to find, access, present, and maintain such information for a wide description logics; and a standard proposal for syntactical exchange nota- variety of users. In reaction to this bottleneck, many new research initia- tions, provided by the Web community. (See the essay by Frank van tives and commercial enterprises have been set up to enrich available Harmelen and Ian Horrocks.) information with machine-processable semantics. Such support is essen- Another candidate for such a Web-based ontology modeling lan- tial for bringing the Web to its full potential in areas such as knowledge guage is DAML-ONT. The DARPA Agent Markup Language is a management and electronic commerce. This semantic Web will provide major, well-funded initiative, aimed at joining the many ongoing intelligent access to heterogeneous and distributed information, enabling semantic Web efforts and focused on bringing ontologies to the Web. software products (agents) to mediate between user needs and available The DAML language inherits many aspects from OIL, and the capabili- information sources. Early steps in the direction of a semantic Web were ties of the two languages are relatively similar. Both initiatives cooper- SHOE1 and later Ontobroker,2 but now many more projects exist. ate in a Joint EU/US ad hoc Agent Markup Language Committee to Originally, the Web grew mainly around HTML, which provided a achieve a joined language proposal. -
Towards a Conceptual Framework for Persistent
Nova Southeastern University NSUWorks CEC Theses and Dissertations College of Engineering and Computing 2017 Towards a Conceptual Framework for Persistent Use: A Technical Plan to Achieve Semantic Interoperability within Electronic Health Record Systems Shellon Blackman-Lees Nova Southeastern University, [email protected] This document is a product of extensive research conducted at the Nova Southeastern University College of Engineering and Computing. For more information on research and degree programs at the NSU College of Engineering and Computing, please click here. Follow this and additional works at: https://nsuworks.nova.edu/gscis_etd Part of the Computer Sciences Commons Share Feedback About This Item NSUWorks Citation Shellon Blackman-Lees. 2017. Towards a Conceptual Framework for Persistent Use: A Technical Plan to Achieve Semantic Interoperability within Electronic Health Record Systems. Doctoral dissertation. Nova Southeastern University. Retrieved from NSUWorks, College of Engineering and Computing. (998) https://nsuworks.nova.edu/gscis_etd/998. This Dissertation is brought to you by the College of Engineering and Computing at NSUWorks. It has been accepted for inclusion in CEC Theses and Dissertations by an authorized administrator of NSUWorks. For more information, please contact [email protected]. Towards a Conceptual Framework for Persistent Use: A Technical Plan to Achieve Semantic Interoperability within Electronic Health Record Systems By Shellon M. Blackman-Lees A dissertation report submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Computer Information Systems College of Engineering and Computing Nova Southeastern University 2017 An Abstract of a Dissertation Submitted to Nova Southeastern University in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy Towards a Conceptual Framework for Persistent Use: A Technical Plan to Achieve Semantic Interoperability within Electronic Health Record Systems by Shellon M. -
The Role of Ontology in Information Management
UNLV Retrospective Theses & Dissertations 1-1-2003 The role of ontology in information management Renato de Freitas Marteleto University of Nevada, Las Vegas Follow this and additional works at: https://digitalscholarship.unlv.edu/rtds Repository Citation Marteleto, Renato de Freitas, "The role of ontology in information management" (2003). UNLV Retrospective Theses & Dissertations. 1494. http://dx.doi.org/10.25669/0fz6-zsye This Thesis is protected by copyright and/or related rights. It has been brought to you by Digital Scholarship@UNLV with permission from the rights-holder(s). You are free to use this Thesis in any way that is permitted by the copyright and related rights legislation that applies to your use. For other uses you need to obtain permission from the rights-holder(s) directly, unless additional rights are indicated by a Creative Commons license in the record and/ or on the work itself. This Thesis has been accepted for inclusion in UNLV Retrospective Theses & Dissertations by an authorized administrator of Digital Scholarship@UNLV. For more information, please contact [email protected]. THE ROLE OF ONTOLOGY IN INFORMATION MANAGEMENT by Renato de Ereitas Marteleto Bachelor of Science Universidade Federal de Ouro Preto - Brazil 1999 A thesis submitted in partial fulfillment of the requirements for the Master of Science in Computer Science Department of Computer Science Howard R. Hughes College of Engineering Graduate College University of Nevada, Las Vegas M ay 2003 Reproduced with permission of the copyright owner. Further reproduction prohibited without permission. UMI Number: 1414535 Marteleto, Renato de Freitas All rights reserved. UMI UMI Microform 1414535 Copyright 2003 by ProQuest Information and Learning Company. -
Practical Reasoning in Probabilistic Description Logic
PRACTICAL REASONING IN PROBABILISTIC DESCRIPTION LOGIC A thesis submitted to the University of Manchester for the degree of Doctor of Philosophy in the Faculty of Engineering and Physical Sciences 2011 By Pavel Klinov School of Computer Science 2 Contents Abstract 9 Declaration 10 Copyright 11 Acknowledgments 12 1 Introduction 13 1.1 Description Logic and Ontologies . 13 1.1.1 Description Logic: From Semantic Nets to OWL 2 . 14 1.1.2 Ontologies at Work . 15 1.2 Uncertainty . 16 1.2.1 Uncertainty: Ubiquitous and Versatile . 16 1.2.2 Uncertainty vs. Vagueness . 18 1.3 P-SROIQ and Pronto Reasoner . 18 1.4 Objectives . 20 1.5 Thesis Structure . 20 2 Background and Related Work 22 2.1 Description Logic . 22 2.1.1 Syntax and Semantics . 22 2.1.2 Reasoning Problems and Complexity . 25 2.1.3 The Web Ontology Language . 26 2.2 Representation and Reasoning About Uncertainty . 26 2.2.1 Knowledge Based Model Construction . 27 2.2.2 Probabilistic Logics . 34 2.3 P-SROIQ: A Probabilistic Description Logic . 48 2.3.1 Syntax and Semantics . 48 2.3.2 Reasoning Problems . 51 2.3.3 Original Algorithms . 53 3 2.3.4 Note on Probabilistic Coherence . 57 2.4 Related Work . 58 2.4.1 Propositional PSAT Solvers . 59 2.4.2 NMPROBLOG and ContraBovemRufum . 61 3 Applications and Case Studies 62 3.1 Breast Cancer Risk Assessment Problem . 62 3.1.1 Risk Types and Assessment . 63 3.1.2 Existing Tools and Models . 65 3.1.3 The BCRA Problem and P-SROIQ ............... -
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. -
Improved Knowledge Management Through First-Order Logic in Engineering Design Ontologies" (2010)
Center for e-Design Publications Center for e-Design 5-2010 Improved knowledge management through first- order logic in engineering design ontologies Paul Witherell National Institute of Standards and Technology, [email protected] Sundar Krishnamurty University of Massachusetts Amherst, [email protected] Ian R. Grosse University of Massachusetts Amherst, [email protected] Jack C. Wileden University of Massachusetts Amherst, [email protected] Follow this and additional works at: http://lib.dr.iastate.edu/edesign_pubs Part of the Industrial Engineering Commons, and the Programming Languages and Compilers Commons Recommended Citation Witherell, Paul; Krishnamurty, Sundar; Grosse, Ian R.; and Wileden, Jack C., "Improved knowledge management through first-order logic in engineering design ontologies" (2010). Center for e-Design Publications. 1. http://lib.dr.iastate.edu/edesign_pubs/1 This Article is brought to you for free and open access by the Center for e-Design at Iowa State University Digital Repository. It has been accepted for inclusion in Center for e-Design Publications by an authorized administrator of Iowa State University Digital Repository. For more information, please contact [email protected]. Improved knowledge management through first-order logic in engineering design ontologies Abstract This paper presents the use of first-order logic to improve upon currently employed engineering design knowledge management techniques. Specifically, this work uses description logic in unison with Horn logic, to not only guide the knowledge acquisition process but also to offer much needed support in decision making during the engineering design process in a distributed environment. The knowledge management methods introduced are highlighted by the ability to identify modeling knowledge inconsistencies through the recognition of model characteristic limitations, such as those imposed by model idealizations. -
Experiments and Results on the Use of Ontologies in the Artificial Intelligence Domain
EXPERIMENTS AND RESULTS ON THE USE OF ONTOLOGIES IN THE ARTIFICIAL INTELLIGENCE DOMAIN Vasile-Daniel Păvăloaia Alexandru Ioan Cuza University of Iaşi, Romania [email protected] Abstract: The field of agent-based systems as part of the Artificial Intelligence domain is, now-a- days, quite popular. There are specialized technologies required for building software agents and it should be communicative, capable, autonomous and adaptive. In fact, these are the key characteristics required to help make the Internet activity more successful. The limiting factors in building such systems are being overcome, and new approaches are emerging from information technology research laboratories around the world. The use of ontology has proven to be essential elements in many applications and thus, they have been successfully applied in agent systems technology, knowledge management systems, and e-commerce platforms. The current research aims to present besides some theoretical aspects and examples of using the web agents for two European cities. Keywords: Ontologies, Knowledge Acquisition Systems, Artificial Intelligence, Knowledge management, intelligent agents JEL Classification: M15, M29 INTRODUCTION The world we live in is characterized by globalization, rush times, hyper competition and strong alliances (Maha, Donici and Maha, 2010; Marston, 2007). Consequently, no business can survive without emphasizing on their competitive advantages. The artificial intelligence domain holds the key for some technologies’ that can help companies to overcome the fiercely competition (Buckingham, 2011) and the web agents development is one example. There are specialized technologies that allow the development of intelligent software agents and they should be able to feature characteristics of a human being. As a result, they should be communicative, capable, autonomous and adaptive according to the particularities of the environment they activate in. -
An Approach to Formalizing Ontology Driven Semantic Integration: Concepts, Dimensions and Framework Wenlong Gao
Florida State University Libraries Electronic Theses, Treatises and Dissertations The Graduate School 2012 An Approach to Formalizing Ontology Driven Semantic Integration: Concepts, Dimensions and Framework Wenlong Gao Follow this and additional works at the FSU Digital Library. For more information, please contact [email protected] THE FLORIDA STATE UNIVERSITY COLLEGE OF COMMUNICATION AND INFORMATION AN APPROACH TO FORMALIZING ONTOLOGY DRIVEN SEMANTIC INTEGRATION: CONCEPTS, DIMENSIONS AND FRAMEWORK By WENLONG GAO A Dissertation submitted to the School of Library and Information Studies In partial fulfillment of the requirements for the degree of Doctor of Philosophy Degree Awarded: Spring Semester, 2012 Wenlong Gao defended this dissertation on December 9, 2011 The members of the supervisory committee were: Corinne Jörgensen Professor Directing Dissertation Daniel Schwartz University Representative Ian Douglas Committee Member Besiki Stvilia Committee Member The Graduate School has verified and approved the above-named committee members and certifies that the dissertation has been approved in accordance with university requirements. ii For my parents, I could not have done this without you. iii ACKNOWLEDGEMENTS This dissertation could not have been completed without the tremendous support and help of my dissertation committee, friends and family. First, I would like to thank Dr. Corinne Jörgensen, my dissertation chair and mentor. You supported me through this entire process, and encouraged me whenever I encountered challenges. I will always appreciate the trust and confidence you placed in me. It has been an honor and privilege to be your doctoral student. Second, I am thankful for other committee members, Dr. Ian Douglas, Dr. Besiki Stvilia, Dr. Daniel Schwartz, who inspired me not only throughout the dissertation development but also though my personal academic development. -
Semantic Web and Peer-To-Peer Steffenstaab·Heinerstuckenschmidt(Eds.) Semantic Web and Peer-To-Peer
Semantic Web and Peer-to-Peer SteffenStaab·HeinerStuckenschmidt(Eds.) Semantic Web and Peer-to-Peer Decentralized Management and Exchange of Knowledge and Information With 89 Figures and 15 Tables 123 Editors Steffen Staab University of Koblenz Institute for Computer Science Universitaetsstr. 1 56016 Koblenz, Germany [email protected] Heiner Stuckenschmidt University of Mannheim Institute for Practical Computer Science A5, 6 68159 Mannheim, Germany [email protected] Library of Congress Control Number: 2005936055 ACM Computing Classification (1998): C.2.4, H.3, I.2.4 ISBN-10 3-540-28346-3 Springer Berlin Heidelberg New York ISBN-13 978-3-540-28346-1 Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable for prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springeronline.com © Springer-Verlag Berlin Heidelberg 2006 Printed in Germany The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant pro- tective laws and regulations and therefore free for general use. -
Knowledge Graph Reasoning Over Unseen RDF Data
Wright State University CORE Scholar Browse all Theses and Dissertations Theses and Dissertations 2019 Knowledge Graph Reasoning over Unseen RDF Data Bhargavacharan Reddy Kaithi Wright State University Follow this and additional works at: https://corescholar.libraries.wright.edu/etd_all Part of the Computer Engineering Commons, and the Computer Sciences Commons Repository Citation Kaithi, Bhargavacharan Reddy, "Knowledge Graph Reasoning over Unseen RDF Data" (2019). Browse all Theses and Dissertations. 2251. https://corescholar.libraries.wright.edu/etd_all/2251 This Thesis is brought to you for free and open access by the Theses and Dissertations at CORE Scholar. It has been accepted for inclusion in Browse all Theses and Dissertations by an authorized administrator of CORE Scholar. For more information, please contact [email protected]. Knowledge Graph Reasoning over Unseen RDF Data A Thesis submitted in partial fulfillment of the requirements for the degree of Master of Science by BHARGAVACHARAN REDDY KAITHI B.Tech., CVR College of Engineering and Technology, Jawaharlal Nehru Technological University, India, 2017 2019 Wright State University Wright State University GRADUATE SCHOOL August 29th, 2019 I HEREBY RECOMMEND THAT THE THESIS PREPARED UNDER MY SUPER- VISION BY Bhargavacharan Reddy Kaithi ENTITLED Knowledge Graph Reasoning over Unseen RDF Data BE ACCEPTED IN PARTIAL FULFILLMENT OF THE RE- QUIREMENTS FOR THE DEGREE OF Master of Science. Pascal Hitzler, Ph.D. Thesis Director Mateen M. Rizki, Ph.D. Chair, Department of Computer Science and Engineering Committee on Final Examination Pascal Hitzler, Ph.D. Mateen M. Rizki, Ph.D. Yong Pei, Ph.D. Barry Milligan, Ph.D. Interim Dean of the Graduate School ABSTRACT Kaithi, Bhargavacharan Reddy. -
Model Morphisms (Momo) to Enable Language Independent Information Models and Interoperable Business Networks
Departamento de Engenharia Electrotécnica e de Computadores Model Morphisms (MoMo) to Enable Language Independent Information Models and Interoperable Business Networks By Filipe André Sobral Correia MSc. Dissertation presented at Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa to obtain the Master degree in Electrical and Computer Engineering, held under the guidance of Doctor Ricardo Luís Rosa Jardim-Gonçalves Lisboa September 2010 ii ACKNOWLEDGEMENTS I would like to thank all those who in some way contributed and supported me during the realisation of my course and this dissertation. To my parents, brother and sister in-law who supported me from the beginning and throughout all these long years and never gave up on believing in me. To Lua, my moonlight which guided me in these long seven years with many dark nights. Thank you for always being there and making me believing in myself. To my advisor Doctor Ricardo Gonçalves for believing in my capabilities and giving me the honour of his advices, the time devoted to assist me and the assertive guidance towards the completion of this dissertation. To all my colleagues at GRIS, especially to Carlos Agostinho, João Sarraipa and Fernando Ferreira, who took me as family and supported me from very closely. Finally, a very special thanks to all my friends who shared my worries throughout these long past years especially to Luís Martins, Tiago Gaspar and Fábio Coelho. I will never forget those RedBull-powered nights at the University! iii iv ABSTRACT With the event of globalisation, the opportunities for collaboration became more evident with the effect of enlarging business networks. -
Ontology Engineering in UML: Best Practices & Lessons Learned of A
+ Ontology Engineering in UML: Best Practices & Lessons Learned of a Working Ontologist Elisa Kendall Thematix Partners LLC OMG Technical Meeting, 19 March, 2013 + Content management Mars was photographed by the Hubble Space Telescope in August 2003 as 2 2 the planet passed closer to Earth than it had in nearly 60,000 years. Image Credit: NASA, J. Bell (Cornell U.) and M. Wolff (SSI) A sunset on Mars creates a glow due to the presence of tiny dust particles in the atmosphere. This photo is a combination of four images taken by Mars Pathfinder, which landed on Mars in 1997. Image credit: NASA/JPL Recent images from instruments on board the Mars Reconnaissance Orbiter take much more detailed, narrower views of specific features of the Martian surface. Image credit: NASA/JPL The Planetary Data Store (PDS) is a distributed repository of 40+ years’ imagery & data taken by a range of instruments on many diverse missions, available for scientific research. Copyright © 2013 Thematix Partners LLC + Smart search 3 3 Provenance/sources for tracking family members in the 19th century include early census data (often error prone), military records, passenger & immigration lists, online documents (e.g., county histories, church histories, etc.) • Historical/forensic research requires cross-domain search of a wide variety of resources within a given geo-spatial/temporal context • Similar capabilities are essential for business intelligence, law enforcement, government applications – all require terminology reconciliation Copyright © 2013 Thematix Partners