default search action
Diego Calvanese
Person information
- affiliation: Free University of Bozen-Bolzano, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j77]Elena Romanenko, Diego Calvanese, Giancarlo Guizzardi:
Evaluating quality of ontology-driven conceptual models abstractions. Data Knowl. Eng. 153: 102342 (2024) - [j76]C. Aiswarya, Diego Calvanese, Francesco Di Cosmo, Marco Montali:
Verification of Unary Communicating Datalog Programs. Proc. ACM Manag. Data 2(2): 89 (2024) - [j75]Zhenzhen Gu, Francesco Corcoglioniti, Davide Lanti, Alessandro Mosca, Guohui Xiao, Jing Xiong, Diego Calvanese:
A systematic overview of data federation systems. Semantic Web 15(1): 107-165 (2024) - [j74]Roberto Confalonieri, Oliver Kutz, Diego Calvanese, Jose Maria Alonso-Moral, Shang-Ming Zhou:
The role of ontologies and knowledge in Explainable AI. Semantic Web 15(4): 933-936 (2024) - [c310]Zhenzhen Gu, Diego Calvanese, Marco Di Panfilo, Davide Lanti, Alessandro Mosca, Guohui Xiao:
OBDF: OBDA + Data Federation - Extended Abstract. ICDEW 2024: 381-383 - [c309]Elena Romanenko, Diego Calvanese, Giancarlo Guizzardi:
ExpO: Towards Explaining Ontology-Driven Conceptual Models. RCIS (2) 2024: 20-28 - [c308]Romuald Esdras Wandji, Diego Calvanese:
Ontology-Based Update in Virtual Knowledge Graphs via Schema Mapping Recovery. RuleML+RR 2024: 59-74 - [c307]Arka Ghosh, Albulen Pano, Guohui Xiao, Diego Calvanese:
OntoRaster: Extending VKGs with Raster Data. RuleML+RR 2024: 108-123 - [c306]Cyriac Aiswarya, Diego Calvanese, Francesco Di Cosmo, Marco Montali:
Verification of Unary Communicating Datalog Programs. SEBD 2024: 185-194 - [i45]Mattia Fumagalli, Tiago Prince Sales, Pedro Paulo F. Barcelos, Giovanni Micale, Vadim Zaytsev, Diego Calvanese, Giancarlo Guizzardi:
Mining Frequent Structures in Conceptual Models. CoRR abs/2406.07129 (2024) - 2023
- [j73]Iris Beerepoot, Claudio Di Ciccio, Hajo A. Reijers, Stefanie Rinderle-Ma, Wasana Bandara, Andrea Burattin, Diego Calvanese, Tianwa Chen, Izack Cohen, Benoît Depaire, Gemma Di Federico, Marlon Dumas, Christopher G. J. van Dun, Tobias Fehrer, Dominik Andreas Fischer, Avigdor Gal, Marta Indulska, Vatche Isahagian, Christopher Klinkmüller, Wolfgang Kratsch, Henrik Leopold, Amy Van Looy, Hugo A. López, Sanja Lukumbuzya, Jan Mendling, Lara Meyers, Linda Moder, Marco Montali, Vinod Muthusamy, Manfred Reichert, Yara Rizk, Michael Rosemann, Maximilian Röglinger, Shazia Sadiq, Ronny Seiger, Tijs Slaats, Mantas Simkus, Ida Asadi Someh, Barbara Weber, Ingo Weber, Mathias Weske, Francesca Zerbato:
The biggest business process management problems to solve before we die. Comput. Ind. 146: 103837 (2023) - [j72]Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga:
Conceptually-grounded mapping patterns for Virtual Knowledge Graphs. Data Knowl. Eng. 145: 102157 (2023) - [j71]Daniela D'Auria, Raffaele Russo, Alfonso Fedele, Federica Addabbo, Diego Calvanese:
An intelligent telemonitoring application for coronavirus patients: reCOVeryaID. Frontiers Big Data 6 (2023) - [j70]Younes Hamdani, Guohui Xiao, Linfang Ding, Diego Calvanese:
An Ontology-Based Framework for Geospatial Integration and Querying of Raster Data Cube Using Virtual Knowledge Graphs. ISPRS Int. J. Geo Inf. 12(9): 375 (2023) - [j69]Marlon Dumas, Fabiana Fournier, Lior Limonad, Andrea Marrella, Marco Montali, Jana-Rebecca Rehse, Rafael Accorsi, Diego Calvanese, Giuseppe De Giacomo, Dirk Fahland, Avigdor Gal, Marcello La Rosa, Hagen Völzer, Ingo Weber:
AI-augmented Business Process Management Systems: A Research Manifesto. ACM Trans. Manag. Inf. Syst. 14(1): 11:1-11:19 (2023) - [c305]Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali:
SMT Safety Verification of Ontology-Based Processes. AAAI 2023: 6271-6279 - [c304]Hubert Alisade, Diego Calvanese, Mario Klarer, Alessandro Mosca, Nonyelum Ndefo, Bernadette Rangger, Aaron Tratter:
Exploration of Medieval Manuscripts through Keyword Spotting in the MENS Project. DP@AI*IA 2023: 67-74 - [c303]Diego Calvanese, Cem Okulmus, Magdalena Ortiz, Mantas Simkus:
On the Way to Temporal OBDA Systems (short paper). AMW 2023 - [c302]Diego Calvanese, Mieke Jans, Tahir Emre Kalayci, Marco Montali:
Extracting Event Data from Document-Driven Enterprise Systems. CAiSE 2023: 193-209 - [c301]Davide Lanti, Alessandro Mosca, Diego Calvanese, Marco Montali:
Direct Mappings under the Lens of Information Capacity (Extended Abstract). Description Logics 2023 - [c300]Elena Romanenko, Oliver Kutz, Diego Calvanese, Giancarlo Guizzardi:
Towards Semantics for Abstractions in Ontology-Driven Conceptual Modeling. ER (Workshops) 2023: 199-209 - [c299]Elena Romanenko, Diego Calvanese, Giancarlo Guizzardi:
What Do Users Think About Abstractions of Ontology-Driven Conceptual Models? RCIS 2023: 53-68 - [c298]Arka Ghosh, Mantas Simkus, Diego Calvanese:
Semantic Querying of Integrated Raster and Relational Data: A Virtual Knowledge Graph Approach. RuleML+RR (Companion) 2023 - [c297]Romuald Esdras Wandji, Mantas Simkus, Diego Calvanese:
Towards Techniques for Updating Virtual Knowledge Graphs. RuleML+RR (Companion) 2023 - [c296]Zhenzhen Gu, Diego Calvanese, Marco Di Panfilo, Davide Lanti, Alessandro Mosca, Guohui Xiao:
Ontology-Based Data Federation - A Framework Proposal. SEBD 2023: 210-219 - [e21]Bohan Li, Lin Yue, Chuanqi Tao, Xuming Han, Diego Calvanese, Toshiyuki Amagasa:
Web and Big Data - 6th International Joint Conference, APWeb-WAIM 2022, Nanjing, China, November 25-27, 2022, Proceedings, Part I. Lecture Notes in Computer Science 13421, Springer 2023, ISBN 978-3-031-25157-3 [contents] - [e20]Bohan Li, Lin Yue, Chuanqi Tao, Xuming Han, Diego Calvanese, Toshiyuki Amagasa:
Web and Big Data - 6th International Joint Conference, APWeb-WAIM 2022, Nanjing, China, November 25-27, 2022, Proceedings, Part II. Lecture Notes in Computer Science 13422, Springer 2023, ISBN 978-3-031-25197-9 [contents] - [e19]Bohan Li, Lin Yue, Chuanqi Tao, Xuming Han, Diego Calvanese, Toshiyuki Amagasa:
Web and Big Data - 6th International Joint Conference, APWeb-WAIM 2022, Nanjing, China, November 25-27, 2022, Proceedings, Part III. Lecture Notes in Computer Science 13423, Springer 2023, ISBN 978-3-031-25200-6 [contents] - [e18]Diego Calvanese, Claudia Diamantini, Guglielmo Faggioli, Nicola Ferro, Stefano Marchesin, Gianmaria Silvello, Letizia Tanca:
Proceedings of the 31st Symposium of Advanced Database Systems, Galzingano Terme, Italy, July 2nd to 5th, 2023. CEUR Workshop Proceedings 3478, CEUR-WS.org 2023 [contents] - [i44]Linfang Ding, Guohui Xiao, Albulen Pano, Mattia Fumagalli, Dongsheng Chen, Yu Feng, Diego Calvanese, Hongchao Fan, Liqiu Meng:
Integrating 3D City Data through Knowledge Graphs. CoRR abs/2310.11555 (2023) - 2022
- [j68]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Combination of Uniform Interpolants via Beth Definability. J. Autom. Reason. 66(3): 409-435 (2022) - [c295]Zhenzhen Gu, Davide Lanti, Alessandro Mosca, Guohui Xiao, Jing Xiong, Diego Calvanese:
Ontology-based Data Federation (Extended Abstract). Description Logics 2022 - [c294]Jing Xiong, Guohui Xiao, Tahir Emre Kalayci, Marco Montali, Zhenzhen Gu, Diego Calvanese:
Extraction of Object-Centric Event Logs through Virtual Knowledge Graphs (Extended Abstract). Description Logics 2022 - [c293]Elena Romanenko, Diego Calvanese, Giancarlo Guizzardi:
Towards Pragmatic Explanations for Domain Ontologies. EKAW 2022: 201-208 - [c292]Jing Xiong, Guohui Xiao, Tahir Emre Kalayci, Marco Montali, Zhenzhen Gu, Diego Calvanese:
A Virtual Knowledge Graph Based Approach for Object-Centric Event Logs Extraction. ICPM Workshops 2022: 466-478 - [c291]Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
Verification of Generic, Relational Transition Systems. PMAI@IJCAI 2022: 93-96 - [c290]Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces. IJCAI 2022: 2553-2560 - [c289]Zhenzhen Gu, Davide Lanti, Alessandro Mosca, Guohui Xiao, Jing Xiong, Diego Calvanese:
Ontology-based Data Federation. IJCKG 2022: 10-19 - [c288]Elena Romanenko, Diego Calvanese, Giancarlo Guizzardi:
Abstracting Ontology-Driven Conceptual Models: Objects, Aspects, Events, and Their Parts. RCIS 2022: 372-388 - [c287]Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga:
Conceptually-grounded Mapping Patterns for Virtual Knowledge Graphs. SEBD 2022: 85-92 - [e17]Alessandro Artale, Diego Calvanese, Haofen Wang, Xiaowang Zhang:
Proceedings of the 11th International Joint Conference on Knowledge Graphs, IJCKG 2022, Hangzhou, China, October 27-28, 2022. ACM 2022, ISBN 978-1-4503-9987-6 [contents] - [i43]Marlon Dumas, Fabiana Fournier, Lior Limonad, Andrea Marrella, Marco Montali, Jana-Rebecca Rehse, Rafael Accorsi, Diego Calvanese, Giuseppe De Giacomo, Dirk Fahland, Avigdor Gal, Marcello La Rosa, Hagen Völzer, Ingo Weber:
Augmented Business Process Management Systems: A Research Manifesto. CoRR abs/2201.12855 (2022) - 2021
- [j67]Xin Wang, Diego Calvanese:
Editorial for Special Issue of Journal of Big Data Research on "Big Data Meets Knowledge Graphs". Big Data Res. 25: 100215 (2021) - [j66]Linfang Ding, Guohui Xiao, Diego Calvanese, Liqiu Meng:
Consistency assessment for open geodata integration: an ontology-based approach. GeoInformatica 25(4): 733-758 (2021) - [j65]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Model Completeness, Uniform Interpolants and Superposition Calculus. J. Autom. Reason. 65(7): 941-969 (2021) - [j64]Diego Calvanese, Davide Lanti, Tarcisio Mendes de Farias, Alessandro Mosca, Guohui Xiao:
Accessing scientific data through knowledge graphs with Ontop. Patterns 2(10): 100346 (2021) - [j63]Sihem Amer-Yahia, Georgia Koutrika, Martin Braschler, Diego Calvanese, Davide Lanti, Hendrik Lücke-Tieke, Alessandro Mosca, Tarcisio Mendes de Farias, Dimitris Papadopoulos, Yogendra Patil, Guillem Rull, Ellery Smith, Dimitrios Skoutas, Srividya Subramanian, Kurt Stockinger:
INODE: Building an End-to-End Data Exploration System in Practice. SIGMOD Rec. 50(4): 23-29 (2021) - [j62]Linfang Ding, Guohui Xiao, Albulen Pano, Claus Stadler, Diego Calvanese:
Towards the next generation of the LinkedGeoData project using virtual knowledge graphs. J. Web Semant. 71: 100662 (2021) - [c286]Diego Calvanese, Sanja Lukumbuzya, Marco Montali, Mantas Simkus:
Process Mining with Common Sense. Problems@BPM 2021: 45-50 - [c285]Diego Calvanese, Avigdor Gal, Naor Haba, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga:
ADaMaP: Automatic Alignment of Relational Data Sources Using Mapping Patterns. CAiSE 2021: 193-209 - [c284]Diego Calvanese, Linfang Ding, Alessandro Mosca, Guohui Xiao:
Realizing Ontology-based Reusable Interfaces for Data Access via Virtual Knowledge Graphs. CHItaly 2021: 35:1-35:5 - [c283]Diego Calvanese, Francesco Di Cosmo, Jorge Lobo, Marco Montali:
Convergence Verification of Declarative Distributed Systems. CILC 2021: 62-76 - [c282]Diego Calvanese, Avigdor Gal, Naor Haba, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga:
ADaMaP: Automatic Alignment of Relational Data Sources using Mapping Patterns (Abstract). Description Logics 2021 - [c281]Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali:
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results). Description Logics 2021 - [e16]Roberto Confalonieri, Oliver Kutz, Diego Calvanese:
Proceedings of the Workshop on Data meets Applied Ontologies in Explainable AI (DAO-XAI 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 18th to 19th, 2021. CEUR Workshop Proceedings 2998, CEUR-WS.org 2021 [contents] - [i42]Sihem Amer-Yahia, Georgia Koutrika, Frederic B. Bastian, Theofilos Belmpas, Martin Braschler, Ursin Brunner, Diego Calvanese, Maximilian Fabricius, Orest Gkini, Catherine Kosten, Davide Lanti, Antonis Litke, Hendrik Lücke-Tieke, Francesco Alessandro Massucci, Tarcisio Mendes de Farias, Alessandro Mosca, Francesco Multari, Nikolaos Papadakis, Dimitris Papadopoulos, Yogendra Patil, Aurélien Personnaz, Guillem Rull, Ana Claudia Sima, Ellery Smith, Dimitrios Skoutas, Srividya Subramanian, Guohui Xiao, Kurt Stockinger:
INODE: Building an End-to-End Data Exploration System in Practice [Extended Vision]. CoRR abs/2104.04194 (2021) - [i41]Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali:
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version). CoRR abs/2108.12330 (2021) - 2020
- [j61]Linfang Ding, Guohui Xiao, Diego Calvanese, Liqiu Meng:
A Framework Uniting Ontology-Based Geodata Integration and Geovisual Analytics. ISPRS Int. J. Geo Inf. 9(8): 474 (2020) - [j60]Diego Calvanese, Mantas Simkus:
Interview with Diego Calvanese. Künstliche Intell. 34(4): 551-555 (2020) - [j59]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
SMT-based verification of data-aware processes: a model-theoretic approach. Math. Struct. Comput. Sci. 30(3): 271-313 (2020) - [j58]Diego Calvanese, Paul Fodor, Marco Montali:
Report on the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019). ACM SIGLOG News 7(2): 16-18 (2020) - [c280]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Combined Covers and Beth Definability. IJCAR (1) 2020: 181-200 - [c279]Guohui Xiao, Davide Lanti, Roman Kontchakov, Sarah Komla-Ebri, Elem Güzel Kalayci, Linfang Ding, Julien Corman, Benjamin Cogrel, Diego Calvanese, Elena Botoeva:
The Virtual Knowledge Graph System Ontop (Extended Abstract). Description Logics 2020 - [c278]Diego Calvanese, Julien Corman, Davide Lanti, Simon Razniewski:
Rewriting Count Queries over DL-Lite TBoxes with Number Restrictions. Description Logics 2020 - [c277]Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga:
Mapping Patterns for Virtual Knowledge Graphs (A Report on Ongoing Research). Description Logics 2020 - [c276]Diego Calvanese, Julien Corman, Davide Lanti, Simon Razniewski:
Counting Query Answers over a DL-Lite Knowledge Base. IJCAI 2020: 1658-1666 - [c275]Guohui Xiao, Davide Lanti, Roman Kontchakov, Sarah Komla-Ebri, Elem Güzel Kalayci, Linfang Ding, Julien Corman, Benjamin Cogrel, Diego Calvanese, Elena Botoeva:
The Virtual Knowledge Graph System Ontop. ISWC (2) 2020: 259-277 - [c274]Elem Guzel Kalayci, Irlán Grangel-González, Felix Loesch, Guohui Xiao, Anees Mehdi, Evgeny Kharlamov, Diego Calvanese:
Serving Bosch Production Data as Virtual KGs. ISWC (Demos/Industry) 2020: 354-358 - [c273]Elem Güzel Kalayci, Irlán Grangel-González, Felix Lösch, Guohui Xiao, Anees ul Mehdi, Evgeny Kharlamov, Diego Calvanese:
Semantic Integration of Bosch Manufacturing Data Using Virtual Knowledge Graphs. ISWC (2) 2020: 464-481 - [e15]Diego Calvanese, Esra Erdem, Michael Thielscher:
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020. 2020, ISBN 978-0-9992411-7-2 [contents] - [i40]Dmitriy Zheleznyakov, Evgeny Kharlamov, Werner Nutt, Diego Calvanese:
On Expansion and Contraction of DL-Lite Knowledge Bases. CoRR abs/2001.09365 (2020) - [i39]Diego Calvanese, Julien Corman, Davide Lanti, Simon Razniewski:
Counting Query Answers over a DL-Lite Knowledge Base (extended version). CoRR abs/2005.05886 (2020) - [i38]Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga:
Mapping Patterns for Virtual Knowledge Graphs. CoRR abs/2012.01917 (2020)
2010 – 2019
- 2019
- [j57]Elem Güzel Kalayci, Sebastian Brandt, Diego Calvanese, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev:
Ontology-based access to temporal data with Ontop: A framework proposal. Int. J. Appl. Math. Comput. Sci. 29(1): 17-30 (2019) - [j56]Guohui Xiao, Linfang Ding, Benjamin Cogrel, Diego Calvanese:
Virtual Knowledge Graphs: An Overview of Systems and Use Cases. Data Intell. 1(3): 201-223 (2019) - [j55]Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Julien Corman, Guohui Xiao:
Ontology-based data access - Beyond relational sources. Intelligenza Artificiale 13(1): 21-36 (2019) - [j54]Davide Lanti, Guohui Xiao, Diego Calvanese:
VIG: Data scaling for OBDA benchmarks. Semantic Web 10(2): 413-433 (2019) - [j53]Diego Calvanese, Marco Montali, Marlon Dumas, Fabrizio Maria Maggi:
Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge. Theory Pract. Log. Program. 19(4): 536-573 (2019) - [j52]Dmitriy Zheleznyakov, Evgeny Kharlamov, Werner Nutt, Diego Calvanese:
On expansion and contraction of DL-Lite knowledge bases. J. Web Semant. 57 (2019) - [c272]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
The What-To-Ask Problem for Ontology-Based Peers. Description Logic, Theory Combination, and All That 2019: 187-211 - [c271]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
From Model Completeness to Verification of Data Aware Processes. Description Logic, Theory Combination, and All That 2019: 212-239 - [c270]Alessandro Artale, Diego Calvanese, Marco Montali, Wil M. P. van der Aalst:
Enriching Data Models with Behavioral Constraints. Ontology Makes Sense 2019: 257-277 - [c269]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN. BPM 2019: 157-175 - [c268]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Model Completeness, Covers and Superposition. CADE 2019: 142-160 - [c267]Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin:
Modeling and In-Database Management of Relational, Data-Aware Processes. CAiSE 2019: 328-345 - [c266]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Model Completeness, Covers and Superposition (Abridged Version). CILC 2019 - [c265]Evellin Cardoso, Marco Montali, Diego Calvanese:
Representing and Querying Norm States Using Temporal Ontology-Based Data Access. EDOC 2019: 122-131 - [c264]Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Peñaloza, Guohui Xiao:
Enriching Ontology-based Data Access with Provenance. IJCAI 2019: 1616-1623 - [c263]Sebastian Brandt, Diego Calvanese, Elem Güzel Kalayci, Roman Kontchakov, Benjamin Mörzinger, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev:
Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases. TIME 2019: 7:1-7:15 - [e14]Diego Calvanese, Luca Iocchi:
GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019. EPiC Series in Computing 65, EasyChair 2019 [contents] - [e13]Paul Fodor, Marco Montali, Diego Calvanese, Dumitru Roman:
Rules and Reasoning - Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings. Lecture Notes in Computer Science 11784, Springer 2019, ISBN 978-3-030-31094-3 [contents] - [i37]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN. CoRR abs/1905.12991 (2019) - [i36]Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Peñaloza, Guohui Xiao:
Enriching Ontology-based Data Access with Provenance (Extended Version). CoRR abs/1906.00179 (2019) - [i35]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version). CoRR abs/1906.07811 (2019) - [i34]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Combined Covers and Beth Definability. CoRR abs/1911.07774 (2019) - 2018
- [j51]Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi:
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). Dagstuhl Manifestos 7(1): 1-29 (2018) - [j50]Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
First-order μ-calculus over generic transition systems and applications to the situation calculus. Inf. Comput. 259(3): 328-347 (2018) - [j49]Diego Calvanese, Marlon Dumas, Ülari Laurson, Fabrizio Maria Maggi, Marco Montali, Irene Teinemaa:
Semantics, Analysis and Simplification of DMN Decision Tables. Inf. Syst. 78: 112-125 (2018) - [c262]Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Julien Corman, Guohui Xiao:
A Generalized Framework for Ontology-Based Data Access. AI*IA 2018: 166-180 - [c261]Diego Calvanese, Marco Montali, Jorge Lobo:
Verification of Fixed-Topology Declarative Distributed Systems with External Data. AMW 2018 - [c260]Elem Güzel Kalayci, Guohui Xiao, Vladislav Ryzhikov, Tahir Emre Kalayci, Diego Calvanese:
Ontop-temporal: A Tool for Ontology-based Query Answering over Temporal Data. CIKM 2018: 1927-1930 - [c259]Diego Calvanese, Guohui Xiao:
Semantic Technologies for Data Access and Integration. CIKM 2018: 2303-2304 - [c258]Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso, Wil M. P. van der Aalst:
Conceptual Schema Transformation in Ontology-based Data Access (Extended Abstract). Description Logics 2018 - [c257]Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso, Wil M. P. van der Aalst:
Conceptual Schema Transformation in Ontology-Based Data Access. EKAW 2018: 50-67 - [c256]Guohui Xiao, Dag Hovland, Dimitris Bilidas, Martin Rezk, Martin Giese, Diego Calvanese:
Efficient Ontology-Based Data Integration with Canonical IRIs. ESWC 2018: 697-713 - [c255]Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Guohui Xiao:
Expressivity and Complexity of MongoDB Queries. ICDT 2018: 9:1-9:23 - [c254]Guohui Xiao, Diego Calvanese, Roman Kontchakov, Domenico Lembo, Antonella Poggi, Riccardo Rosati, Michael Zakharyaschev:
Ontology-Based Data Access: A Survey. IJCAI 2018: 5511-5519 - [c253]Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Guohui Xiao:
Formalization and Complexity of MongoDB Queries (Extended Abstract). SEBD 2018 - [c252]Guohui Xiao, Roman Kontchakov, Benjamin Cogrel, Diego Calvanese, Elena Botoeva:
Efficient Handling of SPARQL OPTIONAL for OBDA. ISWC (1) 2018: 354-373 - [p7]Diego Calvanese, Enrico Franconi:
First-Order Ontology Mediated Database Querying via Query Reformulation. A Comprehensive Guide Through the Italian Database Research 2018: 169-185 - [e12]Stefano Borgo, Oliver Kutz, Frank Loebe, Fabian Neuhaus, Kemo Adrian, Mihailo Antovic, Valerio Basile, Martin Boeker, Diego Calvanese, Tommaso Caselli, Giorgio Colombo, Roberto Confalonieri, Laura Daniele, Jérôme Euzenat, Antony Galton, Dagmar Gromann, Maria M. Hedblom, Heinrich Herre, Inge Hinterwaldner, Andrea Janes, Ludger Jansen, Kris Krois, Antonio Lieto, Claudio Masolo, Rafael Peñaloza, Daniele Porello, Daniele Paolo Radicioni, Emilio M. Sanfilippo, Daniel Schober, Rossella Stufano, Amanda Vizedom:
Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, Bozen-Bolzano, Italy, September 21-23, 2017. CEUR Workshop Proceedings 2050, CEUR-WS.org 2018 [contents] - [r1]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Ontology-Based Data Access and Integration. Encyclopedia of Database Systems (2nd ed.) 2018 - [i33]Guohui Xiao, Roman Kontchakov, Benjamin Cogrel, Diego Calvanese, Elena Botoeva:
Efficient Handling of SPARQL OPTIONAL for OBDA (Extended Version). CoRR abs/1806.05918 (2018) - [i32]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Quantifier Elimination for Database Driven Verification. CoRR abs/1806.09686 (2018) - [i31]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Verification of Data-Aware Processes via Array-Based Systems (Extended Version). CoRR abs/1806.11459 (2018) - [i30]Diego Calvanese, Marlon Dumas, Fabrizio Maria Maggi, Marco Montali:
Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge. CoRR abs/1807.11615 (2018) - [i29]Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin:
Modelling and Enactment of Data-aware Processes. CoRR abs/1810.08062 (2018) - 2017
- [j48]Diego Calvanese, Marlon Dumas, Ülari Laurson, Fabrizio Maria Maggi, Marco Montali, Irene Teinemaa:
Semantics and Analysis of DMN Decision Tables. EMISA Forum 37(1): 49-51 (2017) - [j47]Diego Calvanese, Benjamin Cogrel, Sarah Komla-Ebri, Roman Kontchakov, Davide Lanti, Martin Rezk, Mariano Rodriguez-Muro, Guohui Xiao:
Ontop: Answering SPARQL queries over relational databases. Semantic Web 8(3): 471-487 (2017) - [j46]Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Managing Change in Graph-Structured Data Using Description Logics. ACM Trans. Comput. Log. 18(4): 27:1-27:35 (2017) - [c251]Andreas Behrend, Diego Calvanese, Tania Cerquitelli, Silvia Chiusano, Christiane Engels, Stéphane Jean, Natalija Kozmina, Béatrice Markhoff, Oscar Romero, Sahar Vahdati:
New Trends in Databases and Information Systems: Contributions from ADBIS 2017 Workshops. ADBIS (Short Papers and Workshops) 2017: 111-122 - [c250]Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Guohui Xiao:
Formalizing MongoDB Queries. AMW 2017 - [c249]Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Stefano Tinella:
Ontology-Based Data Access for Extracting Event Logs from Legacy Data: The onprom Tool and Methodology. BIS 2017: 220-236 - [c248]Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso:
The onprom Toolchain for Extracting Business Process Logs using Ontology-based Data Access. BPM (Demos) 2017 - [c247]Diego Calvanese, Marlon Dumas, Fabrizio Maria Maggi, Marco Montali:
Semantic DMN: Formalizing Decision Models with Domain Knowledge. RuleML+RR 2017: 70-86 - [c246]Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso:
OBDA for Log Extraction in Process Mining. RW 2017: 292-345 - [c245]Davide Lanti, Guohui Xiao, Diego Calvanese:
Cost-Driven Ontology-Based Data Access. ISWC (1) 2017: 452-470 - [e11]Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao:
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering - 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures. Lecture Notes in Computer Science 9885, Springer 2017, ISBN 978-3-319-49492-0 [contents] - [i28]Diego Calvanese, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev:
Metric Temporal Logic for Ontology-Based Data Access over Log Data. CoRR abs/1701.00976 (2017) - [i27]Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi:
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). CoRR abs/1701.09007 (2017) - [i26]Davide Lanti, Guohui Xiao, Diego Calvanese:
Cost-Driven Ontology-Based Data Access (Extended Version). CoRR abs/1707.06974 (2017) - 2016
- [j45]Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov:
Knowledge base exchange: The case of OWL 2 QL. Artif. Intell. 238: 11-62 (2016) - [j44]Diego Calvanese, Pietro Maria Liuzzo, Alessandro Mosca, José Remesal, Martin Rezk, Guillem Rull:
Ontology-based data integration in EPNet: Production and distribution of food during the Roman Empire. Eng. Appl. Artif. Intell. 51: 212-229 (2016) - [j43]Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi:
Research Directions for Principles of Data Management (Abridged). SIGMOD Rec. 45(4): 5-17 (2016) - [j42]Marco Montali, Diego Calvanese:
Soundness of data-aware, case-centric processes. Int. J. Softw. Tools Technol. Transf. 18(5): 535-558 (2016) - [c244]Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando, Guohui Xiao:
Beyond OWL 2 QL in OBDA: Rewritings and Approximations. AAAI 2016: 921-928 - [c243]Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Martin Rezk, Guohui Xiao:
OBDA Over Non-Relational Databases. AMW 2016 - [c242]Matteo Baldoni, Cristina Baroglio, Diego Calvanese, Roberto Micalizio, Marco Montali:
Towards Data- and Norm-Aware Multiagent Systems. EMAS@AAMAS 2016: 22-38 - [c241]Evgeny Kharlamov, Theofilos P. Mailis, Konstantina Bereta, Dimitris Bilidas, Sebastian Brandt, Ernesto Jiménez-Ruiz, Steffen Lamparter, Christian Neuenstadt, Özgür L. Özçep, Ahmet Soylu, Christoforos Svingos, Guohui Xiao, Dmitriy Zheleznyakov, Diego Calvanese, Ian Horrocks, Martin Giese, Yannis E. Ioannidis, Yannis Kotidis, Ralf Möller, Arild Waaler:
A semantic approach to polystores. IEEE BigData 2016: 2565-2573 - [c240]Diego Calvanese, Marlon Dumas, Ülari Laurson, Fabrizio Maria Maggi, Marco Montali, Irene Teinemaa:
Semantics and Analysis of DMN Decision Tables. BPM 2016: 217-233 - [c239]Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Martin Rezk, Guohui Xiao:
OBDA Beyond Relational DBs: A Study for MongoDB. Description Logics 2016 - [c238]Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando, Guohui Xiao:
Virtual OBDA over Expressive Ontologies: Rewritings and Approximations. Description Logics 2016 - [c237]Diego Calvanese:
Managing Change in Graph-structured Data Using Description Logics. Description Logics 2016 - [c236]Diego Calvanese, Marco Montali, Fabio Patrizi, Michele Stawowy:
Synthesizing and Executing Plans in Knowledge and Action Bases. Description Logics 2016 - [c235]Albin Ahmeti, Diego Calvanese, Axel Polleres, Vadim Savenkov:
Handling Inconsistencies Due to Class Disjointness in SPARQL Updates. ESWC 2016: 387-404 - [c234]Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Verification of Evolving Graph-structured Data under Expressive Path Constraints. ICDT 2016: 15:1-15:19 - [c233]Diego Calvanese, Marco Montali, Fabio Patrizi, Michele Stawowy:
Plan Synthesis for Knowledge and Action Bases. IJCAI 2016: 1022-1029 - [c232]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Regular Open APIs. KR 2016: 329-338 - [c231]Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
On First-Order μ-Calculus over Situation Calculus Action Theories. KR 2016: 411-420 - [c230]Diego Calvanese, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao:
Towards Practical OBDA with Temporal Ontologies - (Position Paper). RR 2016: 18-24 - [c229]Davide Lanti, Guohui Xiao, Diego Calvanese:
An Evaluation of VIG with the BSBM Benchmark. ISWC (Posters & Demos) 2016 - [c228]Davide Lanti, Guohui Xiao, Diego Calvanese:
Fast and Simple Data Scaling for OBDA Benchmarks. BLINK@ISWC 2016 - [e10]Diego Calvanese, Dario De Nart, Carlo Tasso:
Digital Libraries on the Move - 11th Italian Research Conference on Digital Libraries, IRCDL 2015, Bolzano, Italy, January 29-30, 2015, Revised Selected Papers. Communications in Computer and Information Science 612, Springer 2016, ISBN 978-3-319-41937-4 [contents] - [i25]Diego Calvanese, Marlon Dumas, Ülari Laurson, Fabrizio Maria Maggi, Marco Montali, Irene Teinemaa:
Semantics and Analysis of DMN Decision Tables. CoRR abs/1603.07466 (2016) - [i24]Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Martin Rezk, Guohui Xiao:
A Formal Presentation of MongoDB (Extended Version). CoRR abs/1603.09291 (2016) - [i23]Davide Lanti, Guohui Xiao, Diego Calvanese:
Data Scaling in OBDA Benchmarks: The VIG Approach. CoRR abs/1607.06343 (2016) - 2015
- [j41]Diego Calvanese:
Report on PODS 2015. SIGACT News 46(4): 79-81 (2015) - [j40]Diego Calvanese, Manolis Koubarakis, David Toman:
Special issue of the Journal of Web Semantics on ontology-based data access. J. Web Semant. 33: 1-2 (2015) - [c227]Diego Calvanese, Giorgio Delzanno, Marco Montali:
Verification of Relational Multiagent Systems with Data Types. AAAI 2015: 2031-2037 - [c226]Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin:
Implementing Data-Centric Dynamic Systems over a Relational DBMS. AMW 2015 - [c225]Diego Calvanese, Marco Montali, Alifah Syamsiyah, Wil M. P. van der Aalst:
Ontology-Driven Extraction of Event Logs from Relational Databases. Business Process Management Workshops 2015: 140-153 - [c224]Diego Calvanese, Alessandro Mosca, José Remesal, Martín Rezk, Guillem Rull:
A 'historical case' of Ontology-Based Data Access. Digital Heritage 2015: 291-298 - [c223]Albin Ahmeti, Diego Calvanese, Axel Polleres, Vadim Savenkov:
Dealing with Inconsistencies due to Class Disjointness in SPARQL Update. Description Logics 2015 - [c222]Diego Calvanese, Marco Montali, Ario Santoso:
Inconsistency Management in Generalized Knowledge and Action Bases. Description Logics 2015 - [c221]Davide Lanti, Martín Rezk, Guohui Xiao, Diego Calvanese:
The NPD Benchmark: Reality Check for OBDA Systems. EDBT 2015: 617-628 - [c220]Diego Calvanese, Benjamin Cogrel, Sarah Komla-Ebri, Davide Lanti, Martín Rezk, Guohui Xiao:
How to Stay Ontop of Your Data: Databases, Ontologies and More. ESWC (Satellite Events) 2015: 20-25 - [c219]Diego Calvanese, Giuseppe De Giacomo, Mikhail Soutchanski:
On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies. IJCAI 2015: 2840-2846 - [c218]Diego Calvanese, Marco Montali, Ario Santoso:
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases. IJCAI 2015: 2847-2853 - [c217]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Data Complexity of Query Answering in Description Logics (Extended Abstract). IJCAI 2015: 4163-4167 - [c216]Diego Calvanese, Marco Montali, Fabio Patrizi, Giuseppe De Giacomo:
Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis. IJCAI 2015: 4247-4253 - [c215]Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin:
Leveraging Relational Technology for Data-Centric Dynamic Systems. SEBD 2015: 60-71 - [c214]Diego Calvanese, Benjamin Cogrel, Elem Guzel Kalayci, Sarah Komla-Ebri, Roman Kontchakov, Davide Lanti, Martin Rezk, Mariano Rodriguez-Muro, Guohui Xiao:
OBDA with the Ontop Framework. SEBD 2015: 296-303 - [c213]Diego Calvanese, Martin Giese, Dag Hovland, Martin Rezk:
Ontology-Based Integration of Cross-Linked Datasets. ISWC (1) 2015: 199-216 - [e9]Diego Calvanese, Boris Konev:
Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015. CEUR Workshop Proceedings 1350, CEUR-WS.org 2015 [contents] - [e8]Tova Milo, Diego Calvanese:
Proceedings of the 34th ACM Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015. ACM 2015, ISBN 978-1-4503-2757-2 [contents] - [i22]Diego Calvanese, Marco Montali, Ario Santoso:
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases (Extended Version). CoRR abs/1504.08108 (2015) - [i21]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Node Selection Query Languages for Trees. CoRR abs/1509.08979 (2015) - [i20]Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando, Guohui Xiao:
Beyond OWL 2 QL in OBDA: Rewritings and Approximations (Extended Version). CoRR abs/1511.08412 (2015) - 2014
- [j39]Diego Calvanese, Thomas Eiter, Magdalena Ortiz:
Answering regular path queries in expressive Description Logics via alternating tree-automata. Inf. Comput. 237: 12-55 (2014) - [c212]Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Managing Change in Graph-Structured Data Using Description Logics. AAAI 2014: 966-973 - [c211]Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus:
Capturing Relational Schemas and Functional Dependencies in RDFS. AAAI 2014: 1003-1011 - [c210]Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali:
Verification of Human Driven Data-Centric Dynamic Systems. AAAI Spring Symposia 2014 - [c209]Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Planning and Change in Graph Structured Data under Description Logics Constraints. AMW 2014 - [c208]Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Nested Regular Path Queries in Description Logics (Extended Abstract). AMW 2014 - [c207]Marco Montali, Diego Calvanese, Giuseppe De Giacomo:
Verification of data-aware commitment-based multiagent system. AAMAS 2014: 157-164 - [c206]Diego Calvanese, Marco Montali, Montserrat Estañol, Ernest Teniente:
Verifiable UML Artifact-Centric Business Process Models. CIKM 2014: 1289-1298 - [c205]Marco Montali, Diego Calvanese, Giuseppe De Giacomo:
Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems. CILC 2014: 84-98 - [c204]Timea Bagosi, Diego Calvanese, Josef Hardi, Sarah Komla-Ebri, Davide Lanti, Martin Rezk, Mariano Rodriguez-Muro, Mindaugas Slusnys, Guohui Xiao:
The Ontop Framework for Ontology Based Data Access. CSWS 2014: 67-77 - [c203]Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Planning Problems for Graph Structured Data in Description Logics. Description Logics 2014: 4-7 - [c202]Albin Ahmeti, Diego Calvanese, Axel Polleres:
SPARQL Update for Materialized Triple Stores under DL-Lite_RDFS Entailment. Description Logics 2014: 8-20 - [c201]Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger:
Shape and Content: Incorporating Domain Knowledge into Shape Analysis. Description Logics 2014: 124-127 - [c200]Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus:
Expressive Identification Constraints to Capture Functional Dependencies in Description Logics. Description Logics 2014: 416-420 - [c199]Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger:
Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures. IFM 2014: 3-17 - [c198]Diego Calvanese:
Query Answering over Description Logic Ontologies. JELIA 2014: 1-17 - [c197]Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, Ario Santoso:
Verification of Context-Sensitive Knowledge and Action Bases. JELIA 2014: 514-528 - [c196]Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Nested Regular Path Queries in Description Logics. KR 2014 - [c195]Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Alin Deutsch:
State-Boundedness in Data-Aware Dynamic Systems. KR 2014 - [c194]Diego Calvanese, Davide Lanti, Martin Rezk, Mindaugas Slusnys, Guohui Xiao:
A Scalable Benchmark for OBDA Systems: Preliminary Report. ORE 2014: 36-43 - [c193]Guohui Xiao, Martin Rezk, Mariano Rodriguez-Muro, Diego Calvanese:
Rules and Ontology Based Data Access. RR 2014: 157-172 - [c192]Davide Lanti, Martin Rezk, Mindaugas Slusnys, Guohui Xiao, Diego Calvanese:
The NPD Benchmark for OBDA Systems. SSWS@ISWC 2014: 3-18 - [c191]Albin Ahmeti, Diego Calvanese, Axel Polleres:
Updating RDFS ABoxes and TBoxes in SPARQL. ISWC (1) 2014: 441-456 - [i19]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
The DL-Lite Family and Relations. CoRR abs/1401.3487 (2014) - [i18]Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli:
Description Logic Knowledge and Action Bases. CoRR abs/1402.0569 (2014) - [i17]Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni:
Reasoning about Explanations for Negative Query Answers in DL-Lite. CoRR abs/1402.0575 (2014) - [i16]Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Nested Regular Path Queries in Description Logics. CoRR abs/1402.7122 (2014) - [i15]Albin Ahmeti, Diego Calvanese, Axel Polleres:
Updating RDFS ABoxes and TBoxes in SPARQL. CoRR abs/1403.7248 (2014) - [i14]Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Managing Change in Graph-structured Data Using Description Logics (long version with appendix). CoRR abs/1404.4274 (2014) - [i13]Diego Calvanese, Marco Montali, Montserrat Estañol, Ernest Teniente:
Verifiable UML Artifact-Centric Business Process Models (Extended Version). CoRR abs/1408.5094 (2014) - [i12]Diego Calvanese, Giorgio Delzanno, Marco Montali:
Verification of Relational Multiagent Systems with Data Types (Extended Version). CoRR abs/1411.4516 (2014) - [i11]Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, Ario Santoso:
Adding Context to Knowledge and Action Bases. CoRR abs/1412.7965 (2014) - 2013
- [j38]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Data complexity of query answering in description logics. Artif. Intell. 195: 335-360 (2013) - [j37]Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini:
Finite model reasoning on UML class diagrams via constraint programming. Intelligenza Artificiale 7(1): 57-65 (2013) - [j36]Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli:
Description Logic Knowledge and Action Bases. J. Artif. Intell. Res. 46: 651-686 (2013) - [j35]Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni:
Reasoning about Explanations for Negative Query Answers in DL-Lite. J. Artif. Intell. Res. 48: 635-669 (2013) - [j34]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
On simplification of schema mappings. J. Comput. Syst. Sci. 79(6): 816-834 (2013) - [j33]Evgeny Kharlamov, Dmitriy Zheleznyakov, Diego Calvanese:
Capturing model-based ontology evolution at the instance level: The case of DL-Lite. J. Comput. Syst. Sci. 79(6): 835-872 (2013) - [j32]Diego Calvanese, Thomas Lukasiewicz:
Preface. Semantic Web 4(4): 349 (2013) - [c190]Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
Verification and Synthesis in Description Logic Based Dynamic Systems (Abridged Version). AIBP@AI*IA 2013: 71-80 - [c189]Camilo Thorne, Elena Cardillo, Claudio Eccher, Marco Montali, Diego Calvanese:
Process Fragment Recognition in Clinical Documents. AI*IA 2013: 227-238 - [c188]Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov:
Computing Solutions in OWL 2 QL Knowledge Exchange. Description Logics 2013: 4-16 - [c187]Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov:
Verification of Inconsistency-Aware Knowledge and Action Bases. Description Logics 2013: 107-119 - [c186]Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Evolving Graph Databases under Description Logic Constraints. Description Logics 2013: 120-131 - [c185]Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
Dynamic Systems Based on Description Logics: Formalization, Verification, and Synthesis. Description Logics 2013: 573-586 - [c184]Maxim Haddad, Diego Calvanese:
Extending DL-Lite_A with (Singleton) Nominals. Description Logics 2013: 704-723 - [c183]Diego Calvanese, Martin Giese, Peter Haase, Ian Horrocks, Thomas Hubauer, Yannis E. Ioannidis, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Herald Kllapi, Johan W. Klüwer, Manolis Koubarakis, Steffen Lamparter, Ralf Möller, Christian Neuenstadt, T. Nordtveit, Özgür L. Özçep, Mariano Rodriguez-Muro, Mikhail Roshchin, Domenico Fabio Savo, Michael Schmidt, Ahmet Soylu, Arild Waaler, Dmitriy Zheleznyakov:
Optique: OBDA Solution for Big Data. ESWC (Satellite Events) 2013: 293-295 - [c182]Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin:
Verification of Semantically-Enhanced Artifact Systems. ICSOC 2013: 600-607 - [c181]Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov:
Exchanging OWL 2 QL Knowledge Bases. IJCAI 2013: 703-710 - [c180]Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov:
Verification of Inconsistency-Aware Knowledge and Action Bases. IJCAI 2013: 810-816 - [c179]Camilo Thorne, Marco Montali, Diego Calvanese, Elena Cardillo, Claudio Eccher:
Automated Activity Recognition in Clinical Documents. IJCNLP 2013: 1129-1133 - [c178]Mariano Rodriguez-Muro, Martín Rezk, Josef Hardi, Mindaugas Slusnys, Timea Bagosi, Diego Calvanese:
Evaluating SPARQL-to-SQL Translation in Ontop. ORE 2013: 94-100 - [c177]Diego Calvanese, Martin Giese, Peter Haase, Ian Horrocks, Thomas Hubauer, Yannis E. Ioannidis, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Herald Kllapi, Manolis Koubarakis, Steffen Lamparter, Ralf Möller, Christian Neuenstadt, Özgür L. Özçep, Mariano Rodriguez-Muro, Mikhail Roshchin, Marco Ruzzi, Domenico Fabio Savo, Michael Schmidt, Ahmet Soylu, Arild Waaler, Dmitriy Zheleznyakov:
The Optique Project: Towards OBDA Systems for Industry (Short Paper). OWLED 2013 - [c176]Diego Calvanese, Ian Horrocks, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Michael Meier, Mariano Rodriguez-Muro, Dmitriy Zheleznyakov:
On Rewriting, Answering Queries in OBDA Systems for Big Data (Short Paper). OWLED 2013 - [c175]Diego Calvanese, Giuseppe De Giacomo, Marco Montali:
Foundations of data-aware process analysis: a database theory perspective. PODS 2013: 1-12 - [c174]Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali:
Verification of relational data-centric dynamic systems with external services. PODS 2013: 163-174 - [c173]Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
Verification and Synthesis in Description Logic Based Dynamic Systems. RR 2013: 50-64 - [p6]Andrea Calì, Diego Calvanese, Maurizio Lenzerini:
Data Integration under Integrity Constraints. Seminal Contributions to Information Systems Engineering 2013: 335-352 - [p5]Andrea Calì, Diego Calvanese, Maurizio Lenzerini:
Rewrite and Conquer: Dealing with Integrity Constraints in Data Integration. Seminal Contributions to Information Systems Engineering 2013: 353-359 - [i10]Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov:
Exchanging OWL 2 QL Knowledge Bases. CoRR abs/1304.5810 (2013) - [i9]Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov:
Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version). CoRR abs/1304.6442 (2013) - [i8]Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin:
Verification of Semantically-Enhanced Artifact Systems (Extended Version). CoRR abs/1308.6292 (2013) - [i7]Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger:
Shape and Content: Incorporating Domain Knowledge into Shape Analysis. CoRR abs/1312.6624 (2013) - [i6]Diego Calvanese, Sven Hartmann, Ernest Teniente:
Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211). Dagstuhl Reports 3(5): 43-77 (2013) - 2012
- [j31]Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente:
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas. Data Knowl. Eng. 73: 1-22 (2012) - [j30]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
View-based query answering in Description Logics: Semantics and complexity. J. Comput. Syst. Sci. 78(1): 26-46 (2012) - [j29]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Query Processing under GLAV Mappings for Relational and Graph Databases. Proc. VLDB Endow. 6(2): 61-72 (2012) - [j28]Camilo Thorne, Diego Calvanese:
Tractability and Intractability of Controlled Languages for Data Access. Stud Logica 100(4): 787-813 (2012) - [c172]Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov:
Representability in DL-Lite_R Knowledge Base Exchange. Description Logics 2012 - [c171]Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente:
OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL. Description Logics 2012 - [c170]Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli, Marco Montali:
Verification of Description Logic Knowledge and Action Bases. ECAI 2012: 103-108 - [c169]Ognjen Savkovic, Diego Calvanese:
Introducing Datatypes in DL-Lite. ECAI 2012: 720-725 - [c168]Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov:
Exchanging Description Logic Knowledge Bases. KR 2012 - [c167]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, Ario Santoso:
Semantically-Governed Data-Aware Processes. KiBP@KR 2012: 21-32 - [c166]Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni:
The Complexity of Explaining Negative Query Answers in DL-Lite. KR 2012 - [c165]Mariano Rodriguez-Muro, Diego Calvanese:
High Performance Query Answering over DL-Lite Ontologies. KR 2012 - [c164]Diego Calvanese, Evgeny Kharlamov, Marco Montali, Dmitriy Zheleznyakov:
Inconsistency Tolerance in OWL 2 QL Knowledge and Action Bases. OWLED 2012 - [c163]Mariano Rodriguez-Muro, Diego Calvanese:
Quest, an OWL 2 QL Reasoner for Ontology-based Data Access. OWLED 2012 - [c162]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, Ario Santoso:
Ontology-Based Governance of Data-Aware Processes. RR 2012: 25-41 - [c161]Mariano Rodriguez-Muro, Josef Hardi, Diego Calvanese:
Quest: Effcient SPARQL-to-SQL for RDF and OWL. ISWC (Posters & Demos) 2012 - [c160]Diego Calvanese, Ario Santoso:
Best Service Synthesis in the Weighted Roman Model. ZEUS 2012: 42-49 - [i5]Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali:
Verification of Relational Data-Centric Dynamic Systems with External Services. CoRR abs/1203.0024 (2012) - 2011
- [j27]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo:
The MASTRO system for ontology-based data access. Semantic Web 2(1): 43-53 (2011) - [c159]Mariano Rodriguez-Muro, Diego Calvanese:
Dependencies: Making Ontology Based Data Access Work. AMW 2011 - [c158]Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli:
Foundations of Relational Artifacts Verification. BPM 2011: 379-395 - [c157]Marcelo Arenas, Elena Botoeva, Diego Calvanese:
Knowledge Base Exchange. Description Logics 2011 - [c156]Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni:
The Complexity of Conjunctive Query Abduction in DL-Lite. Description Logics 2011 - [c155]Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis:
Verification of Conjunctive-Query Based Semantic Artifacts. Description Logics 2011 - [c154]Mariano Rodriguez-Muro, Diego Calvanese:
Dependencies to Optimize Ontology Based Data Access. Description Logics 2011 - [c153]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Simplifying schema mappings. ICDT 2011: 114-125 - [c152]Diego Calvanese, Domenico Carbotta, Magdalena Ortiz:
A Practical Automata-Based Technique for Reasoning in Expressive Description Logics. IJCAI 2011: 798-804 - [c151]Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Containment of Regular Path Queries under Description Logic Constraints. IJCAI 2011: 805-812 - [i4]Diego Calvanese, Maurizio Lenzerini, Daniele Nardi:
Unifying Class-Based Representation Formalisms. CoRR abs/1105.5452 (2011) - 2010
- [c150]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Node Selection Query Languages for Trees. AAAI 2010: 279-284 - [c149]Elena Botoeva, Diego Calvanese, Mariano Rodriguez-Muro:
Expressive Approximations in DL-Lite Ontologies. AIMSA 2010: 21-31 - [c148]Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Dmitriy Zheleznyakov:
Updating ABoxes in DL-Lite. AMW 2010 - [c147]Alessandro Artale, Diego Calvanese, Yazmín Angélica Ibáñez-García:
Checking Full Satisfiability of Conceptual Models. Description Logics 2010 - [c146]Elena Botoeva, Alessandro Artale, Diego Calvanese:
Query Rewriting in DL-Lite_^(HN)_horn. Description Logics 2010 - [c145]Dmitriy Zheleznyakov, Diego Calvanese, Evgeny Kharlamov, Werner Nutt:
Updating TBoxes in DL-Lite. Description Logics 2010 - [c144]Alessandro Artale, Diego Calvanese, Yazmín Angélica Ibáñez-García:
Full Satisfiability of UML Class Diagrams. ER 2010: 317-331 - [c143]Diego Calvanese, C. Maria Keet, Werner Nutt, Mariano Rodriguez-Muro, Giorgio Stefanoni:
Web-based graphical querying of databases through an ontology: the Wonder system. SAC 2010: 1388-1395 - [c142]Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Dmitriy Zheleznyakov:
Evolution of DL-Lite Knowledge Bases. ISWC (1) 2010: 112-128 - [i3]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View Synthesis from Schema Mappings. CoRR abs/1003.1179 (2010)
2000 – 2009
- 2009
- [j26]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
The DL-Lite Family and Relations. J. Artif. Intell. Res. 36: 1-69 (2009) - [j25]Andrea Calì, Diego Calvanese, Davide Martinenghi:
Dynamic Query Optimization under Access Limitations and Dependencies. J. Univers. Comput. Sci. 15(1): 33-62 (2009) - [c141]Camilo Thorne, Diego Calvanese:
The Data Complexity of the Syllogistic Fragments of English. Amsterdam Colloquium on Logic, Language and Meaning 2009: 114-123 - [c140]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Conceptual Modeling for Data Integration. Conceptual Modeling: Foundations and Applications 2009: 173-197 - [c139]Camilo Thorne, Diego Calvanese:
Controlled English Ontology-Based Data Access. CNL 2009: 135-154 - [c138]Camilo Thorne, Diego Calvanese:
Exploring Controlled English Ontology-Based Data Access. CNL (Pre-Proceedings) 2009 - [c137]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
An Automata-Theoretic Approach to Regular XPath. DBPL 2009: 18-35 - [c136]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
Adding Weight to DL-Lite. Description Logics 2009 - [c135]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
DL-Lite without UNA. Description Logics 2009 - [c134]Oscar Romero, Diego Calvanese, Alberto Abelló, Mariano Rodriguez-Muro:
Discovering functional dependencies for multidimensional design. DOLAP 2009: 1-8 - [c133]Camilo Thorne, Diego Calvanese:
Controlled Aggregate Tree Shaped Questions over Ontologies. FQAS 2009: 394-405 - [c132]Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Jianwen Su:
Artifact-Centric Workflow Dominance. ICSOC/ServiceWave 2009: 130-143 - [c131]Diego Calvanese, Thomas Eiter, Magdalena Ortiz:
Regular Path Queries in Expressive Description Logics with Nominals. IJCAI 2009: 714-720 - [c130]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati:
Ontologies and Databases: The DL-Lite Approach. Reasoning Web 2009: 255-356 - [p4]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi:
Using OWL in Data Integration. Semantic Web Information Management 2009: 397-424 - 2008
- [j24]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, Fabio Patrizi:
Automatic Service Composition and Synthesis: the Roman Model. IEEE Data Eng. Bull. 31(3): 18-22 (2008) - [j23]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Inconsistency tolerance in P2P data integration: An epistemic logic approach. Inf. Syst. 33(4-5): 360-384 (2008) - [j22]Magdalena Ortiz, Diego Calvanese, Thomas Eiter:
Data Complexity of Query Answering in Expressive Description Logics via Tableaux. J. Autom. Reason. 41(1): 61-98 (2008) - [j21]Antonella Poggi, Domenico Lembo, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Linking Data to Ontologies. J. Data Semant. 10: 133-173 (2008) - [j20]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Conjunctive query containment and answering under description logic constraints. ACM Trans. Comput. Log. 9(3): 22:1-22:31 (2008) - [c129]Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Camilo Thorne:
Aggregate queries over ontologies. ONISW 2008: 97-104 - [c128]Alexander Borgida, Diego Calvanese, Mariano Rodriguez-Muro:
Explanation in DL-Lite. Description Logics 2008 - [c127]Daniele Braga, Diego Calvanese, Alessandro Campi, Stefano Ceri, Florian Daniel, Davide Martinenghi, Paolo Merialdo, Riccardo Torlone:
NGS: a framework for multi-domain query answering. ICDE Workshops 2008: 254-261 - [c126]Mariano Rodriguez-Muro, Lina Lubyte, Diego Calvanese:
Realizing Ontology Based Data Access: A plug-in for protégé. ICDE Workshops 2008: 286-289 - [c125]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Path-Based Identification Constraints in Description Logics. KR 2008: 231-241 - [c124]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
View-Based Query Answering over Description Logic Ontologies. KR 2008: 242-251 - [c123]Alexander Borgida, Diego Calvanese, Mariano Rodriguez-Muro:
Explanation in the DL-LiteFamily of Description Logics. OTM Conferences (2) 2008: 1440-1457 - [c122]Thorsten Liebig, Marko Luther, Olaf Noppens, Mariano Rodriguez, Diego Calvanese, Michael Wessel, Matthew Horridge, Sean Bechhofer, Dmitry Tsarkov, Evren Sirin:
OWLlink: DIG for OWL 2. OWLED 2008 - [c121]Mariano Rodriguez, Diego Calvanese:
Towards an Open Framework for Ontology Based Data Access with Protégé and DIG 1.1. OWLED 2008 - [c120]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi:
Data Integration throughDL-LiteA Ontologies. SDKB 2008: 26-47 - [c119]Daniele Braga, Diego Calvanese, Alessandro Campi, Stefano Ceri, Florian Daniel, Davide Martinenghi, Paolo Merialdo, Riccardo Torlone:
A New Generation Search Engine Supporting Cross Domain Queries. SEBD 2008: 342-349 - [e7]Diego Calvanese, Georg Lausen:
Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings. Lecture Notes in Computer Science 5341, Springer 2008, ISBN 978-3-540-88736-2 [contents] - 2007
- [j19]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family. J. Autom. Reason. 39(3): 385-429 (2007) - [j18]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-based query processing: On the relationship between rewriting, answering and losslessness. Theor. Comput. Sci. 371(3): 169-182 (2007) - [c118]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
DL-Lite in the Light of First-Order Logic. AAAI 2007: 361-366 - [c117]Diego Calvanese, Thomas Eiter, Magdalena Ortiz:
Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach. AAAI 2007: 391-396 - [c116]Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini:
Finite Model Reasoning on UML Class Diagrams Via Constraint Programming. AI*IA 2007: 36-47 - [c115]Raffaella Bernardi, Francesca Bonin, Diego Calvanese, Domenico Carbotta, Camilo Thorne:
English Querying over Ontologies: E-QuOnto. AI*IA 2007: 170-181 - [c114]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Complexity of Reasoning in Entity Relationship Models. Description Logics 2007 - [c113]Raffaella Bernardi, Diego Calvanese, Camilo Thorne:
Expressing DL-Lite Ontologies with Controlled English. Description Logics 2007 - [c112]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Domenico Lembo, Antonella Poggi, Riccardo Rosati:
MASTRO-I: Efficient Integration of Relational Data through DL Ontologies. Description Logics 2007 - [c111]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Actions and Programs over Description Logic Ontologies. Description Logics 2007 - [c110]Diego Calvanese, Evgeny Kharlamov, Werner Nutt:
A Proof Theory for DL-Lite. Description Logics 2007 - [c109]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Reasoning over Extended ER Models. ER 2007: 277-292 - [c108]Andrea Calì, Diego Calvanese, Davide Martinenghi:
Optimization of Query Plans in the presence of Access Limitations. EROW 2007 - [c107]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
EQL-Lite: Effective First-Order Query Processing in Description Logics. IJCAI 2007: 274-279 - [c106]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Can OWL Model Football Leagues? OWLED 2007 - [c105]Diego Calvanese, Mariano Rodriguez-Muro:
An Extension of DIG 2.0 for Handling Bulk Data. OWLED 2007 - [c104]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
Query Answering in Expressive Variants of DL-Lite. SEBD 2007: 250-257 - [c103]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati:
Ontology-based Database Access. SEBD 2007: 324-331 - [e6]Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris:
Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007. CEUR Workshop Proceedings 250, CEUR-WS.org 2007 [contents] - 2006
- [j17]Diego Calvanese, Nicola Guarino:
Ontologies and Description Logics. Intelligenza Artificiale 3(1-2): 21-27 (2006) - [j16]Diego Calvanese, Luigi Dragone, Daniele Nardi, Riccardo Rosati, Stefano Trisolini:
Enterprise modeling and Data Warehousing in Telecom Italia. Inf. Syst. 31(1): 1-32 (2006) - [c102]Magdalena Ortiz, Diego Calvanese, Thomas Eiter:
Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics. AAAI 2006: 275-280 - [c101]Andrea Calì, Diego Calvanese:
Optimising Query Answering in the Presence of Access Limitations (Position Paper). DEXA Workshops 2006: 547-552 - [c100]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Epistemic First-order Queries over Description Logic Knowledge Bases. Description Logics 2006 - [c99]Magdalena Ortiz, Diego Calvanese, Thomas Eiter:
Data Complexity of Answering Unions of Conjunctive Queries in SHIQ. Description Logics 2006 - [c98]Daniela Berardi, Giuseppe De Giacomo, Massimo Mecella, Diego Calvanese:
ComposingWeb Services with Nondeterministic Behavior. ICWS 2006: 909-912 - [c97]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Data Complexity of Query Answering in Description Logics. KR 2006: 260-270 - [c96]Raffaella Bernardi, Diego Calvanese, Luca Dini, Vittorio Di Tomaso, Elisabeth Frasnelli, Ulrike Kugler, Barbara Plank:
Multilingual Search in Libraries. The case-study of the Free University of Bozen-Bolzano. LREC 2006: 2287-2290 - [c95]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati:
Linking Data to Ontologies: The Description Logic DL-Lite_A. OWLED 2006 - [c94]Andrea Calì, Diego Calvanese:
Containment of Conjunctive Queries under Access Limitations. SEBD 2006: 131-138 - 2005
- [j15]Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo:
Reasoning on UML class diagrams. Artif. Intell. 168(1-2): 70-118 (2005) - [j14]Diego Calvanese, Giuseppe De Giacomo:
Data Integration: A Logic-Based Perspective. AI Mag. 26(1): 59-70 (2005) - [j13]Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella:
Automatic Service Composition Based on Behavioral Descriptions. Int. J. Cooperative Inf. Syst. 14(4): 333-376 (2005) - [j12]Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi:
Decidable containment of recursive queries. Theor. Comput. Sci. 336(1): 33-56 (2005) - [c93]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
DL-Lite: Tractable Description Logics for Ontologies. AAAI 2005: 602-607 - [c92]Andrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, Riccardo Rosati:
QuOnto: Querying Ontologies. AAAI 2005: 1670-1671 - [c91]Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Maurizio Lenzerini, Massimo Mecella:
Modeling Data & Processes for Service Specifications in Colombo. EMOI-INTEROP 2005 - [c90]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach. DBPL 2005: 90-105 - [c89]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Data Complexity of Query Answering in Description Logics. Description Logics 2005 - [c88]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness. ICDT 2005: 321-336 - [c87]Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Massimo Mecella:
Composition of Services with Nondeterministic Observable Behavior. ICSOC 2005: 520-526 - [c86]Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella:
Automatic Composition of Web Services in Colombo. SEBD 2005: 8-15 - [c85]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Efficiently Managing Data Intensive Ontologies. SWAP 2005 - [c84]Diego Calvanese:
Query Processing in Peer-to-Peer Systems: An Epistemic Logic Approach. TABLEAUX 2005: 1 - [c83]Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella:
Automatic Composition of Transition-based Semantic Web Services with Messaging. VLDB 2005: 613-624 - [e5]Andrea Calì, Diego Calvanese, Enrico Franconi, Maurizio Lenzerini, Letizia Tanca:
Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, SEBD 2005, Brixen-Bressanone (near Bozen-Bolzano), Italy, June 19-22, 2005. 2005, ISBN 88-548-0122-4 [contents] - [i2]Magdalena Ortiz, Diego Calvanese, Thomas Eiter, Enrico Franconi:
Data complexity of answering conjunctive queries over SHIQ knowledge bases. CoRR abs/cs/0507059 (2005) - [i1]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Conjunctive Query Containment and Answering under Description Logics Constraints. CoRR abs/cs/0507067 (2005) - 2004
- [j11]Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Data integration under integrity constraints. Inf. Syst. 29(2): 147-163 (2004) - [c82]Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo:
Towards Implementing Finite Model Reasoning in Description Logics. Description Logics 2004 - [c81]Andrea Calì, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini:
A Description Logic Based Approach for Matching User Profiles. Description Logics 2004 - [c80]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere:
DL-Lite: Practical Reasoning for Rich Dls. Description Logics 2004 - [c79]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere:
Hyper: A Framework for Peer-to-Peer Data Integration on Grids. ICSNW 2004: 144-157 - [c78]Daniela Berardi, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, Diego Calvanese:
Synthesis of underspecified composite e-services based on automated reasoning. ICSOC 2004: 105-114 - [c77]Andrea Calì, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini:
A Logic-Based Approach for Matching User Profiles. KES 2004: 187-195 - [c76]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
What to Ask to a Peer: Ontolgoy-based Query Reformulation. KR 2004: 469-478 - [c75]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Logical Foundations of Peer-To-Peer Data Integration. PODS 2004: 241-251 - [c74]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Query Reformulation over Ontology-based Peers. SEBD 2004: 418-425 - [c73]Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella:
: A Tool for Automatic Composition ofServices Based on Logics of Programs. TES 2004: 80-94 - 2003
- [j10]Giovanni Lanfranchi, Pietro Della Peruta, Antonio Perrone, Diego Calvanese:
Toward a new landscape of systems management in an autonomic computing environment. IBM Syst. J. 42(1): 119-128 (2003) - [j9]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Reasoning on regular path queries. SIGMOD Rec. 32(4): 83-92 (2003) - [c72]Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, Fabio Vernacotola:
IBIS: Semantic Data Integration at Work. CAiSE 2003: 79-94 - [c71]Diego Calvanese:
Data Integration in Data Warehousing (Keynote Address). CAiSE Workshops 2003 - [c70]Diego Calvanese, Elio Damaggio, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Semantic Data Integration in P2P Systems. DBISP2P 2003: 77-90 - [c69]Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo:
Reasoning on UML Class Diagrams is EXPTIME-hard. Description Logics 2003 - [c68]Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella:
e-Service Composition by Description Logics Based Reasoning. Description Logics 2003 - [c67]Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi:
Decidable Containment of Recursive Queries. ICDT 2003: 327-342 - [c66]Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella:
Automatic Composition of E-services That Export Their Behavior. ICSOC 2003: 43-58 - [c65]Diego Calvanese:
View-based Query Processing for Semistructured Data. KRDB 2003 - [c64]Diego Calvanese, Riccardo Rosati:
Anwering Recursive Queries under Keys and Foreign Keys is Undecidable. KRDB 2003 - [c63]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-based query containment. PODS 2003: 56-67 - [c62]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Query Containment Using Views. SEBD 2003: 467-474 - [c61]Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella:
A Foundational Vision of e-Services. WES 2003: 28-40 - [p3]Ulrike Sattler, Diego Calvanese, Ralf Molitor:
Relationships with other Formalisms. Description Logic Handbook 2003: 137-177 - [p2]Diego Calvanese, Giuseppe De Giacomo:
Expressive Description Logics. Description Logic Handbook 2003: 178-218 - [e4]Diego Calvanese, Giuseppe De Giacomo, Enrico Franconi:
Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003. CEUR Workshop Proceedings 81, CEUR-WS.org 2003 [contents] - [e3]Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider:
The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press 2003, ISBN 0-521-78176-0 [contents] - 2002
- [j8]Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
On the Role of Integrity Constraints in Data Integration. IEEE Data Eng. Bull. 25(3): 39-45 (2002) - [j7]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Rewriting of Regular Expressions and Regular Path Queries. J. Comput. Syst. Sci. 64(3): 443-465 (2002) - [c60]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Description Logics for Information Integration. Computational Logic: Logic Programming and Beyond 2002: 41-60 - [c59]Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Data Integration under Integrity Constraints. CAiSE 2002: 262-279 - [c58]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
2ATAs make DLs easy. Description Logics 2002 - [c57]Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
On the Expressive Power of Data Integration Systems. ER 2002: 338-350 - [c56]Andrea Calì, Diego Calvanese:
Optimized Querying of Integrated Data over the Web. Engineering Information Systems in the Internet Context 2002: 285-301 - [c55]Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
A Formal Framework for Reasoning on UML Class Diagrams. ISMIS 2002: 503-513 - [c54]Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi:
Reasoning about Actions and Planning in LTL Action Theories. KR 2002: 593-602 - [c53]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Description Logics: Foundations for Class-based Knowledge Representation. LICS 2002: 359-370 - [c52]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Lossless Regular Views. PODS 2002: 247-258 - [c51]Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Accessing Data Integration Systems through Conceptual Schemas. SEBD 2002: 161-168 - [c50]Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, Fabio Vernacotola:
IBIS: Data Integration at Work. SEBD 2002: 291-298 - [c49]Diego Calvanese, Tiziana Catarci, Maurizio Lenzerini, Giuseppe Santucci:
The multilingual thesaurus of LAURIN. SEKE 2002: 83-90 - [e2]Diego Calvanese, Maurizio Lenzerini, Rajeev Motwani:
Database Theory - ICDT 2003, 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings. Lecture Notes in Computer Science 2572, Springer 2002, ISBN 3-540-00323-1 [contents] - [e1]Alexander Borgida, Diego Calvanese, Laurence Cholvy, Marie-Christine Rousset:
Proceedings of the 9th International Workshop on Knowledge Representation meets Databases (KRDB 2002), Toulouse France, April 21, 2002. CEUR Workshop Proceedings 54, CEUR-WS.org 2002 [contents] - 2001
- [j6]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati:
Data Integration in Data Warehousing. Int. J. Cooperative Inf. Syst. 10(3): 237-271 (2001) - [j5]Diego Calvanese, Tiziana Catarci, Giuseppe Santucci:
LAURIN: A Distributed Digital Library of Newspaper Clippings. World Wide Web 4(1-2): 5-20 (2001) - [c48]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-Based Query Answering and Query Containment over Semistructured Data. DBPL 2001: 40-61 - [c47]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Ontology of Integration and Integration of Ontologies. Description Logics 2001 - [c46]Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Accessing Data Integration Systems through Conceptual Schemas. ER 2001: 270-284 - [c45]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Identification Constraints and Functional Dependencies in Description Logics. IJCAI 2001: 155-160 - [c44]Diego Calvanese, Silvana Castano, Francesco Guerra, Domenico Lembo, Michele Melchiori, Giorgio Terracina, Domenico Ursino, Maurizio Vincini:
Towards a Comprehensive Methodological Framework for Integration. KRDB 2001 - [c43]Andrea Calì, Diego Calvanese:
Optimizing Query Planning with Limited Source Capabilities in the Presence of Inclusion and Functional Dependencies. SEBD 2001: 33-44 - [c42]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
A Framework for Ontology Integration. SWWS 2001: 303-316 - [c41]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
A Framework for Ontology Integration. The Emerging Semantic Web 2001 - [p1]Diego Calvanese, Giuseppe De Giacomo, Daniele Nardi, Maurizio Lenzerini:
Reasoning in Expressive Description Logics. Handbook of Automated Reasoning 2001: 1581-1634 - 2000
- [c40]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Answering Queries Using Views over Description Logics Knowledge Bases. AAAI/IAAI 2000: 386-391 - [c39]Diego Calvanese, Tiziana Catarci, Giuseppe Santucci:
Building a Digital Library of Newspaper Clippings: The Laurin Project. ADL 2000: 15-26 - [c38]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
What is Query Rewriting? CIA 2000: 51-59 - [c37]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Keys for Free in Description Logics. Description Logics 2000: 79-88 - [c36]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Answering Regular Path Queries Using Views. ICDE 2000: 389-398 - [c35]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Containment of Conjunctive Regular Path Queries with Inverse. KR 2000: 176-185 - [c34]Andrea Calì, Diego Calvanese, Maurizio Lenzerini:
Semistructured data schemas with expressive constraints. KRDB 2000: 3-16 - [c33]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
What is View-Based Query Rewriting? KRDB 2000: 17-27 - [c32]Diego Calvanese, Tiziana Catarci, Giuseppe Santucci:
LAURIN: A Distributed Digital Library of Newspaper Clippings. Kyoto International Conference on Digital Libraries 2000: 187-194 - [c31]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-Based Query Processing and Constraint Satisfaction. LICS 2000: 361-371 - [c30]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-Based Query Processing for Regular Path Queries with Inverse. PODS 2000: 58-66 - [c29]Andrea Calì, Diego Calvanese, Maurizio Lenzerini:
Local constraint in semistructured data schemas. SEBD 2000: 65-78 - [c28]Matthias Jarke, Christoph Quix, Diego Calvanese, Maurizio Lenzerini, Enrico Franconi, Spyros Ligoudistianos, Panos Vassiliadis, Yannis Vassiliou:
Concept Based Design of Data Warehouses: The DWQ Demonstrators. SIGMOD Conference 2000: 591
1990 – 1999
- 1999
- [j4]Diego Calvanese, Maurizio Lenzerini, Daniele Nardi:
Unifying Class-Based Representation Formalisms. J. Artif. Intell. Res. 11: 199-240 (1999) - [j3]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Representing and Reasoning on XML Documents: A Description Logic Approach. J. Log. Comput. 9(3): 295-318 (1999) - [j2]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Modeling and Querying Semi-Structured data . Netw. Inf. Syst. J. 2(2): 253-273 (1999) - [j1]Diego Calvanese, Giuseppe De Giacomo, Riccardo Rosati:
Data Integration and Reconciliation in data Warehousing: Conceptual Modeling and Reasoning Support. Netw. Inf. Syst. J. 2(4): 413-432 (1999) - [c27]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Queries and Constraints on Semi-structured Data. CAiSE 1999: 434-438 - [c26]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati:
A Principled Approach to Data Integration and Reconciliation in Data Warehousing. DMDW 1999: 16 - [c25]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees. IJCAI 1999: 84-89 - [c24]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Answering Queries Using Views in Description Logics. KRDB 1999: 6-10 - [c23]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Rewriting of Regular Expressions and Regular Path Queries. PODS 1999: 194-204 - [c22]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Rewriting of Regular Path Queries. SEBD 1999: 213-224 - [c21]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Query Answering Using Views for Data Integration over the Web. WebDB (Informal Proceedings) 1999: 73-78 - 1998
- [c20]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
What can Knowledge Representation do for Semi-Structured Data? AAAI/IAAI 1998: 205-210 - [c19]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati:
Information Integration: Conceptual Modeling and Reasoning Support. CoopIS 1998: 280-291 - [c18]Diego Calvanese, Maurizio Lenzerini, Daniele Nardi:
Description Logics for Conceptual Data Modeling. Logics for Databases and Information Systems 1998: 229-263 - [c17]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati:
Source Integration in Data Warehousing. DEXA Workshop 1998: 192-197 - [c16]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Semi-structured Data with Constraints and Incomplete Information. Description Logics 1998 - [c15]Diego Calvanese, Giuseppe De Giacomo, Riccardo Rosati:
A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases. Description Logics 1998 - [c14]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati:
Description Logic Framework for Information Integration. KR 1998: 2-13 - [c13]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
On the Decidability of Query Containment under Constraints. PODS 1998: 149-158 - [c12]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Extending Semi-Structured Data. SEBD 1998: 87-102 - 1997
- [c11]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Conjunctive Query Containment in Description Logics with n-ary Relations. Description Logics 1997 - [c10]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Representing and Reasoning on SGML Documents. ISMIS 1997: 540-549 - 1996
- [c9]Diego Calvanese:
Finite Model Reasoning in Description Logics. Description Logics 1996: 25-36 - [c8]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Representing SGML Documents in Description Logics. Description Logics 1996: 102-106 - [c7]Diego Calvanese:
Reasoning with Inclusion Axioms in Description Logics: Algorithms and Complexity. ECAI 1996: 303-307 - [c6]Diego Calvanese:
Finite Model Reasoning in Description Logics. KR 1996: 292-303 - 1995
- [c5]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Structured Objects: Modeling and Reasoning. DOOD 1995: 229-246 - [c4]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Increasing the Power of Structured Objects. KRDB 1995 - 1994
- [c3]Diego Calvanese, Maurizio Lenzerini:
On the Interaction Between ISA and Cardinality Constraints. ICDE 1994: 204-213 - [c2]Diego Calvanese, Maurizio Lenzerini, Daniele Nardi:
A Unified Framework for Class-Based Representation Formalisms. KR 1994: 109-120 - [c1]Diego Calvanese, Maurizio Lenzerini:
Making Object-Oriented Schemas More Expressive. PODS 1994: 243-254
Coauthor Index
aka: Elem Güzel Kalayci
aka: Martin Rezk
aka: Mariano Rodriguez
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-25 20:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint