WorldCat Identities

Calvanese, Diego

Overview
Works: 29 works in 57 publications in 2 languages and 886 library holdings
Genres: Handbooks and manuals  Conference papers and proceedings 
Roles: Author, Editor, Other, Creator
Classifications: Q387.3, 006.332
Publication Timeline
.
Most widely held works by Diego Calvanese
Database theory, ICDT 2003 : 9th international conference, Siena, Italy, January 8-10, 2003 : proceedings by Diego Calvanese( Book )

13 editions published between 2002 and 2003 in English and held by 268 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 9th International Conference on Database Theory, ICDT 2002, held in Siena, Italy in January 2002. The 26 revised full papers presented together with 3 invited articles were carefully reviewed and selected from 92 submissions. The papers are organized in topical sections on reasoning about XML schemas and queries, aggregate queries, query evaluation, query rewriting and reformulation, semistructured versus structured data, query containment, consistency and incompleteness, and data structures
Web reasoning and rule systems : second international conference, RR 2008, Karlsruhe, Germany, October 31 - November 1, 2008 ; proceedings by David Hutchison( Book )

15 editions published in 2008 in English and held by 66 WorldCat member libraries worldwide

Annotation This book constitutes the refereed proceedings of the Second International Conference on Web Reasoning and Rule Systems, RR 2008, held in Karlsruhe, Germany in October/November 2008. The 12 revised full papers, 4 revised short papers presented together with 5 poster papers were carefully reviewed and selected from over 35 submissions. The papers address all current topics in Web reasoning and rule systems such as acquisition of rules and ontologies by knowledge extraction, design and analysis of reasoning languages, implemented tools and systems, standardization, ontology usability, ontology languages and their relationships, rules and ontologies, reasoning with uncertainty, reasoning with constraints, rule languages and systems, semantic Web services modeling and applications
Database theory : 9th international conference ; proceedings( Book )

2 editions published in 2003 in English and held by 30 WorldCat member libraries worldwide

Database theory - ICDT 2003 9th international conference, Siena, Italy, January 8 - 10, 2003 ; proceedings by ICDT( )

1 edition published in 2003 in English and held by 5 WorldCat member libraries worldwide

Complementi ed esercizi di programmazione in pascal( Book )

1 edition published in 1998 in Italian and held by 2 WorldCat member libraries worldwide

Proceedings of the 20th International workshop on description logics : DL'07 : June 8-10, 2007 : Free University of Bozen-Bolzano, Brixen/Bressanone, Italy by International Workshop on Description Logics( Book )

1 edition published in 2007 in English and held by 1 WorldCat member library worldwide

Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees( )

1 edition published in 1999 in Undetermined and held by 1 WorldCat member library worldwide

IBIS: Semantic Data Integration at Work( )

1 edition published in 2003 in Undetermined and held by 1 WorldCat member library worldwide

Lezioni di fondamenti di informatica( Book )

1 edition published in 2003 in Italian and held by 1 WorldCat member library worldwide

Data Integration: A Logic-Based Perspective by Diego Calvanese( )

1 edition published in 2005 in English and held by 1 WorldCat member library worldwide

Data integration is the problem of combining data residing at different autonomous, heterogeneous sources and providing the client with a unified, reconciled global view of the data. We discuss dataintegration systems, taking the abstract viewpoint that the global view is an ontology expressed in a class-based formalism. We resort to an expressive description logic, ALCQI, that fully captures classbased representation formalisms, and we show that query answering in data integration, as well as all other relevant reasoning tasks, is decidable. However, when we have to deal with large amounts of data, the high computational complexity in the size of the data makes the use of a fullfledged expressive description logic infeasible in practice. This leads us to consider DL-Lite, a specifically tailored restriction of ALCQI that ensures tractability of query answering in data integration while keeping enough expressive power to capture the most relevant features of class-based formalisms
Lezioni di tecniche di programmazione( Book )

1 edition published in 2006 in Italian and held by 1 WorldCat member library worldwide

Accessing Data Integration Systems through Conceptual Schemas( )

1 edition published in 2001 in Undetermined and held by 1 WorldCat member library worldwide

Reasoning in many dimensions uncertainty and products of modal logics by Jean Christoph Jung( )

1 edition published in 2014 in English and held by 1 WorldCat member library worldwide

Introduzione alla programmazione in Java( Book )

1 edition published in 2003 in Italian and held by 1 WorldCat member library worldwide

Programmazione con strutture dati in C( Book )

1 edition published in 2001 in Italian and held by 1 WorldCat member library worldwide

Identification Constraints and Functional Dependencies in Description Logics( )

1 edition published in 2001 in Undetermined and held by 1 WorldCat member library worldwide

Representing and reasoning on SGML documents by Diego Calvanese( )

1 edition published in 1997 in English and held by 1 WorldCat member library worldwide

Database theory : ICDT 2003( Book )

1 edition published in 2003 in English and held by 1 WorldCat member library worldwide

On the Expressive Power of Data Integration Systems( )

1 edition published in 2002 in Undetermined and held by 1 WorldCat member library worldwide

The description logic handbook : theory, implementation, and applications by Diego Calvanese( )

2 editions published between 2003 and 2007 in English and held by 0 WorldCat member libraries worldwide

Description Logics are a family of knowledge representation languages that have been studied extensively in Artificial Intelligence over the last two decades. They are embodied in several knowledge-based systems and are used to develop various real-life applications. The Description Logic Handbook provides a thorough account of the subject, covering all aspects of research in this field, namely: theory, implementation, and applications. Its appeal will be broad, ranging from more theoretically-oriented readers, to those with more practically-oriented interests who need a sound and modern understanding of knowledge representation systems based on Description Logics. The chapters are written by some of the most prominent researchers in the field, introducing the basic technical material before taking the reader to the current state of the subject, and including comprehensive guides to the literature. In sum, the book will serve as a unique reference for the subject, and can also be used for self-study or in conjunction with Knowledge Representation and Artificial Intelligence courses
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.70 (from 0.14 for The descri ... to 1.00 for Data Integ ...)

Database theory, ICDT 2003 : 9th international conference, Siena, Italy, January 8-10, 2003 : proceedingsDatabase theory : 9th international conference ; proceedingsDatabase theory - ICDT 2003 9th international conference, Siena, Italy, January 8 - 10, 2003 ; proceedingsDatabase theory : ICDT 2003
Languages
Covers
Web reasoning and rule systems : second international conference, RR 2008, Karlsruhe, Germany, October 31 - November 1, 2008 ; proceedingsDatabase theory : 9th international conference ; proceedingsDatabase theory - ICDT 2003 9th international conference, Siena, Italy, January 8 - 10, 2003 ; proceedingsDatabase theory : ICDT 2003The description logic handbook : theory, implementation, and applications