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 |