Amazon cover image
Image from Amazon.com

Semantics in data and knowledge bases : 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised selected papers / Klaus-Dieter Schewe, Bernhard Thalheim (eds.).

By: (5th : SDKB (Workshop) (5th : 2011 : Zürich, Switzerland)Contributor(s): Schewe, Klaus-Dieter [editor.] | Thalheim, B. (Bernhard), 1952- [editor.]Material type: TextTextSeries: Serienbezeichnung | Lecture notes in computer science ; 7693. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.Publisher: Berlin : Springer, [2013]Copyright date: ©2013Description: 1 online resource (vii, 197 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9783642360084; 3642360084Other title: SDKB 2011Subject(s): Semantic computing -- Congresses | Databases -- Congresses | Data mining -- Congresses | Database Management Systems | Knowledge Bases | Data Mining | COMPUTERS -- General | Data mining | Databases | Semantic computing | Computer science | Database management | Data mining | Information storage and retrieval systems | Artificial intelligence | Computer simulation | Information Storage and Retrieval | Information Systems Applications (incl. Internet) | Simulation and ModelingGenre/Form: Electronic books. | Congress. | Electronic books. | Conference papers and proceedings. Additional physical formats: Print version: SDKB (Workshop) (5th : 2011 : Zürich, Switzerland).: Semantics in data and knowledge bases.DDC classification: 006 LOC classification: QA76.5913 | .S35 2011NLM classification: QA 76.5913Online resources: Click here to access online
Contents:
Semantics and Pragmatics of Integrity Constraints / Ove Sörensen, Bernhard Thalheim -- Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines / Károly Bósa -- The Semantics of Models: A Semiotic Philosophy of Science Approach / Björn Kralemann, Claas Lattmann -- Content-Based Retrieval in Database Semantics / Roland Hausser -- Contextual Data Tailoring Using ASP / Angelo Rauseo, Davide Martinenghi, Letizia Tanca -- Invariance Properties of the Constant-Complement View-Update Strategy / Stephen J. Hegner -- Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity / Hendrik Decker -- Semantic Restrictions over Second-Order Logic / Flavio A. Ferrarotti, Alejandro L. Grosso.
Summary: This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Workshop on Semantics in Data and Knowledge Bases, SDKB 2011, held in July 2011 in Zürich, Switzerland. The 8 revised full papers presented were carefully selected from numerous submissions covering topics of formal models for data and knowledge bases, integrity constraints maintenance and dependency theory, formal methods for data and knowledge base design, reasoning about data and knowledge base dynamics, adaptivity for personalised data and knowledge bases view-centered data- and knowledge-intensive systems, information integration in data and knowledge bases, knowledge discovery in data and knowledge bases, validation and verification of data and knowledge base designs, formal linguistics for data and knowledge bases, logical and mathematical foundations of semantics, semantics in data- and knowledge-intensive applications.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library

Electronic Book@IST

EBook Available
Total holds: 0

This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Workshop on Semantics in Data and Knowledge Bases, SDKB 2011, held in July 2011 in Zürich, Switzerland. The 8 revised full papers presented were carefully selected from numerous submissions covering topics of formal models for data and knowledge bases, integrity constraints maintenance and dependency theory, formal methods for data and knowledge base design, reasoning about data and knowledge base dynamics, adaptivity for personalised data and knowledge bases view-centered data- and knowledge-intensive systems, information integration in data and knowledge bases, knowledge discovery in data and knowledge bases, validation and verification of data and knowledge base designs, formal linguistics for data and knowledge bases, logical and mathematical foundations of semantics, semantics in data- and knowledge-intensive applications.

Semantics and Pragmatics of Integrity Constraints / Ove Sörensen, Bernhard Thalheim -- Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines / Károly Bósa -- The Semantics of Models: A Semiotic Philosophy of Science Approach / Björn Kralemann, Claas Lattmann -- Content-Based Retrieval in Database Semantics / Roland Hausser -- Contextual Data Tailoring Using ASP / Angelo Rauseo, Davide Martinenghi, Letizia Tanca -- Invariance Properties of the Constant-Complement View-Update Strategy / Stephen J. Hegner -- Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity / Hendrik Decker -- Semantic Restrictions over Second-Order Logic / Flavio A. Ferrarotti, Alejandro L. Grosso.

Print version record.

Includes bibliographical references and index.

Powered by Koha