WorldCat Identities

Calvanese, Diego

Overview
Works: 37 works in 69 publications in 2 languages and 811 library holdings
Genres: Handbooks, manuals, etc  Conference proceedings 
Roles: Editor, Creator
Classifications: Q387.3, 006.332
Publication Timeline
Key
Publications about  Diego Calvanese Publications about Diego Calvanese
Publications by  Diego Calvanese Publications by Diego Calvanese
Most widely held works by Diego Calvanese
Web reasoning and rule systems second international conference, RR 2008, Karlsruhe, Germany, October 31 - November 1, 2008 ; proceedings by D Hutchison ( )
17 editions published in 2008 in English and held by 433 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, ICDT 2003 : 9th international conference, Siena, Italy, January 8-10, 2003 : proceedings by Diego Calvanese ( Book )
14 editions published between 2002 and 2003 in English and held by 305 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
Database theory : 9th international conference ; proceedings ( Book )
2 editions published in 2003 in English and held by 25 WorldCat member libraries worldwide
The description logic handbook theory, implementation, and applications by Diego Calvanese ( )
3 editions published between 2003 and 2007 in English and held by 12 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
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
Introduzione alla programmazione in Java ( Book )
1 edition published in 2003 in Italian 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
On the Expressive Power of Data Integration Systems ( )
1 edition published in 2002 in Undetermined 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
QuOnto: querying ontologies ( )
1 edition published in 2005 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
Answering regular path queries in expressive description logics: an automata-theoretic approach ( )
1 edition published in 2007 in Undetermined and held by 1 WorldCat member library worldwide
Lezioni di tecniche di programmazione ( Book )
1 edition published in 2006 in Italian 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
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
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
Answering Queries Using Views over Description Logics Knowledge Bases ( )
1 edition published in 2000 in Undetermined and held by 1 WorldCat member library worldwide
What Can Knowledge Representation Do for Semi-Structured Data? ( )
1 edition published in 1998 in Undetermined and held by 1 WorldCat member library worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.78 (from 0.00 for Complement ... to 0.90 for Database t ...)
Alternative Names
Calvanese, D.
Languages
English (41)
Italian (5)
Covers