TY - BOOK AU - Tessaris,Sergio AU - Franconi,Enrico AU - Eiter,Thomas AU - Gutierrez,Claudio AU - Handschuh,Siegfried AU - Rousset,Marie-Christine AU - Schmidt,Renate A. ED - SpringerLink (Online service) TI - Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures T2 - Lecture Notes in Computer Science, SN - 9783642037542 AV - QA76.76.A65 U1 - 005.7 23 PY - 2009/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Computer software KW - Logic design KW - Algebra KW - Data processing KW - Information systems KW - Computer Science KW - Information Systems Applications (incl.Internet) KW - Symbolic and Algebraic Manipulation KW - Mathematical Logic and Formal Languages KW - Logics and Meanings of Programs KW - Mathematics of Computing KW - Algorithm Analysis and Problem Complexity N1 - Description Logics -- Answer Set Programming: A Primer -- Logical Foundations of XML and XQuery -- Foundations of RDF Databases -- Database Technologies for RDF -- Technologies for the Social Semantic Desktop -- Ontologies and Databases: The DL-Lite Approach N2 - This book contains a collection of seven thoroughly revised tutorial papers based on lectures given by leading researchers at the 5th International Summer School on the Reasoning Web, held in Brixen-Bressanone, Italy, from August 30 to September 4, 2009. The objective of the book is to provide a coherent introduction to semantic web methods and research issues with a particular emphasis on reasoning. The focus of this year’s event was on the use of semantic technologies to enhance data access on the web. Topics covered include design and analysis of reasoning procedures for description logics; answer set programming basics, its modeling methodology and its principal extensions tailored for semantic web applications; languages for constraining and querying XML data; RDF database theory and efficient and scalable support for RDF/OWL data storage, loading, inferencing and querying; tractable description logics and their use for ontology-based data access; and the social semantic desktop, which defines a user’s personal information environment as a source and end-point of the semantic web UR - http://dx.doi.org/10.1007/978-3-642-03754-2 ER -