| 000 -LEADER |
|---|
| fixed length control field |
03850nam a22006375i 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| ISBN |
9783642037542 |
| -- |
978-3-642-03754-2 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.7 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Reasoning Web. Semantic Technologies for Information Systems |
| Sub Title |
5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures / |
| Statement of responsibility, etc |
edited by Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie-Christine Rousset, Renate A. Schmidt. |
| 260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication |
Berlin, Heidelberg : |
| Name of publisher |
Springer Berlin Heidelberg, |
| Year of publication |
2009. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Number of Pages |
VII, 357 p. |
| Other physical details |
online resource. |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture Notes in Computer Science, |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Computer software. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Logic design. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Algebra |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Information systems. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Information Systems Applications (incl.Internet). |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Symbolic and Algebraic Manipulation. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Mathematical Logic and Formal Languages. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Logics and Meanings of Programs. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Mathematics of Computing. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Algorithm Analysis and Problem Complexity. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Tessaris, Sergio. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Franconi, Enrico. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Eiter, Thomas. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Gutierrez, Claudio. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Handschuh, Siegfried. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Rousset, Marie-Christine. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Schmidt, Renate A. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
http://dx.doi.org/10.1007/978-3-642-03754-2 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Koha item type |
E-BOOKS |
| 264 #1 - |
|---|
| -- |
Berlin, Heidelberg : |
| -- |
Springer Berlin Heidelberg, |
| -- |
2009. |
| 336 ## - |
|---|
| -- |
text |
| -- |
txt |
| -- |
rdacontent |
| 337 ## - |
|---|
| -- |
computer |
| -- |
c |
| -- |
rdamedia |
| 338 ## - |
|---|
| -- |
online resource |
| -- |
cr |
| -- |
rdacarrier |
| 347 ## - |
|---|
| -- |
text file |
| -- |
PDF |
| -- |
rda |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| -- |
0302-9743 ; |
