Skip to content

Diego Calvanese

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

138

Venues

39

Active years

1994–2026

Best venue rank

A*

Where they publish

Papers

138 indexed papers, newest first.

YearVenueTitleAuthors
2026CaiSENews-Informed Probabilistic Models for AI Risk Analysis.Mattia Fumagalli, Stefano M. Nicoletti, Diego Calvanese, Giancarlo Guizzardi
2026EDBTCMiner: An Algorithm to Discover Frequent Structures in Conceptual Models.Simone Avellino, Emanuele Valore, Giovanni Micale, Antonio Di Maria, Mattia Fumagalli, Tiago Prince Sales, Alfredo Pulvirenti, Diego Calvanese
2026ISMISTimeline Generation from Event Logs Under Evolving Properties.Rikayan Chaki, Diego Calvanese
2025CaiSEA Pattern-Based Approach for Explaining Ontology-Driven Conceptual Models.Elena Romanenko, Diego Calvanese, Giancarlo Guizzardi
2025MDAIAssessing Privacy Requirements for Controlled Query Evaluation in OBDA.Divya Baura, Diego Calvanese
2025PODSThe ACM PODS Alberto O. Mendelzon Test-of-Time Award 2025.Diego Calvanese, Graham Cormode, Leonid Libkin
2025WoLLICAbstracting Conceptual Models as a Weakening Process.Elena Romanenko, Oliver Kutz, Diego Calvanese, Giancarlo Guizzardi
2024ICDEOBDF: OBDA + Data Federation - Extended Abstract.Zhenzhen Gu, Diego Calvanese, Marco Di Panfilo, Davide Lanti, Alessandro Mosca, Guohui Xiao
2024RCISExpO: Towards Explaining Ontology-Driven Conceptual Models.Elena Romanenko, Diego Calvanese, Giancarlo Guizzardi
2023AAAISMT Safety Verification of Ontology-Based Processes.Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali
2023CaiSEExtracting Event Data from Document-Driven Enterprise Systems.Diego Calvanese, Mieke Jans, Tahir Emre Kalayci, Marco Montali
2023ERTowards Semantics for Abstractions in Ontology-Driven Conceptual Modeling.Elena Romanenko, Oliver Kutz, Diego Calvanese, Giancarlo Guizzardi
2023RCISWhat Do Users Think About Abstractions of Ontology-Driven Conceptual Models?Elena Romanenko, Diego Calvanese, Giancarlo Guizzardi
2022EKAWTowards Pragmatic Explanations for Domain Ontologies.Elena Romanenko, Diego Calvanese, Giancarlo Guizzardi
2022ICPMA Virtual Knowledge Graph Based Approach for Object-Centric Event Logs Extraction.Jing Xiong, Guohui Xiao, Tahir Emre Kalayci, Marco Montali, Zhenzhen Gu, Diego Calvanese
2022IJCAIVerification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces.Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
2022IJCAIVerification of Generic, Relational Transition Systems.Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
2022RCISAbstracting Ontology-Driven Conceptual Models: Objects, Aspects, Events, and Their Parts.Elena Romanenko, Diego Calvanese, Giancarlo Guizzardi
2021BPMProcess Mining with Common Sense.Diego Calvanese, Sanja Lukumbuzya, Marco Montali, Mantas Simkus
2021CaiSEADaMaP: Automatic Alignment of Relational Data Sources Using Mapping Patterns.Diego Calvanese, Avigdor Gal, Naor Haba, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga
2020CADECombined Covers and Beth Definability.Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2020IJCAICounting Query Answers over a DL-Lite Knowledge Base.Diego Calvanese, Julien Corman, Davide Lanti, Simon Razniewski
2019BPMFormal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN.Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2019CADEModel Completeness, Covers and Superposition.Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2019CaiSEModeling and In-Database Management of Relational, Data-Aware Processes.Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin
2019EDOCRepresenting and Querying Norm States Using Temporal Ontology-Based Data Access.Evellin Cardoso, Marco Montali, Diego Calvanese
2019IJCAIEnriching Ontology-based Data Access with Provenance.Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Pealoza, Guohui Xiao
2019TIMETwo-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases.Sebastian Brandt, Diego Calvanese, Elem Gzel Kalayci, Roman Kontchakov, Benjamin Mrzinger, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev
2018CIKMSemantic Technologies for Data Access and Integration.Diego Calvanese, Guohui Xiao
2018CIKMOntop-temporal: A Tool for Ontology-based Query Answering over Temporal Data.Elem Gzel Kalayci, Guohui Xiao, Vladislav Ryzhikov, Tahir Emre Kalayci, Diego Calvanese
2018EKAWConceptual Schema Transformation in Ontology-Based Data Access.Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso, Wil M. P. van der Aalst
2018ICDTExpressivity and Complexity of MongoDB Queries.Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Guohui Xiao
2018IJCAIOntology-Based Data Access: A Survey.Guohui Xiao, Diego Calvanese, Roman Kontchakov, Domenico Lembo, Antonella Poggi, Riccardo Rosati, Michael Zakharyaschev
2017ADBISNew Trends in Databases and Information Systems: Contributions from ADBIS 2017 Workshops.Andreas Behrend, Diego Calvanese, Tania Cerquitelli, Silvia Chiusano, Christiane Engels, Stphane Jean, Natalija Kozmina, Batrice Markhoff, Oscar Romero, Sahar Vahdati
2017BPMThe onprom Toolchain for Extracting Business Process Logs using Ontology-based Data Access.Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso
2016AAAIBeyond OWL 2 QL in OBDA: Rewritings and Approximations.Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando, Guohui Xiao
2016BPMSemantics and Analysis of DMN Decision Tables.Diego Calvanese, Marlon Dumas, lari Laurson, Fabrizio Maria Maggi, Marco Montali, Irene Teinemaa
2016ICDTVerification of Evolving Graph-structured Data under Expressive Path Constraints.Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2016IJCAIPlan Synthesis for Knowledge and Action Bases.Diego Calvanese, Marco Montali, Fabio Patrizi, Michele Stawowy
2016KRRegular Open APIs.Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2016KROn First-Order μ-Calculus over Situation Calculus Action Theories.Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
2015AAAIVerification of Relational Multiagent Systems with Data Types.Diego Calvanese, Giorgio Delzanno, Marco Montali
2015BPMOntology-Driven Extraction of Event Logs from Relational Databases.Diego Calvanese, Marco Montali, Alifah Syamsiyah, Wil M. P. van der Aalst
2015EDBTThe NPD Benchmark: Reality Check for OBDA Systems.Davide Lanti, Martn Rezk, Guohui Xiao, Diego Calvanese
2015IJCAIData Complexity of Query Answering in Description Logics (Extended Abstract).Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2015IJCAIOn the Undecidability of the Situation Calculus Extended with Description Logic Ontologies.Diego Calvanese, Giuseppe De Giacomo, Mikhail Soutchanski
2015IJCAIDescription Logic Based Dynamic Systems: Modeling, Verification, and Synthesis.Diego Calvanese, Marco Montali, Fabio Patrizi, Giuseppe De Giacomo
2015IJCAIVerification of Generalized Inconsistency-Aware Knowledge and Action Bases.Diego Calvanese, Marco Montali, Ario Santoso
2014AAAIManaging Change in Graph-Structured Data Using Description Logics.Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2014AAAICapturing Relational Schemas and Functional Dependencies in RDFS.Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus
2014CIKMVerifiable UML Artifact-Centric Business Process Models.Diego Calvanese, Marco Montali, Montserrat Estaol, Ernest Teniente
2014IFMShape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures.Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
2014JELIAQuery Answering over Description Logic Ontologies.Diego Calvanese
2014JELIAVerification of Context-Sensitive Knowledge and Action Bases.Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, Ario Santoso
2014KRNested Regular Path Queries in Description Logics.Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2014KRState-Boundedness in Data-Aware Dynamic Systems.Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Alin Deutsch
2013IJCAIExchanging OWL 2 QL Knowledge Bases.Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov
2013IJCAIVerification of Inconsistency-Aware Knowledge and Action Bases.Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov
2013IJCNLPAutomated Activity Recognition in Clinical Documents.Camilo Thorne, Marco Montali, Diego Calvanese, Elena Cardillo, Claudio Eccher
2013ICSOCVerification of Semantically-Enhanced Artifact Systems.Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin
2013PODSFoundations of data-aware process analysis: a database theory perspective.Diego Calvanese, Giuseppe De Giacomo, Marco Montali
2013PODSVerification of relational data-centric dynamic systems with external services.Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali
2012ECAIVerification of Description Logic Knowledge and Action Bases.Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli, Marco Montali
2012ECAIIntroducing Datatypes in DL-Lite.Ognjen Savkovic, Diego Calvanese
2012KRExchanging Description Logic Knowledge Bases.Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov
2012KRSemantically-Governed Data-Aware Processes.Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, Ario Santoso
2012KRThe Complexity of Explaining Negative Query Answers in DL-Lite.Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni
2012KRHigh Performance Query Answering over DL-Lite Ontologies.Mariano Rodriguez-Muro, Diego Calvanese
2011BPMFoundations of Relational Artifacts Verification.Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli
2011ICDTSimplifying schema mappings.Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2011IJCAIA Practical Automata-Based Technique for Reasoning in Expressive Description Logics.Diego Calvanese, Domenico Carbotta, Magdalena Ortiz
2011IJCAIContainment of Regular Path Queries under Description Logic Constraints.Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2010AAAINode Selection Query Languages for Trees.Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2010AIMSAExpressive Approximations inElena Botoeva, Diego Calvanese, Mariano Rodriguez-Muro
2010ERFull Satisfiability of UML Class Diagrams.Alessandro Artale, Diego Calvanese, Yazmn Anglica Ibez-Garca
2010SACWeb-based graphical querying of databases through an ontology: the Wonder system.Diego Calvanese, C. Maria Keet, Werner Nutt, Mariano Rodriguez-Muro, Giorgio Stefanoni
2009DOLAPDiscovering functional dependencies for multidimensional design.Oscar Romero, Diego Calvanese, Alberto Abell, Mariano Rodriguez-Muro
2009FQASControlled Aggregate Tree Shaped Questions over Ontologies.Camilo Thorne, Diego Calvanese
2009IJCAIRegular Path Queries in Expressive Description Logics with Nominals.Diego Calvanese, Thomas Eiter, Magdalena Ortiz
2009ICSOCArtifact-Centric Workflow Dominance.Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Jianwen Su
2008CIKMAggregate queries over ontologies.Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Camilo Thorne
2008ICDENGS: a framework for multi-domain query answering.Daniele Braga, Diego Calvanese, Alessandro Campi, Stefano Ceri, Florian Daniel, Davide Martinenghi, Paolo Merialdo, Riccardo Torlone
2008ICDERealizing Ontology Based Data Access: A plug-in for protégé.Mariano Rodriguez-Muro, Lina Lubyte, Diego Calvanese
2008KRPath-Based Identification Constraints in Description Logics.Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2008KRView-Based Query Answering over Description Logic Ontologies.Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2007AAAIDL-Lite in the Light of First-Order Logic.Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
2007AAAIAnswering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach.Diego Calvanese, Thomas Eiter, Magdalena Ortiz
2007ERReasoning over Extended ER Models.Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2007ICDTOptimization of Query Plans in the presence of Access Limitations.Andrea Cal, Diego Calvanese, Davide Martinenghi
2007IJCAIEQL-Lite: Effective First-Order Query Processing in Description Logics.Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2006AAAICharacterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics.Magdalena Ortiz, Diego Calvanese, Thomas Eiter
2006ICWSComposingWeb Services with Nondeterministic Behavior.Daniela Berardi, Giuseppe De Giacomo, Massimo Mecella, Diego Calvanese
2006KRData Complexity of Query Answering in Description Logics.Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2006LRECMultilingual Search in Libraries. The case-study of the Free University of Bozen-Bolzano.Raffaella Bernardi, Diego Calvanese, Luca Dini, Vittorio Di Tomaso, Elisabeth Frasnelli, Ulrike Kugler, Barbara Plank
2005AAAIQuOnto: Querying Ontologies.Andrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, Riccardo Rosati
2005AAAIDL-Lite: Tractable Description Logics for Ontologies.Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2005CaiSEModeling Data & Processes for Service Specifications in Colombo.Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Maurizio Lenzerini, Massimo Mecella
2005ICDTView-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness.Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2005ICSOCComposition of Services with Nondeterministic Observable Behavior.Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Massimo Mecella
2005VLDBAutomatic Composition of Transition-based Semantic Web Services with Messaging.Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella
2005TABLEAUXQuery Processing in Peer-to-Peer Systems: An Epistemic Logic Approach.Diego Calvanese
2004ICSOCSynthesis of underspecified compositeDaniela Berardi, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, Diego Calvanese
2004KESA Logic-Based Approach for Matching User Profiles.Andrea Cal, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini
2004KRWhat to Ask to a Peer: Ontolgoy-based Query Reformulation.Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2004PODSLogical Foundations of Peer-To-Peer Data Integration.Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2003CaiSEIBIS: Semantic Data Integration at Work.Andrea Cal, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, Fabio Vernacotola
2003CaiSEData Integration in Data Warehousing (Keynote Address).Diego Calvanese
2003ICDTDecidable Containment of Recursive Queries.Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi
2003ICSOCAutomatic Composition of E-services That Export Their Behavior.Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella
2003PODSView-based query containment.Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2002CaiSEData Integration under Integrity Constraints.Andrea Cal, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2002EROn the Expressive Power of Data Integration Systems.Andrea Cal, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2002ISMISA Formal Framework for Reasoning on UML Class Diagrams.Andrea Cal, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2002KRReasoning about Actions and Planning in LTL Action Theories.Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi
2002LICSDescription Logics: Foundations for Class-based Knowledge Representation.Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2002PODSLossless Regular Views.Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2002SEKEThe multilingual thesaurus of LAURIN.Diego Calvanese, Tiziana Catarci, Maurizio Lenzerini, Giuseppe Santucci
2001ERAccessing Data Integration Systems through Conceptual Schemas.Andrea Cal, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2001IJCAIIdentification Constraints and Functional Dependencies in Description Logics.Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2000AAAIAnswering Queries Using Views over Description Logics Knowledge Bases.Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2000ICDEAnswering Regular Path Queries Using Views.Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2000KRContainment of Conjunctive Regular Path Queries with Inverse.Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2000LICSView-Based Query Processing and Constraint Satisfaction.Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2000PODSView-Based Query Processing for Regular Path Queries with Inverse.Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2000SIGMODConcept Based Design of Data Warehouses: The DWQ Demonstrators.Matthias Jarke, Christoph Quix, Diego Calvanese, Maurizio Lenzerini, Enrico Franconi, Spyros Ligoudistianos, Panos Vassiliadis, Yannis Vassiliou
1999CaiSEQueries and Constraints on Semi-structured Data.Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
1999IJCAIReasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees.Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
1999PODSRewriting of Regular Expressions and Regular Path Queries.Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
1998AAAIWhat can Knowledge Representation do for Semi-Structured Data?Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
1998CoopISInformation Integration: Conceptual Modeling and Reasoning Support.Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati
1998KRDescription Logic Framework for Information Integration.Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati
1998PODSOn the Decidability of Query Containment under Constraints.Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
1997ISMISRepresenting and Reasoning on SGML Documents.Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
1996ECAIReasoning with Inclusion Axioms in Description Logics: Algorithms and Complexity.Diego Calvanese
1996KRFinite Model Reasoning in Description Logics.Diego Calvanese
1994ICDEOn the Interaction Between ISA and Cardinality Constraints.Diego Calvanese, Maurizio Lenzerini
1994KRA Unified Framework for Class-Based Representation Formalisms.Diego Calvanese, Maurizio Lenzerini, Daniele Nardi
1994PODSMaking Object-Oriented Schemas More Expressive.Diego Calvanese, Maurizio Lenzerini