TY - BOOK ID - 15993041 TI - Reasoning Web. Semantic Interoperability on the Web : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures AU - Ianni, Giovambattista. AU - Lembo, Domenico. AU - Bertossi, Leopoldo. AU - Faber, Wolfgang. AU - Glimm, Birte. AU - Gottlob, Georg. AU - Staab, Steffen. PY - 2017 SN - 3319610333 3319610325 PB - Cham : Springer International Publishing : Imprint: Springer, DB - UniCat KW - Computer science. KW - Mathematical logic. KW - Database management. KW - Information storage and retrieval. KW - Artificial intelligence. KW - Computer Science. KW - Database Management. KW - Artificial Intelligence (incl. Robotics). KW - Mathematical Logic and Formal Languages. KW - Information Storage and Retrieval. KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Electronic data processing KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Data base management KW - Data services (Database management) KW - Database management services KW - DBMS (Computer science) KW - Generalized data management systems KW - Services, Database management KW - Systems, Database management KW - Systems, Generalized database management KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Informatics KW - Science KW - Information storage and retrieva. KW - Artificial Intelligence. KW - Information storage and retrieval systems. KW - Automatic data storage KW - Automatic information retrieval KW - Automation in documentation KW - Computer-based information systems KW - Data processing systems KW - Data storage and retrieval systems KW - Discovery systems, Information KW - Information discovery systems KW - Information processing systems KW - Information retrieval systems KW - Machine data storage and retrieval KW - Mechanized information storage and retrieval systems KW - Computer systems KW - Electronic information resources KW - Data libraries KW - Digital libraries KW - Information organization KW - Information retrieval KW - Semantic Web KW - Semantic computing KW - Machine theory. KW - Formal Languages and Automata Theory. KW - Data centers KW - Abstract automata KW - Abstract machines KW - Automata KW - Mathematical machine theory KW - Algorithms KW - Logic, Symbolic and mathematical KW - Recursive functions KW - Robotics UR - https://www.unicat.be/uniCat?func=search&query=sysid:15993041 AB - This volume contains the lecture notes of the 13th Reasoning Web Summer School, RW 2017, held in London, UK, in July 2017. In 2017, the theme of the school was "Semantic Interoperability on the Web", which encompasses subjects such as data integration, open data management, reasoning over linked data, database to ontology mapping, query answering over ontologies, hybrid reasoning with rules and ontologies, and ontology-based dynamic systems. The papers of this volume focus on these topics and also address foundational reasoning techniques used in answer set programming and ontologies. . ER -