000 04669nam a22006975i 4500
001 978-3-642-03754-2
003 DE-He213
005 20240730182028.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 _aUB
_2bicssc
072 7 _aCOM005000
_2bisacsh
072 7 _aUX
_2thema
082 0 4 _a005.3
_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 Schmidt.
250 _a1st ed. 2009.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_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 _aInformation Systems and Applications, incl. Internet/Web, and HCI,
_x2946-1642 ;
_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 _aApplication software.
_9126997
650 0 _aUser interfaces (Computer systems).
_911681
650 0 _aHuman-computer interaction.
_96196
650 0 _aInformation storage and retrieval systems.
_922213
650 0 _aComputer science
_xMathematics.
_93866
650 0 _aMachine theory.
_9126998
650 0 _aComputer science.
_99832
650 1 4 _aComputer and Information Systems Applications.
_9126999
650 2 4 _aUser Interfaces and Human Computer Interaction.
_931632
650 2 4 _aInformation Storage and Retrieval.
_923927
650 2 4 _aSymbolic and Algebraic Manipulation.
_955589
650 2 4 _aFormal Languages and Automata Theory.
_9127000
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
700 1 _aTessaris, Sergio.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9127001
700 1 _aFranconi, Enrico.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9127002
700 1 _aEiter, Thomas.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9127003
700 1 _aGutierrez, Claudio.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9127004
700 1 _aHandschuh, Siegfried.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9127005
700 1 _aRousset, Marie- Christine.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9127006
700 1 _aSchmidt, Renate.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9127007
710 2 _aSpringerLink (Online service)
_9127008
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783642037535
776 0 8 _iPrinted edition:
_z9783642037559
830 0 _aInformation Systems and Applications, incl. Internet/Web, and HCI,
_x2946-1642 ;
_v5689
_9127009
856 4 0 _uhttps://doi.org/10.1007/978-3-642-03754-2
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c91193
_d91193