05587nam 22009015 450 99646534120331620240327172900.03-642-03754-210.1007/978-3-642-03754-2(CKB)1000000000784750(SSID)ssj0000319751(PQKBManifestationID)11255738(PQKBTitleCode)TC0000319751(PQKBWorkID)10342139(PQKB)10671711(DE-He213)978-3-642-03754-2(MiAaPQ)EBC3064511(PPN)139955100(EXLCZ)99100000000078475020100301d2009 u| 0engurnn#008mamaatxtccrReasoning Web. Semantic Technologies for Information Systems[electronic resource] 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures /edited by Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie- Christine Rousset, Renate Schmidt1st ed. 2009.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2009.1 online resource (VII, 357 p.)Information Systems and Applications, incl. Internet/Web, and HCI ;5689Bibliographic Level Mode of Issuance: Monograph3-642-03753-4 Includes bibliographical references and index.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.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.Information Systems and Applications, incl. Internet/Web, and HCI ;5689Application softwareUser interfaces (Computer systems)Information storage and retrievalComputer science—MathematicsMathematical logicComputer logicInformation Systems Applications (incl. Internet)https://scigraph.springernature.com/ontologies/product-market-codes/I18040User Interfaces and Human Computer Interactionhttps://scigraph.springernature.com/ontologies/product-market-codes/I18067Information Storage and Retrievalhttps://scigraph.springernature.com/ontologies/product-market-codes/I18032Symbolic and Algebraic Manipulationhttps://scigraph.springernature.com/ontologies/product-market-codes/I17052Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XBrixen (2009)swdKongress.swdApplication software.User interfaces (Computer systems).Information storage and retrieval.Computer science—Mathematics.Mathematical logic.Computer logic.Information Systems Applications (incl. Internet).User Interfaces and Human Computer Interaction.Information Storage and Retrieval.Symbolic and Algebraic Manipulation.Mathematical Logic and Formal Languages.Logics and Meanings of Programs.006.3322gerDNBDAT 616fstubDAT 703fstubSS 4800rvkTessaris Sergioedthttp://id.loc.gov/vocabulary/relators/edtFranconi Enricoedthttp://id.loc.gov/vocabulary/relators/edtEiter Thomas1966-edthttp://id.loc.gov/vocabulary/relators/edtGutierrez Claudioedthttp://id.loc.gov/vocabulary/relators/edtHandschuh Siegfriededthttp://id.loc.gov/vocabulary/relators/edtRousset Marie- Christineedthttp://id.loc.gov/vocabulary/relators/edtSchmidt Renateedthttp://id.loc.gov/vocabulary/relators/edtSummer School on Reasoning WebBOOK996465341203316Reasoning Web. Semantic Technologies for Information Systems773701UNISA