000 03850nam a22006375i 4500
001 978-3-642-03754-2
003 DE-He213
005 20160624102134.0
007 cr nn 008mamaa
008 100301s2009 gw | s |||| 0|eng d
020 _a9783642037542
_9978-3-642-03754-2
024 7 _a10.1007/978-3-642-03754-2
_2doi
050 4 _aQA76.76.A65
072 7 _aUNH
_2bicssc
072 7 _aUDBD
_2bicssc
072 7 _aCOM032000
_2bisacsh
082 0 4 _a005.7
_223
245 1 0 _aReasoning Web. Semantic Technologies for Information Systems
_h[electronic resource] :
_b5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures /
_cedited by Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie-Christine Rousset, Renate A. Schmidt.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2009.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2009.
300 _aVII, 357 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v5689
505 0 _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.
520 _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.
650 0 _aComputer science.
650 0 _aComputer software.
650 0 _aLogic design.
650 0 _aAlgebra
_xData processing.
650 0 _aInformation systems.
650 1 4 _aComputer Science.
650 2 4 _aInformation Systems Applications (incl.Internet).
650 2 4 _aSymbolic and Algebraic Manipulation.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aMathematics of Computing.
650 2 4 _aAlgorithm Analysis and Problem Complexity.
700 1 _aTessaris, Sergio.
_eeditor.
700 1 _aFranconi, Enrico.
_eeditor.
700 1 _aEiter, Thomas.
_eeditor.
700 1 _aGutierrez, Claudio.
_eeditor.
700 1 _aHandschuh, Siegfried.
_eeditor.
700 1 _aRousset, Marie-Christine.
_eeditor.
700 1 _aSchmidt, Renate A.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642037535
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v5689
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-642-03754-2
942 _2EBK8694
_cEBK
999 _c37988
_d37988