WorldCat Identities

Calvanese, Diego

Overview
Works: 28 works in 40 publications in 2 languages and 656 library holdings
Genres: Handbooks and manuals  Conference papers and proceedings 
Roles: Editor, Other, Author, Opponent
Classifications: Q387.3, 006.332
Publication Timeline
.
Most widely held works by Diego Calvanese
Digital Libraries on the Move : 11th Italian Research Conference on Digital Libraries, IRCDL 2015, Bolzano, Italy, January 29-30, 2015, Revised Selected Papers by IRCDL( )

7 editions published in 2016 in English and held by 39 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed proceedings of the 11th Italian Research Conference on Digital Libraries, IRCDL 2015, held in Bozen-Bolzano, Italy, in January 2015. The 13 full papers, 4 short papers and 2 invited poster papers presented were carefully selected from 19 submissions. They are organized under the following five categories: semantic modeling; projects; models and applications; content analysis; and digital libraries infrastructures. The papers deal with numerous multidisciplinary aspects ranging from computer science to humanities in the broader sense, including research areas such as archival and library information sciences; information management systems; semantic technologies; information retrieval; new knowledge environments; new organizational/business models
Complementi ed esercizi di programmazione in pascal by Diego Calvanese( Book )

3 editions published between 1998 and 1999 in Italian and held by 6 WorldCat member libraries worldwide

Lezioni di tecniche di programmazione( Book )

3 editions published between 2004 and 2006 in Italian and held by 5 WorldCat member libraries worldwide

Programmazione con strutture dati in C( Book )

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

Lezioni di fondamenti di informatica( Book )

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

Lezioni di fondamenti di informatica( Book )

1 edition published in 2003 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 2 WorldCat member libraries worldwide

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

3 editions published between 2003 and 2007 in English and held by 1 WorldCat member library 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
Répondre efficacement aux requêtes Big Data en présence de contraintes by Damián Bursztyn( )

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

Les contraintes sont les artéfacts fondamentaux permettant de donner un sens aux données. Elles garantissent que les données sont conformes aux besoins des applications. L'objet de cette thèse est d'étudier deux problématiques liées à la gestion efficace des données en présence de contraintes. Nous abordons le problème de répondre efficacement à des requêtes portant sur des données, en présence de contraintes déductives. Cela mène à des données implicites dérivant de données explicites et de contraintes. Les données implicites requièrent une étape de raisonnement afin de calculer les réponses aux requêtes. Le raisonnement par reformulation des requêtes compile les contraintes dans une requête modifiée qui, évaluée à partir des données explicites uniquement, génère toutes les réponses fondées sur les données explicites et implicites. Comme les requêtes reformulées peuvent être complexes, leur évaluation est souvent difficile et coûteuse. Nous étudions l'optimisation de la technique de réponse aux requêtes par reformulation dans le cadre de l'accès aux données à travers une ontologie, où des requêtes conjonctives SPARQL sont posées sur un ensemble de faits RDF sur lesquels des contraintes RDF Schema (RDFS) sont exprimées. La thèse apporte les contributions suivantes. (i) Nous généralisons les langages de reformulation de requêtes précédemment étudiées, afin d'obtenir un espace de reformulations d'une requête posée plutôt qu'une unique reformulation. (ii) Nous présentons des algorithmes effectifs et efficaces, fondés sur un modèle de coût, permettant de sélectionner une requête reformulée ayant le plus faible coût d'évaluation. (iii) Nous montrons expérimentalement que notre technique améliore significativement la performance de la technique de réponse aux requêtes par reformulation. Au-delà de RDFS, nous nous intéressons aux langages d'ontologie pour lesquels répondre à une requête peut se réduire à l'évaluation d'une certaine formule de la Logique du Premier Ordre (obtenue à partir de la requête et de l'ontologie), sur les faits explicites uniquement. (iv) Nous généralisons la technique de reformulation optimisée pour RDF, mentionnée ci-dessus, aux formalismes pour répondre à une requête LPO-réductible. (v) Nous appliquons cette technique à la Logique de Description DL-LiteR sous-jacente au langage OWL2 QL du W3C, et montrons expérimentalement ses avantages dans ce contexte. Nous présentons également, brièvement, un travail en cours sur le problème consistant à fournir des chemins d'accès efficaces aux données dans les systèmes Big Data. Nous proposons d'utiliser un ensemble de systèmes de stockages hétérogènes afin de fournir une meilleure performance que n'importe lequel d'entre eux, utilisé individuellement. Les données stockées dans chaque système peuvent être décrites comme des vues matérialisées sur les données applicatives. Répondre à une requête revient alors à réécrire la requête à l'aide des vues disponibles, puis à décoder la réécriture produite comme un ensemble de requêtes à exécuter sur les systèmes stockant les vues, ainsi qu'une requête les combinant de façon appropriée
On the Expressive Power of Data Integration Systems( )

1 edition published in 2002 in Undetermined 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

Representing and reasoning on SGML documents by Diego Calvanese( )

1 edition published in 1997 in English 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

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

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
IBIS: Semantic Data Integration at Work( )

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

Database Theory ICDT 2003 00 : 9th International Conference Siena, Italy, January 810, 2003 Proceedings( )

1 edition published in 2002 in English and held by 0 WorldCat member libraries worldwide

Web reasoning and rule systems : second international conference, RR 2008, Karlsruhe, Germany, October 31 - November 1, 2008 ; proceedings by David Hutchison( )

1 edition published in 2008 in English and held by 0 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
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.75 (from 0.10 for The descri ... to 1.00 for Data Integ ...)

Web reasoning and rule systems : second international conference, RR 2008, Karlsruhe, Germany, October 31 - November 1, 2008 ; proceedings
Languages
English (18)

Italian (10)

Covers
Web reasoning and rule systems : second international conference, RR 2008, Karlsruhe, Germany, October 31 - November 1, 2008 ; proceedings