Toward an Open Knowledge Research Graph.Pdf
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
D3.3 Initial Technical & Logical Architecture and Future Work
D3.3 Initial Technical & Logical Architecture and future work recommendations ECP 2008 DILI 558001 Europeana v1.0 D3.3 Initial Technical & Logical Architecture and future work recommendations Deliverable number D3.3 Dissemination level Public Delivery date 30 July 2010 Status Final Makx Dekkers, Stefan Gradmann, Jan Author(s) Molendijk eContentplus This project is funded under the eContentplus programme1, a multiannual Community programme to make digital content in Europe more accessible, usable and exploitable. 1 OJ L 79, 24.3.2005, p. 1. 1/14 D3.3 Initial Technical & Logical Architecture and future work recommendations 1. Introduction This deliverable has two tasks: To characterise the technical and logical architecture of Europeana as a system in its 1.0 state (that is to say by the time of the ‘Rhine’ release To outline the future work recommendations that can reasonably be made at that moment. This also provides a straightforward and logical structure to the document: characterisation comes first followed by the recommendations for future work. 2. Technical and Logical Architecture From a high-level architectural point of view, Europeana.eu is best characterized as a search engine and a database. It loads metadata delivered by providers and aggregators into a database, and uses that database to allow users to search for cultural heritage objects, and to find links to those objects. Various methods of searching and browsing the objects are offered, including a simple and an advanced search form, a timeline, and an openSearch API. It is also important to describe what Europeana.eu does not do, even though people sometimes expect it to. -
A Knowledge Discovery Approach
Semantic XML Tagging of Domain-Specific Text Archives: A Knowledge Discovery Approach Dissertation zur Erlangung des akademisches Grades Doktoringenieur (Dr.-Ing.) angenommen durch die Fakult¨at fur¨ Informatik der Otto-von-Guericke-Universit¨at Magdeburg von Diplom-Kaufmann Peter Karsten Winkler, geboren am 1. Oktober 1971 in Berlin Gutachterinnen und Gutachter: Prof. Dr. Myra Spiliopoulou Prof. Dr. Gunter Saake Prof. Dr. Stefan Conrad Ort und Datum des Promotionskolloquiums: Magdeburg, 22. Januar 2009 Karsten Winkler. Semantic XML Tagging of Domain-Specific Text Archives: A Knowl- edge Discovery Approach. Dissertation, Faculty of Computer Science, Otto von Guericke University Magdeburg, Magdeburg, Germany, January 2009. Contents List of Figures v List of Tables vii List of Algorithms xi Abstract xiii Zusammenfassung xv Acknowledgments xvii 1 Introduction 1 1.1 TheAbundanceofText ............................ 1 1.2 Defining Semantic XML Markup . 3 1.3 BenefitsofSemanticXMLMarkup . 9 1.4 ResearchQuestions ............................... 12 1.5 ResearchMethodology ............................. 14 1.6 Outline...................................... 16 2 Literature Review 19 2.1 Storage, Retrieval, and Analysis of Textual Data . ....... 19 2.1.1 Knowledge Discovery in Textual Databases . 19 2.1.2 Information Storage and Retrieval . 23 2.1.3 InformationExtraction. 25 2.2 Discovering Concepts in Textual Data . 26 2.2.1 Topic Discovery in Text Documents . 27 2.2.2 Extracting Relational Tuples from Text . 31 2.2.3 Learning Taxonomies, Thesauri, and Ontologies . 35 2.3 Semantic Annotation of Text Documents . 39 2.3.1 Manual Semantic Text Annotation . 40 2.3.2 Semi-Automated Semantic Text Annotation . 43 2.3.3 Automated Semantic Text Annotation . 47 2.4 Schema Discovery in Marked-Up Text Documents . -
Bibliography [Abiteboul and Kanellakis, 1989] Serge Abiteboul and Paris Kanellakis
507 Bibliography [Abiteboul and Kanellakis, 1989] Serge Abiteboul and Paris Kanellakis. Object identity as a query language primitive. In Proc. of the ACM SIGMOD Int. Conf. on Management of Data, pages 159–173, 1989. [Abiteboul et al., 1995] Serge Abiteboul, Richard Hull, and Victor Vianu. Foundations of Databases. Addison Wesley Publ. Co., Reading, Massachussetts, 1995. [Abiteboul et al., 1997] Serge Abiteboul, Dallan Quass, Jason McHugh, Jennifer Widom, and Janet L. Wiener. The Lorel query language for semistructured data. Int. J. on Digital Libraries, 1(1):68–88, 1997. [Abiteboul et al., 2000] Serge Abiteboul, Peter Buneman, and Dan Suciu. Data on the Web: from Relations to Semistructured Data and XML. Morgan Kaufmann, Los Altos, 2000. [Abiteboul, 1997] Serge Abiteboul. Querying semi-structured data. In Proc. of the 6th Int. Conf. on Database Theory (ICDT’97), pages 1–18, 1997. [Abrahams et al., 1996] Merryll K. Abrahams, Deborah L. McGuinness, Rich Thomason, Lori Alperin Resnick, Peter F. Patel-Schneider, Violetta Cavalli-Sforza, and Cristina Conati. NeoClassic tutorial: Version 1.0. Technical report, Artificial Intelligence Prin- ciples Research Department, AT&T Labs Research and University of Pittsburgh, 1996. Available as http://www.bell-labs.com/project/classic/papers/NeoTut/NeoTut. html. [Abrett and Burstein, 1987] Glen Abrett and Mark H. Burstein. The KREME knowledge editing environment. Int. J. of Man-Machine Studies, 27(2):103–126, 1987. [Abrial, 1974] J. R. Abrial. Data semantics. In J. W. Klimbie and K. L. Koffeman, editors, Data Base Management, pages 1–59. North-Holland Publ. Co., Amsterdam, 1974. [Achilles et al., 1991] E. Achilles, B. -
ANDREAS PIERIS School of Informatics, University of Edinburgh 10 Crichton Street, Edinburgh, EH8 9AB, UK [email protected]
ANDREAS PIERIS School of Informatics, University of Edinburgh 10 Crichton Street, Edinburgh, EH8 9AB, UK [email protected] UNIVERSITY EDUCATION • D.Phil. in Computer Science, 2011 Department of Computer Science, University of Oxford Thesis: Ontological Query Answering: New Languages, Algorithms and Complexity Supervisor: Professor Georg Gottlob • M.Sc. in Mathematics anD FounDations oF Computer Science (with Distinction), 2007 Mathematical Institute, University of Oxford Thesis: Data Exchange and Schema Mappings Supervisor: Professor Georg Gottlob • B.Sc. in Computer Science (with Distinction, GPA: 9.06/10), 2006 Department of Computer Science, University of Cyprus Thesis: The Fully Mixed Nash Equilibrium Conjecture Supervisor: Professor Marios Mavronicolas EMPLOYMENT HISTORY • Lecturer (equivalent to Assistant ProFessor) in Databases, 09/2016 – present School of Informatics, University of Edinburgh • PostDoctoral Researcher, 11/2014 – 09/2016 Institute of Logic and Computation, Vienna University of Technology • PostDoctoral Researcher, 09/2011 – 10/2014 Department of Computer Science, University of Oxford RESEARCH Major research interests • Data management: knowledge-enriched data, uncertain data • Knowledge representation and reasoning: ontology languages, complexity of reasoning • Computational logic and its applications to computer science Research grants • EfFicient Querying oF Inconsistent Data, 09/2018 – 08/2022 Principal Investigator Funding agency: Engineering and Physical Sciences Research Council (EPSRC) Total award: £758,049 • Value AdDeD Data Systems: Principles anD Architecture, 04/2015 – 03/2020 Co-Investigator Funding agency: Engineering and Physical Sciences Research Council (EPSRC) Total award: £1,546,471 Research supervision experience • Marco Calautti, postdoctoral supervision, University of Edinburgh, 09/2016 – present • Markus Schneider, Ph.D. supervisor, University of Edinburgh, 09/2018 – present • Gerald Berger, Ph.D. -
Ontology-Based Methods for Analyzing Life Science Data
Habilitation a` Diriger des Recherches pr´esent´ee par Olivier Dameron Ontology-based methods for analyzing life science data Soutenue publiquement le 11 janvier 2016 devant le jury compos´ede Anita Burgun Professeur, Universit´eRen´eDescartes Paris Examinatrice Marie-Dominique Devignes Charg´eede recherches CNRS, LORIA Nancy Examinatrice Michel Dumontier Associate professor, Stanford University USA Rapporteur Christine Froidevaux Professeur, Universit´eParis Sud Rapporteure Fabien Gandon Directeur de recherches, Inria Sophia-Antipolis Rapporteur Anne Siegel Directrice de recherches CNRS, IRISA Rennes Examinatrice Alexandre Termier Professeur, Universit´ede Rennes 1 Examinateur 2 Contents 1 Introduction 9 1.1 Context ......................................... 10 1.2 Challenges . 11 1.3 Summary of the contributions . 14 1.4 Organization of the manuscript . 18 2 Reasoning based on hierarchies 21 2.1 Principle......................................... 21 2.1.1 RDF for describing data . 21 2.1.2 RDFS for describing types . 24 2.1.3 RDFS entailments . 26 2.1.4 Typical uses of RDFS entailments in life science . 26 2.1.5 Synthesis . 30 2.2 Case study: integrating diseases and pathways . 31 2.2.1 Context . 31 2.2.2 Objective . 32 2.2.3 Linking pathways and diseases using GO, KO and SNOMED-CT . 32 2.2.4 Querying associated diseases and pathways . 33 2.3 Methodology: Web services composition . 39 2.3.1 Context . 39 2.3.2 Objective . 40 2.3.3 Semantic compatibility of services parameters . 40 2.3.4 Algorithm for pairing services parameters . 40 2.4 Application: ontology-based query expansion with GO2PUB . 43 2.4.1 Context . 43 2.4.2 Objective . -
Description Logics
Description Logics Franz Baader1, Ian Horrocks2, and Ulrike Sattler2 1 Institut f¨urTheoretische Informatik, TU Dresden, Germany [email protected] 2 Department of Computer Science, University of Manchester, UK {horrocks,sattler}@cs.man.ac.uk Summary. In this chapter, we explain what description logics are and why they make good ontology languages. In particular, we introduce the description logic SHIQ, which has formed the basis of several well-known ontology languages, in- cluding OWL. We argue that, without the last decade of basic research in description logics, this family of knowledge representation languages could not have played such an important rˆolein this context. Description logic reasoning can be used both during the design phase, in order to improve the quality of ontologies, and in the deployment phase, in order to exploit the rich structure of ontologies and ontology based information. We discuss the extensions to SHIQ that are required for languages such as OWL and, finally, we sketch how novel reasoning services can support building DL knowledge bases. 1 Introduction The aim of this section is to give a brief introduction to description logics, and to argue why they are well-suited as ontology languages. In the remainder of the chapter we will put some flesh on this skeleton by providing more technical details with respect to the theory of description logics, and their relationship to state of the art ontology languages. More detail on these and other matters related to description logics can be found in [6]. Ontologies There have been many attempts to define what constitutes an ontology, per- haps the best known (at least amongst computer scientists) being due to Gruber: “an ontology is an explicit specification of a conceptualisation” [47].3 In this context, a conceptualisation means an abstract model of some aspect of the world, taking the form of a definition of the properties of important 3 This was later elaborated to “a formal specification of a shared conceptualisation” [21]. -
Will the Semantic Web Scale?
Panel Discussion P3: Will the Semantic Web scale? New York Sheraton May 19th, 2004 Proposers: Panelists: Organizers: - Raphael Volz - Dr. Cathy Marshall - Raphael Volz - Carole Goble - Prof. Dr. Alon Y. Halevy - Daniel Oberle - Rudi Studer - Prof. Dr. Jürgen Angele - Prof. Dr. Ian Horrocks Panelist 1 Dr. Cathy Marshall Microsoft Corporation Texas A+M University Why the Semantic Web won’t scale the scaled semantic web seen as mass-market product “the Flowbee uses the suction power of your household vacuum to draw the hair up to the desired length, and then gives it a perfect cut.....every time.” Three important questions: • Will it really work? • Who needs it? • Is it safe? 3 will it work? evaluating the semantic web as metadata • compare the semantic web to a widely adopted metadata scheme like the MARC record used for library cataloging – MARC practitioners are members of a community and are trained to create metadata – MARC reduces interpretive load by careful choice of attributes, authority lists, & cataloging rules (AACR, e.g.) to constrain values – MARC records are controlled for interoperability and consistency in various ways (e.g. by clearinghouses like OCLC) – so... on-line catalog (OPAC) users know what to expect 4 will it work? evaluating the semantic web as metadata • by contrast, the semantic web is subject to the following pitfalls as it scales: – social structures for creating universal semantic web metadata are missing (local culture/practices/needs prevail) – semantic web metadata requires substantial interpretation of domain knowledge; underlying assumptions about use are highly situated – no way of ensuring interoperability, consistency, accuracy • e.g. -
3Rd NASA/IEEE Workshop on Formal Approaches to Agent-Based Systems
Proceedings 3rdNASA/IEEE Workshop on Formal Approaches to Agent-Based Systems Springer-Verlag LNCS vol. 3228 Edited by Michael G. Hinchey, James L. Rash, Walter F. Truszkowski and Christopher A. Rouff Please note: This is a complete draft of the text; the publisher will add the correct page numbers, etc. The current formatting, although not very neat, I is the way the publisher requires it from us. Preface Greenbelt, MD October 2004 Organizing Committee Mike Hinchey, NASA Goddard Space Flight Center Jim Rash, NASA Goddard Space Flight Center Walt Truszkowski, NASA Goddard Space Flight Center Chris Rouff, SAIC I- _- Contents Ecology Based Decentralized Agent Management System Maim D. Pqirakhov, VincentA. Cicirello and William C. Regli ........................ 1 From Abstract to Concrete Nomin Agent Institutions Daide Grossi and Frank Dipm ............................................................ 12 Meeting the Deadline: Why, When and How Frank Dignum, Jan Broersen, Virginia Dignurn and John-Jules Meyer ................ 30 Multi-Agent Systems Reliability, Fuzziness, and Deterrence Michel Rudnimki and H&ne Bestougefl.. ................................................ 41 Formalism Challenges of the Cougaar Model Driven Architecture Shawn A. Bohner. Boby George. Denis Gracirnin andMichael G. Hinchey .......... 58 Facilitating the Specification Capture and Transformation Process in the Development of Multi-Agent Systems Aluizio Haendchen Filho, Nuno Caminah, Edward Hermann Haeusler and Arndt von Staa.. ............................................................................ 73 Using Ontologies to Formalize Services Specifications in Multi-Agent Systems Karin Koogan Breitman, Aluizio Haendchen Filho, Edward Hermann Haeusler and Am& von Staa ............................................................................. 93 Two Formal Gas Models For Multi-Agent Sweeping and Obstacle Avoidance Wesley Ken, Diana Spears, William Spears and David Thayer ...................... 1 13 A Formal kysisof Potential Energy in a Multi-agent System William M Spears, Diana F. -
AAAI-11 Program Schedule.IAAI.EAAI
AAAI-11 Technical Program Schedule Monday, August 8 6:00 – 7:00 pm AAAI-11 Opening Reception Tuesday, August 9 8:30 - 9:00 am Grand Ballroom, Street Level AAAI-11/IAAI-11 Opening Ceremony Welcome and Opening Remarks Outstanding Award Presentations -- Papers, SPC Member, PC Member Wolfram Burgard and Dan Roth, AAAI-11 Program Cochairs IAAI Welcome, Robert S. Engelmore Award, Deployed Application Award Announcements Daniel Shapiro, IAAI-11 Conference Chair, Markus Fromherz, IAAI-11 Program Cochair, and David Leake, AI Magazine Editor-in-Chief Feigenbaum Prize, AAAI Classic Paper Award, Distinguished Service Award Fellows Announcement, Senior Member Recognition Eric Horvitz, AAAI Past President and Awards Committee Chair Henry Kautz, AAAI President 9:15 – 10:00 am AAAI-11 25th Conference Anniversary Panel Moderator: Manuela Veloso, AAAI President-Elect (Carnegie Mellon University) 10:00 – 10:20 am Coffee Break 10:20 - 11:20 am IAAI-11/AAAI-11 Joint Invited Talk: Building Watson: An Overview of DeepQA for the Jeopardy! Challenge David Ferrucci (IBM T J Watson Research Center) 11:30 am – 12:30 pm Description Logics 1 281: Revisiting Semantics for Epistemic Extensions of Description Logics Anees Mehdi, Sebastian Rudolph 242: Integrating Rules and Description Logics by Circumscription Qian Yang, Jia-Huai You, Zhiyong Feng 626: Conjunctive Query Inseparability of OWL 2QL TBoxes B. Konev, R. Kontchakov, M. Ludwig, T. Schneider, F. Wolter, M. Zakharyaschev Machine Learning 1 6024: Nectar: Quantity Makes Quality: Learning with Partial Views Nicolò Cesa-Bianchi, Shai Shalev-Shwartz, Ohad Shamir 31: Symmetric Graph Regularized Constraint Propagation Zhenyong Fu, Zhiwu Lu, Horace H. S. -
Internationale Mathematische Nachrichten
INTERNATIONALE MATHEMATISCHE NACHRICHTEN INTERNATIONAL MATHEMATICAL NEWS NOUVELLES MATHEMA¶ TIQUES INTERNATIONALES NACHRICHTEN DER OSTERREICHISCHENÄ MATHEMATISCHEN GESELLSCHAFT EDITED BY OSTERREICHISCHEÄ MATHEMATISCHE GESELLSCHAFT Nr. 181 August 1999 WIEN INTERNATIONALE MATHEMATISCHE NACHRICHTEN INTERNATIONAL MATHEMATICAL NEWS NOUVELLES MATHEMA¶ TIQUES INTERNATIONALES GegrundetÄ 1947 von R. Inzinger, fortgefuhrtÄ von W. Wunderlich Herausgeber: OSTERREICHISCHEÄ MATHEMATISCHE GESELLSCHAFT Redaktion: P. Flor (U Graz; Herausgeber), U. Dieter (TU Graz), M. Drmota (TU Wien), L. Reich (U Graz) und J. Schwaiger (U Graz), unter stÄandiger Mit- arbeit von R. Mlitz (TU Wien) und E. Seidel (U Graz). ISSN 0020-7926. Korrespondenten DANEMARK:Ä M. E. Larsen (Dansk Matematisk Forening, Kopenhagen) FRANKREICH: B. Rouxel (Univ. Bretagne occ., Brest) GRIECHENLAND: N. K. Stephanidis (Univ. Saloniki) GROSSBRITANNIEN: The Institute of Mathematics and Its Applications (Southend-on-Sea), The London Mathematical Society JAPAN: K. Iseki¶ (Japanese Asoc. of Math. Sci) JUGOSLAWIEN: S. Pre·sic¶ (Univ. Belgrad) KROATIEN: M. Alic¶ (Zagreb) NORWEGEN: Norsk Matematisk Forening (Oslo) OSTERREICH:Ä C. Binder (TU Wien) RUMANIEN:Ä F.-K. Klepp (Timisoara) SCHWEDEN: Svenska matematikersamfundet (GÄoteborg) 2 SLOWAKEI: J. Sira· n· (Univ. Pre¼burg) SLOWENIEN: M. Razpet (Univ. Laibach) TSCHECHISCHE REPUBLIK: B. Maslowski (Akad. Wiss. Prag) USA: A. Jackson (Amer. Math. Soc., Providende RI) INTERNATIONALE MATHEMATISCHE NACHRICHTEN INTERNATIONAL MATHEMATICAL NEWS NOUVELLES MATHEMA¶ -
Scalable Approaches for Auditing the Completeness of Biomedical Ontologies
University of Kentucky UKnowledge Theses and Dissertations--Computer Science Computer Science 2021 Scalable Approaches for Auditing the Completeness of Biomedical Ontologies Fengbo Zheng University of Kentucky, [email protected] Author ORCID Identifier: https://orcid.org/0000-0001-5902-0186 Digital Object Identifier: https://doi.org/10.13023/etd.2021.128 Right click to open a feedback form in a new tab to let us know how this document benefits ou.y Recommended Citation Zheng, Fengbo, "Scalable Approaches for Auditing the Completeness of Biomedical Ontologies" (2021). Theses and Dissertations--Computer Science. 105. https://uknowledge.uky.edu/cs_etds/105 This Doctoral Dissertation is brought to you for free and open access by the Computer Science at UKnowledge. It has been accepted for inclusion in Theses and Dissertations--Computer Science by an authorized administrator of UKnowledge. For more information, please contact [email protected]. STUDENT AGREEMENT: I represent that my thesis or dissertation and abstract are my original work. Proper attribution has been given to all outside sources. I understand that I am solely responsible for obtaining any needed copyright permissions. I have obtained needed written permission statement(s) from the owner(s) of each third-party copyrighted matter to be included in my work, allowing electronic distribution (if such use is not permitted by the fair use doctrine) which will be submitted to UKnowledge as Additional File. I hereby grant to The University of Kentucky and its agents the irrevocable, non-exclusive, and royalty-free license to archive and make accessible my work in whole or in part in all forms of media, now or hereafter known. -
Conference Program
Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI-11) Twenty-Third Conference on Innovative Applications of Artificial Intelligence (IAAI-11) Second Symposium on Educational Advances in Artificial Intelligence (EAAI-11) August 7 – 11, 2011 Hyatt Regency San Francisco San Francisco, California, USA Sponsored by the Association for the Advancement of Artificial Intelligence Cosponsored by the National Science Foundation, AI Journal, Google, Inc. Microsoft Research, Cornell University Institute for Computational Sustainability Naval Research Laboratory, Yahoo! Research Labs, NASA Ames Research Center University of Southern California/Information Sciences Institute, ACM/SIGART IBM Research, Videolectures.net, and David E. Smith Conference Program Acknowledgments Robotics Program Chair Contents The Association for the Advancement of Artifi- Andrea Thomaz (Georgia Institute of Technology, USA) cial Intelligence acknowledges and thanks the Acknowledgments / 2 following individuals for their generous contri- Poker Competition Cohairs AI Video Competition / 18 butions of time and energy to the successful Nolan Bard (University of Alberta, Canada) Awards / 2–4 creation and planning of the Twenty-Fifth AAAI Jonathan Rubin (University of Auckland, New Competitions / 18–19 Conference on Artificial Intelligence and the Zealand) Conference at a Glance / 5 Twenty-Third Conference on Innovative Appli- AI Video Competition Cochairs Doctoral Consortium / 8 cations of Artificial Intelligence. David Aha (Naval Research Laboratory, USA) EAAI-11 Program / 9 Arnav Jhala (University of California, Santa Cruz, Exhibition / 16 AAAI-11 Conference Committee USA) General Information / 20 IAAI-11 Program / 10–15 AAAI Conference Committee Chair A complete listing of the AAAI-11 / IAAI-11 / Invited Presentations / 3, 6–7 Dieter Fox (University of Washington, USA) EAAI-11 Program Committee members appears in Poker Competition / 18 AAAI-11 Program Cochairs the conference proceedings.