LEADER 05587nam 22009015 450 001 996465341203316 005 20240327172900.0 010 $a3-642-03754-2 024 7 $a10.1007/978-3-642-03754-2 035 $a(CKB)1000000000784750 035 $a(SSID)ssj0000319751 035 $a(PQKBManifestationID)11255738 035 $a(PQKBTitleCode)TC0000319751 035 $a(PQKBWorkID)10342139 035 $a(PQKB)10671711 035 $a(DE-He213)978-3-642-03754-2 035 $a(MiAaPQ)EBC3064511 035 $a(PPN)139955100 035 $a(EXLCZ)991000000000784750 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aReasoning Web. Semantic Technologies for Information Systems$b[electronic resource] $e5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures /$fedited by Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie- Christine Rousset, Renate Schmidt 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (VII, 357 p.) 225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v5689 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-03753-4 320 $aIncludes bibliographical references and index. 327 $aDescription 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. 330 $aThis 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. 410 0$aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v5689 606 $aApplication software 606 $aUser interfaces (Computer systems) 606 $aInformation storage and retrieval 606 $aComputer science?Mathematics 606 $aMathematical logic 606 $aComputer logic 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aUser Interfaces and Human Computer Interaction$3https://scigraph.springernature.com/ontologies/product-market-codes/I18067 606 $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032 606 $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 608 $aBrixen (2009)$2swd 608 $aKongress.$2swd 615 0$aApplication software. 615 0$aUser interfaces (Computer systems). 615 0$aInformation storage and retrieval. 615 0$aComputer science?Mathematics. 615 0$aMathematical logic. 615 0$aComputer logic. 615 14$aInformation Systems Applications (incl. Internet). 615 24$aUser Interfaces and Human Computer Interaction. 615 24$aInformation Storage and Retrieval. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aMathematical Logic and Formal Languages. 615 24$aLogics and Meanings of Programs. 676 $a006.3322gerDNB 686 $aDAT 616f$2stub 686 $aDAT 703f$2stub 686 $aSS 4800$2rvk 702 $aTessaris$b Sergio$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aFranconi$b Enrico$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aEiter$b Thomas$f1966-$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGutierrez$b Claudio$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHandschuh$b Siegfried$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRousset$b Marie- Christine$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSchmidt$b Renate$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aSummer School on Reasoning Web 906 $aBOOK 912 $a996465341203316 996 $aReasoning Web. Semantic Technologies for Information Systems$9773701 997 $aUNISA