Calvanese, Diego

34 publications

AAAI 2023 SMT Safety Verification of Ontology-Based Processes Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali

IJCAI 2022 Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi

IJCAI 2020 Counting Query Answers over a DL-Lite Knowledge Base Diego Calvanese, Julien Corman, Davide Lanti, Simon Razniewski

IJCAI 2019 Enriching Ontology-Based Data Access with Provenance Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Peñaloza, Guohui Xiao

IJCAI 2018 Ontology-Based Data Access: A Survey Guohui Xiao, Diego Calvanese, Roman Kontchakov, Domenico Lembo, Antonella Poggi, Riccardo Rosati, Michael Zakharyaschev

AAAI 2016 Beyond OWL 2 QL in OBDA: Rewritings and Approximations Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando, Guohui Xiao

IJCAI 2016 Plan Synthesis for Knowledge and Action Bases Diego Calvanese, Marco Montali, Fabio Patrizi, Michele Stawowy

IJCAI 2015 Data Complexity of Query Answering in Description Logics (Extended Abstract) Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati

IJCAI 2015 Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis Diego Calvanese, Marco Montali, Fabio Patrizi, Giuseppe De Giacomo

IJCAI 2015 On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies Diego Calvanese, Giuseppe De Giacomo, Mikhail Soutchanski

IJCAI 2015 Verification of Generalized Inconsistency-Aware Knowledge and Action Bases Diego Calvanese, Marco Montali, Ario Santoso

AAAI 2015 Verification of Relational Multiagent Systems with Data Types Diego Calvanese, Giorgio Delzanno, Marco Montali

AAAI 2014 Capturing Relational Schemas and Functional Dependencies in RDFS Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus

AAAI 2014 Managing Change in Graph-Structured Data Using Description Logics Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus

JAIR 2013 Description Logic Knowledge and Action Bases Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli

IJCAI 2013 Exchanging OWL 2 QL Knowledge Bases Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov

JAIR 2013 Reasoning About Explanations for Negative Query Answers in DL-Lite Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni

IJCAI 2013 Verification of Inconsistency-Aware Knowledge and Action Bases Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov

IJCAI 2011 A Practical Automata-Based Technique for Reasoning in Expressive Description Logics Diego Calvanese, Domenico Carbotta, Magdalena Ortiz

IJCAI 2011 Containment of Regular Path Queries Under Description Logic Constraints Diego Calvanese, Magdalena Ortiz, Mantas Simkus

AAAI 2010 Node Selection Query Languages for Trees Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi

IJCAI 2009 Regular Path Queries in Expressive Description Logics with Nominals Diego Calvanese, Thomas Eiter, Magdalena Ortiz

JAIR 2009 The DL-Lite Family and Relations Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev

AAAI 2007 Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach Diego Calvanese, Thomas Eiter, Magdalena Ortiz

AAAI 2007 DL-Lite in the Light of First-Order Logic Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev

IJCAI 2007 EQL-Lite: Effective First-Order Query Processing in Description Logics Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati

AAAI 2006 Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics Magdalena Ortiz, Diego Calvanese, Thomas Eiter

AAAI 2005 DL-Lite: Tractable Description Logics for Ontologies Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati

AAAI 2005 QuOnto: Querying Ontologies Andrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, Riccardo Rosati

IJCAI 2001 Identification Constraints and Functional Dependencies in Description Logics Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini

AAAI 2000 Answering Queries Using Views over Description Logics Knowledge Bases Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini

IJCAI 1999 Reasoning in Expressive Description Logics with Fixpoints Based on Automata on Infinite Trees Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini

JAIR 1999 Unifying Class-Based Representation Formalisms Diego Calvanese, Maurizio Lenzerini, Daniele Nardi

AAAI 1998 What Can Knowledge Representation Do for Semi-Structured Data? Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini