default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMaurizio Lenzerini
Person information
- affiliation: Sapienza University of Rome, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j64]Gianluca Cima, Federico Croce, Maurizio Lenzerini:
Separability and Its Approximations in Ontology-based Data Management. Semantic Web 15(4): 1021-1056 (2024)- [j63]Federico Croce
, Riccardo Valentini, Marianna Maranghi, Giorgio Grani, Maurizio Lenzerini, Riccardo Rosati:
Ontology-Based Data Preparation in Healthcare: The Case of the AMD-STITCH Project. SN Comput. Sci. 5(4): 437 (2024) - [c220]Luca Andolfi, Gianluca Cima, Marco Console, Maurizio Lenzerini:
What Does a Query Answer Tell You? Informativeness of Query Answers for Knowledge Bases. AAAI 2024: 10442-10449 - [c219]Luca Andolfi, Gianluca Cima, Marco Console, Maurizio Lenzerini:
Informativeness of Query Answers for Knowledge Bases (Extended Abstract). Description Logics 2024 - [c218]Laura Papi, Gianluca Cima, Marco Console, Maurizio Lenzerini:
Semantic Explanations of Classifiers through the Ontology-Based Data Management Paradigm (Extended Abstract). Description Logics 2024 - 2023
- [j62]Gianluca Cima, Antonella Poggi, Maurizio Lenzerini:
The notion of Abstraction in Ontology-based Data Management. Artif. Intell. 323: 103976 (2023) - [j61]Gianluca Cima, Marco Console, Maurizio Lenzerini, Antonella Poggi:
A review of data abstraction. Frontiers Artif. Intell. 6 (2023) - [j60]Marco Console, Maurizio Lenzerini:
Editorial: Special Issue on Quality Aspects of Data Preparation. ACM J. Data Inf. Qual. 15(4): 40:1-40:2 (2023) - [c217]Gianluca Cima, Marco Console, Maurizio Lenzerini, Antonella Poggi:
Epistemic Disjunctive Datalog for Querying Knowledge Bases. AAAI 2023: 6280-6288 - [c216]Riccardo Valentini, Eugenio Carrani, Marina Torre, Maurizio Lenzerini:
Ontology-Based Data Management in Healthcare: The Case of the Italian Arthroplasty Registry. AI*IA 2023: 88-101 - [c215]Maurizio Lenzerini:
Data Modeling and AI: From Semantic Networks to Knowledge Graphs. DATA 2023: 5 - [c214]Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Roberta Radini, Michele Riccio, Valerio Santarelli:
Bridging the Gap Between Micro and Macro Data: Ontologies to the Rescue. SEBD 2023: 220-227 - 2022
- [j59]Sandra Geisler, Maria-Esther Vidal, Cinzia Cappiello, Bernadette Farias Lóscio, Avigdor Gal, Matthias Jarke, Maurizio Lenzerini, Paolo Missier, Boris Otto, Elda Paja, Barbara Pernici, Jakob Rehof:
Knowledge-Driven Data Ecosystems Toward Data Transparency. ACM J. Data Inf. Qual. 14(1): 3:1-3:12 (2022) - [c213]Gianluca Cima, Marco Console, Maurizio Lenzerini, Antonella Poggi:
Monotone Abstractions in Ontology-Based Data Management. AAAI 2022: 5556-5563 - [c212]Gianluca Cima, Marco Console, Maurizio Lenzerini, Antonella Poggi:
Investigating Monotone Abstractions. SEBD 2022: 522-529 - [i9]Marianna Maranghi, Aris Anagnostopoulos, Irene Cannistraci, Ioannis Chatzigiannakis, Federico Croce, Giulia Di Teodoro, Michele Gentili, Giorgio Grani, Maurizio Lenzerini, Stefano Leonardi, Andrea Mastropietro, Laura Palagi, Massimiliano Pappa, Riccardo Rosati, Riccardo Valentini, Paola Velardi:
AI-based Data Preparation and Data Analytics in Healthcare: The Case of Diabetes. CoRR abs/2206.06182 (2022) - 2021
- [j58]Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi:
Metamodeling and metaquerying in OWL 2 QL. Artif. Intell. 292: 103432 (2021) - [c211]Giuseppe De Giacomo, Maurizio Lenzerini, Francesco Leotta, Massimo Mecella:
From Component-Based Architectures to Microservices: A 25-years-long Journey in Designing and Realizing Service-Based Systems. Next-Gen Digital Services 2021: 3-15 - [c210]Gianluca Cima, Federico Croce, Maurizio Lenzerini:
Query Definability and Its Approximations in Ontology-based Data Management. CIKM 2021: 271-280 - [c209]Marco Console, Giuseppe De Giacomo, Maurizio Lenzerini, Manuel Namici:
Intensional and Extensional Views in DL-Lite Ontologies. IJCAI 2021: 1822-1828 - [c208]Gianluca Cima, Marco Console, Maurizio Lenzerini, Antonella Poggi:
Abstraction in Data Integration. LICS 2021: 1-11 - [c207]Ronald Fagin, Georg Gottlob, Christos H. Papadimitriou, Moshe Y. Vardi, Giorgio Ausiello, Maurizio Lenzerini, Domenico Saccà, Luigi Palopoli, Francesco Scarcello:
Panel on "Past and Future of Computer Science Theory" (Discussion Paper). SEBD 2021: 531-542 - [c206]Federico Scafoglieri, Domenico Lembo, Alessandra Limosani, Francesca Medda, Maurizio Lenzerini:
Boosting Information Extraction through Semantic Technologies: The KIDs use case at CONSOB. ISWC (Posters/Demos/Industry) 2021 - [e12]Sergio Greco, Maurizio Lenzerini, Elio Masciari, Andrea Tagarelli:
Proceedings of the 29th Italian Symposium on Advanced Database Systems, SEBD 2021, Pizzo Calabro (VV), Italy, September 5-9, 2021. CEUR Workshop Proceedings 2994, CEUR-WS.org 2021 [contents] - [i8]Sandra Geisler, Maria-Esther Vidal, Cinzia Cappiello, Bernadette Farias Lóscio, Avigdor Gal, Matthias Jarke, Maurizio Lenzerini, Paolo Missier, Boris Otto, Elda Paja, Barbara Pernici, Jakob Rehof:
Knowledge-driven Data Ecosystems Towards Data Transparency. CoRR abs/2105.09312 (2021) - [i7]Gianluca Cima, Federico Croce, Maurizio Lenzerini:
QDEF and Its Approximations in OBDM. CoRR abs/2108.10021 (2021) - 2020
- [j57]Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi:
Metaquerying made practical for OWL 2 QL ontologies. Inf. Syst. 88 (2020) - [j56]Marco Angelini, Cinzia Daraio, Maurizio Lenzerini, Francesco Leotta, Giuseppe Santucci:
Performance model's development: a novel approach encompassing ontology-based data access and visual analytics. Scientometrics 125(2): 865-892 (2020) - [c205]Gianluca Cima, Maurizio Lenzerini, Antonella Poggi:
Answering Conjunctive Queries with Inequalities in DL-Liteℛ. AAAI 2020: 2782-2789 - [c204]Marco Console, Maurizio Lenzerini:
Epistemic Integrity Constraints for Ontology-Based Data Management. AAAI 2020: 2790-2797 - [c203]Manuel Namici, Giuseppe De Giacomo, Maurizio Lenzerini:
Extending DL-LiteR TBoxes with View Definitions. Description Logics 2020 - [c202]Federico Croce, Gianluca Cima, Maurizio Lenzerini, Tiziana Catarci:
Ontology-based explanation of classifiers. EDBT/ICDT Workshops 2020 - [c201]Gianluca Cima, Maurizio Lenzerini, Antonella Poggi:
Non-Monotonic Ontology-based Abstractions of Data Services. KR 2020: 243-252
2010 – 2019
- 2019
- [j55]Floriana Di Pinto, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Acquiring Ontology Axioms through Mappings to Data Sources. Future Internet 11(12): 260 (2019) - [c200]Gianluca Cima, Maurizio Lenzerini, Antonella Poggi:
Exploiting Ontologies for Explaining Data Sources Semantics. DDC@AI*IA 2019: 33-35 - [c199]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 - [c198]Maurizio Lenzerini:
Direct and Reverse Rewriting in Data Interoperability. CAiSE 2019: 3-13 - [c197]Gianluca Cima, Federico Croce, Maurizio Lenzerini, Antonella Poggi, Elian Toccacieli:
On Queries with Inequalities in DL-LiteR≠. Description Logics 2019 - [c196]Gianluca Cima, Maurizio Lenzerini, Antonella Poggi:
Semantic Characterization of Data Services through Ontologies. IJCAI 2019: 1647-1653 - [c195]Marco Angelini, Cinzia Daraio, Maurizio Lenzerini, Francesco Leotta, Giuseppe Santucci:
Performance Model's development: A Novel Approach encompassing Ontology-Based Data Access and Visual Analytics. ISSI 2019: 1912-1923 - [c194]Gianluca Cima, Maurizio Lenzerini, Antonella Poggi:
Reverse Engineering of Data Services. SEBD 2019 - [p10]Maurizio Lenzerini, Cinzia Daraio:
Challenges, Approaches and Solutions in Data Integration for Research and Innovation. Springer Handbook of Science and Technology Indicators 2019: 397-420 - 2018
- [j54]Maurizio Lenzerini:
Managing Data through the Lens of an Ontology. AI Mag. 39(2): 65-74 (2018) - [c193]Federico Croce, Maurizio Lenzerini:
A Framework for Explaining Query Answers in DL-Lite. EKAW 2018: 83-97 - [c192]Maurizio Lenzerini, Wim Martens, Nicole Schweikardt:
2018 ACM PODS Alberto O. Mendelzon Test-of-Time Award. PODS 2018: 105 - [p9]Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati:
Using Ontologies for Semantic Data Integration. A Comprehensive Guide Through the Italian Database Research 2018: 187-202 - [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 - 2017
- [c191]Gianluca Cima, Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi:
Querying OWL 2 QL ontologies under the SPARQL Metamodeling Semantics Entailment Regime. SEBD 2017: 165 - [c190]Gianluca Cima, Maurizio Lenzerini, Antonella Poggi:
Semantic technology for open data publishing. WIMS 2017: 1:1 - [c189]Gianluca Cima, Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi:
On the SPARQL metamodeling semantics entailment regime for OWL 2 QL ontologies. WIMS 2017: 10:1-10:6 - 2016
- [j53]Cinzia Daraio, Maurizio Lenzerini, Claudio Leporelli, Henk F. Moed, Paolo Naggar, Andrea Bonaccorsi, Alessandro Bartolucci:
Data integration for research and innovation policy: an Ontology-Based Data Management approach. Scientometrics 106(2): 857-871 (2016) - [j52]Cinzia Daraio, Maurizio Lenzerini, Claudio Leporelli, Paolo Naggar, Andrea Bonaccorsi, Alessandro Bartolucci:
The advantages of an Ontology-Based Data Management approach: openness, interoperability and data quality. Scientometrics 108(1): 441-455 (2016) - [j51]Javier D. Fernández, Maurizio Lenzerini, Marco Masseroli, Francesco Venco, Stefano Ceri:
Ontology-Based Search of Genomic Metadata. IEEE ACM Trans. Comput. Biol. Bioinform. 13(2): 233-247 (2016) - [c188]Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi:
Answering Metaqueries over Hi (OWL 2 QL) Ontologies. IJCAI 2016: 1174-1180 - [c187]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Regular Open APIs. KR 2016: 329-338 - [c186]Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi:
A Higher-Order Semantics for Metaquerying in OWL 2 QL. KR 2016: 577-580 - [e11]Maurizio Lenzerini, Rafael Peñaloza:
Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016. CEUR Workshop Proceedings 1577, CEUR-WS.org 2016 [contents] - 2015
- [j50]Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo:
Inconsistency-tolerant query answering in ontology-based data access. J. Web Semant. 33: 3-29 (2015) - [c185]Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi:
A higher-order semantics for OWL 2 QL ontologies (Extended abstract). Description Logics 2015 - [c184]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 - [c183]Cinzia Daraio, Maurizio Lenzerini, Claudio Leporelli, Henk F. Moed, Paolo Naggar, Andrea Bonaccorsi, Alessandro Bartolucci:
Sapientia: the Ontology of Multi-dimensional Research Assessment. ISSI 2015 - [c182]Cinzia Daraio, Maurizio Lenzerini, Claudio Leporelli, Henk F. Moed, Paolo Naggar, Andrea Bonaccorsi, Alessandro Bartolucci:
Connecting Big Scholarly Data With Science of Science Policy: An Ontology-Based-Data- Management (Obdm) Approach. ISSI 2015 - [c181]Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi:
Crossing the boundary of "meta" in Conceptual Modeling (Discussion paper). SEBD 2015: 280-287 - [i6]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Node Selection Query Languages for Trees. CoRR abs/1509.08979 (2015) - 2014
- [c180]Marco Console, Maurizio Lenzerini:
Data Quality in Ontology-based Data Access: The Case of Consistency. AAAI 2014: 1020-1026 - [c179]Marco Console, Maurizio Lenzerini:
Reducing Global Consistency to Local Consistency in Ontology-based Data Access - Extended Abstract. Description Logics 2014: 496-499 - [c178]Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi:
Practical Query Answering over Hi (DL-LiteR) Knowledge Bases. Description Logics 2014: 608-619 - [c177]Marco Console, Maurizio Lenzerini:
Reducing global consistency to local consistency in Ontology-based Data Access. ECAI 2014: 219-224 - [c176]Natalia Antonioli, Francesco Castanò, Spartaco Coletta, Stefano Grossi, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Emanuela Virardi, Patrizia Castracane:
Ontology-based Data Management for the Italian Public Debt. FOIS 2014: 372-385 - [c175]Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi:
Making Metaquerying Practical for Hi(DL - Lite R ) Knowledge Bases. OTM Conferences 2014: 580-596 - [c174]Natalia Antonioli, Francesco Castanò, Spartaco Coletta, Stefano Grossi, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Emanuela Virardi, Patrizia Castracane:
Developing Ontology-based Data Management for the Italian Public Debt. SEBD 2014: 353-360 - 2013
- [j49]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) - [j48]Maurizio Lenzerini, Marco Schaerf:
The scientific legacy of Marco Cadoli in Artificial Intelligence. Intelligenza Artificiale 7(1): 1-5 (2013) - [j47]Giovanni Semeraro, Pierpaolo Basile, Roberto Basili, Marco de Gemmis, Chiara Ghidini, Maurizio Lenzerini, Pasquale Lops, Alessandro Moschitti, Cataldo Musto, Fedelucio Narducci, Arianna Pipitone, Roberto Pirrone, Piero Poccianti, Luciano Serafini:
Semantic technologies for industry: From knowledge modeling and integration to intelligent applications. Intelligenza Artificiale 7(2): 125-137 (2013) - [j46]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
On simplification of schema mappings. J. Comput. Syst. Sci. 79(6): 816-834 (2013) - [j45]Cristina Civili, Marco Console, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Lorenzo Lepore, Riccardo Mancini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi, Valerio Santarelli, Domenico Fabio Savo:
MASTRO STUDIO: Managing Ontology-Based Data Access applications. Proc. VLDB Endow. 6(12): 1314-1317 (2013) - [c173]Natalia Antonioli, Francesco Castanò, Cristina Civili, Spartaco Coletta, Stefano Grossi, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Domenico Fabio Savo, Emanuela Virardi:
Ontology-Based Data Access: The Experience at the Italian Department of Treasury. CAiSE Industrial Track 2013: 9-16 - [c172]Marco Console, Maurizio Lenzerini, Riccardo Mancini, Riccardo Rosati, Marco Ruzzi:
Synthesizing Extensional Constraints in Ontology-Based Data Access. Description Logics 2013: 628-639 - [c171]Floriana Di Pinto, Domenico Lembo, Maurizio Lenzerini, Riccardo Mancini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo:
Optimizing query rewriting in ontology-based data access. EDBT 2013: 561-572 - [c170]Floriana Di Pinto, Domenico Lembo, Maurizio Lenzerini, Riccardo Mancini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo:
Optimization of Query Rewriting in Ontology-Based Data Access. SEBD 2013: 263-270 - [p8]Andrea Calì, Diego Calvanese, Maurizio Lenzerini:
Data Integration under Integrity Constraints. Seminal Contributions to Information Systems Engineering 2013: 335-352 - [p7]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 - [e10]Loreto Bravo, Maurizio Lenzerini:
Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management, Puebla/Cholula, Mexico, May 21-23, 2013. CEUR Workshop Proceedings 1087, CEUR-WS.org 2013 [contents] - [e9]Phokion G. Kolaitis, Maurizio Lenzerini, Nicole Schweikardt:
Data Exchange, Integration, and Streams. Dagstuhl Follow-Ups 5, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2013, ISBN 978-3-939897-61-3 [contents] - 2012
- [j44]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) - [j43]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) - [c169]Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Ontology-Based Data Access with Dynamic TBoxes in DL-Lite. AAAI 2012: 719-725 - [c168]Maurizio Lenzerini:
Ontology-Based Data Management. AMW 2012: 12-15 - [c167]Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo:
Inconsistency-Tolerant First-Order Rewritability of DL-Lite with Identification and Denial Assertions. Description Logics 2012 - [c166]Maurizio Lenzerini, Domenico Fabio Savo:
Updating inconsistent Description Logic knowledge bases. ECAI 2012: 516-521 - [c165]Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo:
MASTRO: A Reasoner for Effective Ontology-Based Data Access. ORE 2012 - [c164]Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo:
Mastro: Ontology-Based Data Access at Work (Extended Abstract). OTM Workshops 2012: 667-668 - [e8]Michael Benedikt, Markus Krötzsch, Maurizio Lenzerini:
Proceedings of the 31st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2012, Scottsdale, AZ, USA, May 20-24, 2012. ACM 2012, ISBN 978-1-4503-1248-6 [contents] - 2011
- [j42]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) - [j41]Phokion G. Kolaitis, Maurizio Lenzerini, Nicole Schweikardt:
Report on DEIS'10: advanced school on data exchange, information, and streams (A GI-Dagstuhl Seminar). SIGMOD Rec. 40(1): 40-42 (2011) - [c163]Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Higher-Order Description Logics for Domain Metamodeling. AAAI 2011: 183-188 - [c162]Maurizio Lenzerini:
Ontology-based data management. CIKM 2011: 5-6 - [c161]Maurizio Lenzerini:
Ontology-based data management. DESIRE@CIKM 2011: 11-12 - [c160]Maurizio Lenzerini, Domenico Fabio Savo:
On the Evolution of the Instance Level of DL-Lite Knowledge Bases. Description Logics 2011 - [c159]Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Mapping Data to Higher-Order Description Logic Knowledge Bases. Description Logics 2011 - [c158]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Simplifying schema mappings. ICDT 2011: 114-125 - [c157]Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo:
Query Rewriting for Inconsistent DL-Lite Ontologies. RR 2011: 155-169 - [c156]Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo:
Inconsistency-Tolerant Semantics for Description Logic Ontologies (Extended Abstract). SEBD 2011: 287-294 - [e7]Maurizio Lenzerini, Thomas Schwentick:
Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2011, June 12-16, 2011, Athens, Greece. ACM 2011, ISBN 978-1-4503-0660-7 [contents] - [i5]Maurizio Lenzerini, Domenico Fabio Savo:
On the evolution of the instance level of DL-lite knowledge bases. CoRR abs/1104.4053 (2011) - [i4]Diego Calvanese, Maurizio Lenzerini, Daniele Nardi:
Unifying Class-Based Representation Formalisms. CoRR abs/1105.5452 (2011) - 2010
- [c155]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Node Selection Query Languages for Trees. AAAI 2010: 279-284 - [c154]Domenico Fabio Savo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Vittorio Romagnoli, Marco Ruzzi, Gabriele Stella:
Mastro at Work: Experiences on Ontology-Based Data Access. Description Logics 2010 - [c153]Alessandro Oltramari, Guido Vetere, Maurizio Lenzerini, Aldo Gangemi, Nicola Guarino:
Senso Comune. LREC 2010 - [c152]Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo:
Inconsistency-Tolerant Semantics for Description Logics. RR 2010: 103-117 - [c151]Domenico Fabio Savo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Vittorio Romagnoli, Marco Ruzzi, Gabriele Stella:
Experimenting Ontology-based Data Access with Mastro (Extended Abstract). SEBD 2010: 326-333 - [i3]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View Synthesis from Schema Mappings. CoRR abs/1003.1179 (2010)
2000 – 2009
- 2009
- [j40]Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati:
On Instance-level Update and Erasure in Description Logic Ontologies. J. Log. Comput. 19(5): 745-770 (2009) - [j39]Dennis E. Shasha, Maurizio Lenzerini, Z. Meral Özsoyoglu:
Foreword to TODS SIGMOD/PODS 2008 special issue. ACM Trans. Database Syst. 34(4): 19:1-19:2 (2009) - [c150]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Conceptual Modeling for Data Integration. Conceptual Modeling: Foundations and Applications 2009: 173-197 - [c149]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
An Automata-Theoretic Approach to Regular XPath. DBPL 2009: 18-35 - [c148]Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
On Higher-Order Description Logics. Description Logics 2009 - [c147]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 - [p6]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
- [j38]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) - [j37]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) - [j36]Antonella Poggi, Domenico Lembo, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Linking Data to Ontologies. J. Data Semant. 10: 133-173 (2008) - [j35]Maurizio Lenzerini:
Database theory column: report on PODS 2008. SIGACT News 39(3): 63-65 (2008) - [j34]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) - [c146]Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Towards Higher-Order DL-Lite. Description Logics 2008 - [c145]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Path-Based Identification Constraints in Description Logics. KR 2008: 231-241 - [c144]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
View-Based Query Answering over Description Logic Ontologies. KR 2008: 242-251 - [c143]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi:
Data Integration throughDL-LiteA Ontologies. SDKB 2008: 26-47 - [e6]Maurizio Lenzerini, Domenico Lembo:
Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2008, June 9-11, 2008, Vancouver, BC, Canada. ACM 2008, ISBN 978-1-60558-108-8 [contents] - 2007
- [j33]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) - [j32]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) - [c142]Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati:
On the Approximation of Instance Level Update and Erasure in Description Logics. AAAI 2007: 403-408 - [c141]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 - [c140]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Actions and Programs over Description Logic Ontologies. Description Logics 2007 - [c139]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 - [c138]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Can OWL Model Football Leagues? OWLED 2007 - [c137]Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
On reconciling data exchange, data integration, and peer data management. PODS 2007: 133-142 - [c136]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati:
Ontology-based Database Access. SEBD 2007: 324-331 - 2006
- [c135]Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati:
On the Update of Description Logic Ontologies at the Instance Level. AAAI 2006: 1271-1276 - [c134]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Epistemic First-order Queries over Description Logic Knowledge Bases. Description Logics 2006 - [c133]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Data Complexity of Query Answering in Description Logics. KR 2006: 260-270 - [c132]Maurizio Lenzerini, Erich J. Neuhold, V. S. Subrahmanian:
ODBASE 2006 International Conference (Ontologies, DataBases, and Applications of Semantics) PC Co-chairs' Message. OTM Conferences (1) 2006: 697 - [c131]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 - 2005
- [j31]Guido Vetere, Maurizio Lenzerini:
Models for semantic interoperability in service-oriented architectures. IBM Syst. J. 44(4): 887-904 (2005) - [j30]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) - [j29]Maurizio Lenzerini:
Preface. Theor. Comput. Sci. 336(1): 1- (2005) - [c130]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
DL-Lite: Tractable Description Logics for Ontologies. AAAI 2005: 602-607 - [c129]Andrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, Riccardo Rosati:
QuOnto: Querying Ontologies. AAAI 2005: 1670-1671 - [c128]Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Maurizio Lenzerini, Massimo Mecella:
Modeling Data & Processes for Service Specifications in Colombo. EMOI-INTEROP 2005 - [c127]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 - [c126]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Data Complexity of Query Answering in Description Logics. Description Logics 2005 - [c125]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 - [c124]Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Luigi Granata, Gianluigi Greco, Edyta Kalka, Giovambattista Ianni, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati, Marco Ruzzi, Witold Staniszkis, Giorgio Terracina:
Data Integration: a Challenging ASP Application. LPNMR 2005: 379-383 - [c123]Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Tailoring OWL for Data Intensive Ontologies. OWLED 2005 - [c122]Nicola Leone, Gianluigi Greco, Giovambattista Ianni, Vincenzino Lio, Giorgio Terracina, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Riccardo Rosati, Domenico Lembo, Maurizio Lenzerini, Marco Ruzzi, Edyta Kalka, Bartosz Nowicki, Witold Staniszkis:
The INFOMIX system for advanced integration of incomplete and inconsistent data. SIGMOD Conference 2005: 915-917 - [c121]Maurizio Lenzerini:
Logical Foundations for Data Integration. SOFSEM 2005: 38-40 - [c120]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Efficiently Managing Data Intensive Ontologies. SWAP 2005 - [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]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Conjunctive Query Containment and Answering under Description Logics Constraints. CoRR abs/cs/0507067 (2005) - 2004
- [j28]Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Data integration under integrity constraints. Inf. Syst. 29(2): 147-163 (2004) - [c119]Maurizio Lenzerini, Michele Missikoff:
Ontologies for Interoperability. CAiSE Workshops (3) 2004: 100 - [c118]Maurizio Lenzerini:
Principles of P2P Data Integration. DIWeb 2004: 7-21 - [c117]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere:
DL-Lite: Practical Reasoning for Rich Dls. Description Logics 2004 - [c116]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 - [c115]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 - [c114]Maurizio Lenzerini:
Quality-aware data Integration in Peer-to-Peer Systems. IQIS 2004: 1 - [c113]Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Tackling Inconsistencies in Data Integration through Source Preferences. IQIS 2004: 27-34 - [c112]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 - [c111]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Logical Foundations of Peer-To-Peer Data Integration. PODS 2004: 241-251 - [c110]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Query Reformulation over Ontology-based Peers. SEBD 2004: 418-425 - [c109]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
- [j27]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Reasoning on regular path queries. SIGMOD Rec. 32(4): 83-92 (2003) - [c108]Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, Fabio Vernacotola:
IBIS: Semantic Data Integration at Work. CAiSE 2003: 79-94 - [c107]Diego Calvanese, Elio Damaggio, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Semantic Data Integration in P2P Systems. DBISP2P 2003: 77-90 - [c106]Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella:
e-Service Composition by Description Logics Based Reasoning. Description Logics 2003 - [c105]Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella:
Automatic Composition of E-services That Export Their Behavior. ICSOC 2003: 43-58 - [c104]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-based query containment. PODS 2003: 56-67 - [c103]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Query Containment Using Views. SEBD 2003: 467-474 - [c102]Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella:
A Foundational Vision of e-Services. WES 2003: 28-40 - [p5]Andrea Calì, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Source Integration for Data Warehousing. Multidimensional Databases 2003: 361-392 - [p4]Alexander Borgida, Maurizio Lenzerini, Riccardo Rosati:
Description Logics for Databases. Description Logic Handbook 2003: 462-484 - 2002
- [j26]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) - [j25]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) - [c101]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Description Logics for Information Integration. Computational Logic: Logic Programming and Beyond 2002: 41-60 - [c100]Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Data Integration under Integrity Constraints. CAiSE 2002: 262-279 - [c99]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
2ATAs make DLs easy. Description Logics 2002 - [c98]Maurizio Lenzerini:
Incompleteness and inconsistency in information integration. Description Logics 2002 - [c97]Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
On the Expressive Power of Data Integration Systems. ER 2002: 338-350 - [c96]Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
A Formal Framework for Reasoning on UML Class Diagrams. ISMIS 2002: 503-513 - [c95]Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Source inconsistency and incompleteness in data integration. KRDB 2002 - [c94]Maurizio Lenzerini:
Incompleteness and inconsistency in information integration. KRDB 2002 - [c93]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Description Logics: Foundations for Class-based Knowledge Representation. LICS 2002: 359-370 - [c92]Maurizio Lenzerini:
Data Integration: A Theoretical Perspective. PODS 2002: 233-246 - [c91]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Lossless Regular Views. PODS 2002: 247-258 - [c90]Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Accessing Data Integration Systems through Conceptual Schemas. SEBD 2002: 161-168 - [c89]Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, Fabio Vernacotola:
IBIS: Data Integration at Work. SEBD 2002: 291-298 - [c88]Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Integrating Inconsistent and Incomplete Data Sources. SEBD 2002: 299-306 - [c87]Diego Calvanese, Tiziana Catarci, Maurizio Lenzerini, Giuseppe Santucci:
The multilingual thesaurus of LAURIN. SEKE 2002: 83-90 - [e4]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] - 2001
- [j24]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) - [j23]Mokrane Bouzeghoub, Maurizio Lenzerini:
Introduction to the special issue on data extraction, cleaning, and reconciliation. Inf. Syst. 26(8): 535-536 (2001) - [j22]Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Dan Suciu:
Report on the 8th International Workshop on Knowledge Representation Meets Databases (KRDB). SIGMOD Rec. 30(4): 92-93 (2001) - [c86]Maurizio Lenzerini:
Data Integration Is Harder than You Thought. CoopIS 2001: 22-26 - [c85]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-Based Query Answering and Query Containment over Semistructured Data. DBPL 2001: 40-61 - [c84]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Ontology of Integration and Integration of Ontologies. Description Logics 2001 - [c83]Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Accessing Data Integration Systems through Conceptual Schemas. ER 2001: 270-284 - [c82]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Identification Constraints and Functional Dependencies in Description Logics. IJCAI 2001: 155-160 - [c81]Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Dan Suciu:
Preface. KRDB 2001 - [c80]Maurizio Lenzerini:
Data Integration Needs Reasoning. LPNMR 2001: 54-61 - [c79]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
A Framework for Ontology Integration. SWWS 2001: 303-316 - [c78]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
A Framework for Ontology Integration. The Emerging Semantic Web 2001 - [p3]Diego Calvanese, Giuseppe De Giacomo, Daniele Nardi, Maurizio Lenzerini:
Reasoning in Expressive Description Logics. Handbook of Automated Reasoning 2001: 1581-1634 - [e3]Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Dan Suciu:
Proceedings of the 8th International Workshop on Knowledge Representation meets Databases (KRDB 2001), Rome, Italy, September 15, 2001. CEUR Workshop Proceedings 45, CEUR-WS.org 2001 [contents] - 2000
- [j21]Andrea Schaerf, Marco Cadoli, Maurizio Lenzerini:
LOCAL++: A C++ framework for local search algorithms. Softw. Pract. Exp. 30(3): 233-257 (2000) - [c77]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Answering Queries Using Views over Description Logics Knowledge Bases. AAAI/IAAI 2000: 386-391 - [c76]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
What is Query Rewriting? CIA 2000: 51-59 - [c75]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Keys for Free in Description Logics. Description Logics 2000: 79-88 - [c74]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Answering Regular Path Queries Using Views. ICDE 2000: 389-398 - [c73]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Containment of Conjunctive Regular Path Queries with Inverse. KR 2000: 176-185 - [c72]Andrea Calì, Diego Calvanese, Maurizio Lenzerini:
Semistructured data schemas with expressive constraints. KRDB 2000: 3-16 - [c71]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
What is View-Based Query Rewriting? KRDB 2000: 17-27 - [c70]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-Based Query Processing and Constraint Satisfaction. LICS 2000: 361-371 - [c69]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-Based Query Processing for Regular Path Queries with Inverse. PODS 2000: 58-66 - [c68]Andrea Calì, Diego Calvanese, Maurizio Lenzerini:
Local constraint in semistructured data schemas. SEBD 2000: 65-78 - [c67]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
- [j20]Diego Calvanese, Maurizio Lenzerini, Daniele Nardi:
Unifying Class-Based Representation Formalisms. J. Artif. Intell. Res. 11: 199-240 (1999) - [j19]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) - [j18]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Modeling and Querying Semi-Structured data . Netw. Inf. Syst. J. 2(2): 253-273 (1999) - [c66]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Queries and Constraints on Semi-structured Data. CAiSE 1999: 434-438 - [c65]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 - [c64]Maurizio Lenzerini:
Description Logics and Their Relationships with Databases. ICDT 1999: 32-38 - [c63]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees. IJCAI 1999: 84-89 - [c62]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Answering Queries Using Views in Description Logics. KRDB 1999: 6-10 - [c61]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Rewriting of Regular Expressions and Regular Path Queries. PODS 1999: 194-204 - [c60]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Rewriting of Regular Path Queries. SEBD 1999: 213-224 - [c59]Stefano Trisolini, Maurizio Lenzerini, Daniele Nardi:
Data Integration and Warehousing in Telecom Italia. SIGMOD Conference 1999: 538-539 - [c58]Andrea Schaerf, Maurizio Lenzerini, Marco Cadoli:
LOCAL++: A C++ Framework for Local Search Algorithms. TOOLS (29) 1999: 152-161 - [c57]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 - [e2]Patrick Lambrix, Alexander Borgida, Maurizio Lenzerini, Ralf Möller, Peter F. Patel-Schneider:
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999. CEUR Workshop Proceedings 22, CEUR-WS.org 1999 [contents] - 1998
- [j17]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Andrea Schaerf:
An Epistemic Operator for Description Logics. Artif. Intell. 100(1-2): 225-274 (1998) - [j16]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf:
AL-log: Integrating Datalog and Description Logics. J. Intell. Inf. Syst. 10(3): 227-252 (1998) - [c56]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
What can Knowledge Representation do for Semi-Structured Data? AAAI/IAAI 1998: 205-210 - [c55]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati:
Information Integration: Conceptual Modeling and Reasoning Support. CoopIS 1998: 280-291 - [c54]Diego Calvanese, Maurizio Lenzerini, Daniele Nardi:
Description Logics for Conceptual Data Modeling. Logics for Databases and Information Systems 1998: 229-263 - [c53]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati:
Source Integration in Data Warehousing. DEXA Workshop 1998: 192-197 - [c52]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Semi-structured Data with Constraints and Incomplete Information. Description Logics 1998 - [c51]Tiziana Catarci, Daniele Nardi, Giuseppe Santucci, Maurizio Lenzerini, Shi-Kuo Chang:
WAG: Web-At-a-Glance. HICSS (7) 1998: 344-353 - [c50]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati:
Description Logic Framework for Information Integration. KR 1998: 2-13 - [c49]Maurizio Lenzerini:
Description Logics and their Applications. KR 1998: 652 - [c48]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
On the Decidability of Query Containment under Constraints. PODS 1998: 149-158 - [c47]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Extending Semi-Structured Data. SEBD 1998: 87-102 - [c46]St. De Francisci, Oliver Günther, Hans-Joachim Lenz, Maurizio Lenzerini, Arie Shoshani:
OLAP and Data Warehousing in Statistical Databases (Panel). SSDBM 1998: 167 - 1997
- [j15]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt:
The Complexity of Concept Languages. Inf. Comput. 134(1): 1-58 (1997) - [j14]Giuseppe De Giacomo, Maurizio Lenzerini:
A Uniform Framework for Concept Definitions in Description Logics. J. Artif. Intell. Res. 6: 87-110 (1997) - [c45]Marco Cadoli, Luigi Palopoli, Maurizio Lenzerini:
Datalog and Description Logics: Expressive Power. APPIA-GULP-PRODE 1997: 333-344 - [c44]Marco Cadoli, Luigi Palopoli, Maurizio Lenzerini:
Datalog and Description Logics: Expressive Power. DBPL 1997: 281-298 - [c43]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Conjunctive Query Containment in Description Logics with n-ary Relations. Description Logics 1997 - [c42]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Representing and Reasoning on SGML Documents. ISMIS 1997: 540-549 - [e1]Maurizio Lenzerini:
AI*IA 97: Advances in Artificial Intelligence, 5th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 17-19, 1997, Proceedings. Lecture Notes in Computer Science 1321, Springer 1997, ISBN 3-540-63576-9 [contents] - [i1]Giuseppe De Giacomo, Maurizio Lenzerini:
A Uniform Framework for Concept Definitions in Description Logics. CoRR cs.AI/9703101 (1997) - 1996
- [c41]Giuseppe De Giacomo, Maurizio Lenzerini:
TBox and ABox Reasoning in Expressive Description Logics. Description Logics 1996: 37-48 - [c40]Marco Cadoli, Luigi Palopoli, Maurizio Lenzerini:
Datalog and Description Logics: Expressive Power - Preliminary Report. Description Logics 1996: 97-101 - [c39]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Representing SGML Documents in Description Logics. Description Logics 1996: 102-106 - [c38]Giuseppe De Giacomo, Maurizio Lenzerini:
TBox and ABox Reasoning in Expressive Description Logics. KR 1996: 316-327 - 1995
- [j13]Tiziana Catarci, Giovanna D'Angiolini, Maurizio Lenzerini:
Conceptual Language for Statistical Data Modeling. Data Knowl. Eng. 17(2): 93-125 (1995) - [c37]Giuseppe De Giacomo, Maurizio Lenzerini:
PDL-based framework for reasoning about actions. AI*IA 1995: 103-114 - [c36]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Structured Objects: Modeling and Reasoning. DOOD 1995: 229-246 - [c35]Giuseppe De Giacomo, Maurizio Lenzerini:
What's in an Aggregate: Foundations for Description Logics with Tuples and Sets. IJCAI (1) 1995: 801-807 - [c34]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Increasing the Power of Structured Objects. KRDB 1995 - 1994
- [j12]Marco Cadoli, Maurizio Lenzerini:
The Complexity of Propositional Closed World Reasoning and Circumscription. J. Comput. Syst. Sci. 48(2): 255-310 (1994) - [j11]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf:
Deduction in Concept Languages: From Subsumption to Instance Checking. J. Log. Comput. 4(4): 423-452 (1994) - [c33]Giuseppe De Giacomo, Maurizio Lenzerini:
Boosting the Correspondence between Description Logics and Propositional Dynamic Logics. AAAI 1994: 205-212 - [c32]Giuseppe De Giacomo, Maurizio Lenzerini:
Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus. ECAI 1994: 411-415 - [c31]Diego Calvanese, Maurizio Lenzerini:
On the Interaction Between ISA and Cardinality Constraints. ICDE 1994: 204-213 - [c30]Giuseppe De Giacomo, Maurizio Lenzerini:
Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations. JELIA 1994: 332-346 - [c29]Diego Calvanese, Maurizio Lenzerini, Daniele Nardi:
A Unified Framework for Class-Based Representation Formalisms. KR 1994: 109-120 - [c28]Maurizio Lenzerini:
Description Logics for Schema Level Reasoning in Databases (Abstract). KRDB 1994 - [c27]Diego Calvanese, Maurizio Lenzerini:
Making Object-Oriented Schemas More Expressive. PODS 1994: 243-254 - 1993
- [j10]Tiziana Catarci, Maurizio Lenzerini:
Representing and Using Interschema Knowledge in Cooperative Information Systems. Int. J. Cooperative Inf. Syst. 2(4): 375-398 (1993) - [j9]Giuseppe Di Battista, Maurizio Lenzerini:
Deductive Entity-Relationship Modeling. IEEE Trans. Knowl. Data Eng. 5(3): 439-450 (1993) - [c26]Tiziana Catarci, Maurizio Lenzerini:
Interschema Knowledge in Cooperative Information Systems. ICICIS 1993: 55-62 - 1992
- [j8]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Bernhard Hollunder, Werner Nutt, Alberto Marchetti-Spaccamela:
The Complexity of Existential Quantification in Concept Languages. Artif. Intell. 53(2-3): 309-327 (1992) - [c25]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Andrea Schaerf:
Queries, Rules and Definitions as Epistemic Sentences in Concept Languages. ECAI Workshop on Knowledge Representation and Reasoning 1992: 113-132 - [c24]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, Werner Nutt:
Adding Epistemic Operators to Concept Languages. KR 1992: 342-353 - 1991
- [j7]Maurizio Lenzerini:
Type data bases with incomplete information. Inf. Sci. 53(1-2): 61-87 (1991) - [c23]Maurizio Lenzerini, Andrea Schaerf:
Concept Languages as Query Languages. AAAI 1991: 471-476 - [c22]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf:
A Hybrid System with Datalog and Concept Languages. AI*IA 1991: 88-97 - [c21]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt:
Tractable Concept Languages. Description Logics 1991: 39-42 - [c20]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt:
The Complexity of Concept Languages (Extended Abstract). Description Logics 1991: 87-90 - [c19]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt:
Tractable Concept Languages. IJCAI 1991: 458-465 - [c18]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt:
The Complexity of Concept Languages. KR 1991: 151-162 - [c17]Maurizio Lenzerini, Andrea Schaerf:
Querying Concept-based Knowledge Bases. PDK 1991: 107-123 - 1990
- [j6]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi:
Using Terminological Reasoning in Hybrid Systems. AI Commun. 3(3): 128-138 (1990) - [j5]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Fiora Pirri, Marco Schaerf:
Nonmonotonic reasoning. Artif. Intell. Rev. 4(3): 163-210 (1990) - [j4]Maurizio Lenzerini, Paolo Nobili:
On the satisfiability of dependency constraints in entity-relationship schemata. Inf. Syst. 15(4): 453-461 (1990) - [c16]Marco Cadoli, Maurizio Lenzerini:
The Complexity of Closed World Reasoning and Circumscription. AAAI 1990: 550-555 - [c15]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi:
An Efficient Method for Hybrid Deduction. ECAI 1990: 246-252 - [c14]Tiziana Catarci, Giovanna D'Angiolini, Maurizio Lenzerini:
Concept Description Language for Statistical Data Modeling. VLDB 1990: 722-729
1980 – 1989
- 1989
- [c13]Giuseppe Di Battista, Maurizio Lenzerini:
A Deductive Method for Entity-Relationship Modeling. VLDB 1989: 13-21 - 1988
- [c12]Maurizio Lenzerini, Daniele Nardi:
Belief Revision as Meta-Reasoning. ECAI 1988: 577-579 - [c11]Giuseppe Di Battista, Maurizio Lenzerini:
Object Modeling Based on Logic. ER 1988: 207-225 - [c10]Francesco M. Donini, Maurizio Lenzerini:
TermLog: a Logic for Terminological Knowledge. ISMIS 1988: 408-417 - 1987
- [c9]Maurizio Lenzerini:
Class Hierarchies and Their Complexity. DBPL 1987: 43-65 - [c8]Maurizio Lenzerini:
Covering and Disjointness Constraints in Type Networks. ICDE 1987: 386-393 - [c7]Maurizio Lenzerini:
Formal Treatment of Incomplete Information in Type Data Bases. ISMIS 1987: 167-174 - [c6]Maurizio Lenzerini, Paolo Nobili:
On The Satisfiability of Dependency Constraints in Entity-Relationship Schemata. VLDB 1987: 147-154 - 1986
- [j3]Carlo Batini, Maurizio Lenzerini, Shamkant B. Navathe:
A Comparative Analysis of Methodologies for Database Schema Integration. ACM Comput. Surv. 18(4): 323-364 (1986) - 1985
- [c5]Maurizio Lenzerini:
SERM: Semantic Entity-Relationship Model. ER 1985: 270-278 - 1984
- [j2]Carlo Batini, Maurizio Lenzerini:
A Methodology for Data Schema Integration in the Entity Relationship Model. IEEE Trans. Software Eng. 10(6): 650-664 (1984) - 1983
- [c4]Carlo Batini, Maurizio Lenzerini:
A Methodology for Data Schema Integration in the Entity-Relationship Model. ER 1983: 413-420 - [c3]Maurizio Lenzerini, Gaetano Santucci:
Cardinality Constraints in the Entity-Relationship Model. ER 1983: 529-549 - [p2]Carlo Batini, Maurizio Lenzerini, Marina Moscarini:
Views Integration. Methodology and Tools for Data Base Design 1983: 57-84 - [p1]Paolo Atzeni, Carlo Batini, Enzo Carboni, Valeria De Antonellis, Maurizio Lenzerini, Fulvio Villanelli, Bruna Zonta:
INCOD-DTE: A System for Interative Conceptual Design of Data, Transactions and Events. Methodology and Tools for Data Base Design 1983: 205-228 - 1982
- [j1]Carlo Batini, Maurizio Lenzerini, Gaetano Santucci:
A computer-aided methodology for conceptual data-base design. Inf. Syst. 7(3): 265-280 (1982) - 1981
- [c2]Carlo Batini, Maurizio Lenzerini:
INCOD: A system for Interactive Conceptual Data Base Design. DAC 1981: 546-554 - [c1]Paolo Atzeni, Carlo Batini, Maurizio Lenzerini, Fulvio Villanelli:
INCOD: A System for Conceptual Design of Data and Transactions in the Entity-Relationship Model. ER 1981: 375-410
Coauthor Index
[c199] [r1] [c187] [c184] [i6] [j49] [j46] [p8] [p7] [j44] [j43] [j42] [c158] [i4] [c155] [i3] [c150] [c149] [c147] [p6] [j38] [j37] [j36] [j34] [c145] [c144] [c143] [j33] [j32] [c141] [c140] [c139] [c138] [c136] [c134] [c133] [c131] [j30] [c130] [c129] [c128] [c127] [c126] [c125] [c120] [e5] [i2] [j28] [c117] [c116] [c115] [c112] [c111] [c110] [c109] [j27] [c108] [c107] [c106] [c105] [c104] [c103] [c102] [j26] [j25] [c101] [c100] [c99] [c97] [c96] [c93] [c91] [c90] [c89] [c87] [e4] [j24] [c85] [c84] [c83] [c82] [c79] [c78] [p3] [c77] [c76] [c75] [c74] [c73] [c72] [c71] [c70] [c69] [c68] [c67] [j20] [j19] [j18] [c66] [c65] [c63] [c62] [c61] [c60] [c57] [c56] [c55] [c54] [c53] [c52] [c50] [c48] [c47] [c43] [c42] [c39] [c36] [c34] [c31] [c29] [c27]
[c211] [c209] [c203] [j55] [c199] [p9] [r1] [c191] [c189] [c187] [c184] [i6] [j49] [j46] [j45] [j44] [j43] [c169] [c165] [c164] [j42] [c163] [c159] [c158] [c155] [i3] [j40] [c150] [c149] [c148] [c147] [p6] [j38] [j37] [j36] [j34] [c146] [c145] [c144] [c143] [j33] [j32] [c142] [c141] [c140] [c139] [c138] [c137] [c136] [c135] [c134] [c133] [c131] [j30] [c130] [c129] [c128] [c127] [c126] [c125] [c123] [c120] [i2] [j28] [c117] [c116] [c115] [c113] [c112] [c111] [c110] [c109] [j27] [c108] [c107] [c106] [c105] [c104] [c103] [c102] [j26] [j25] [c101] [c100] [c99] [c97] [c96] [c93] [c91] [c90] [c89] [j24] [c85] [c84] [c83] [c82] [c79] [c78] [p3] [c77] [c76] [c75] [c74] [c73] [c71] [c70] [c69] [j19] [j18] [c66] [c65] [c63] [c62] [c61] [c60] [c57] [c56] [c55] [c53] [c52] [c50] [c48] [c47] [j14] [c43] [c42] [i1] [c41] [c39] [c38] [c37] [c36] [c35] [c34] [c33] [c32] [c30]
[c214] [c206] [j55] [c199] [p9] [r1] [j50] [c184] [c176] [c174] [j49] [j45] [c173] [c171] [c170] [c167] [c165] [c164] [j42] [c157] [c156] [c154] [c152] [c151] [c150] [c147] [p6] [j37] [j36] [c145] [c143] [e6] [j33] [c141] [c139] [c138] [c137] [c136] [c134] [c133] [c131] [c130] [c129] [c127] [c126] [c124] [c123] [c122] [c120] [c113] [c112] [c110] [p5] [c95] [c88]
[j62] [j61] [c217] [c214] [c213] [c212] [j58] [c208] [j57] [c205] [c201] [c200] [c197] [c196] [c194] [p9] [c191] [c190] [c189] [c188] [c186] [c185] [c181] [c178] [c176] [c175] [c174] [j45] [c173] [c171] [c170] [c165] [c164] [j42] [c154] [c151] [j40] [c147] [j36] [c143] [c142] [c141] [c136] [c135] [c131]
[j63] [i9] [j55] [c199] [p9] [r1] [j50] [c184] [j49] [j45] [c172] [c171] [c170] [j44] [c169] [c167] [c165] [c164] [j42] [c163] [c159] [c157] [c156] [c152] [j40] [c150] [c148] [c147] [p6] [j37] [j36] [c146] [c145] [c144] [c143] [j33] [c142] [c141] [c140] [c139] [c138] [c137] [c136] [c135] [c134] [c133] [c131] [c130] [c129] [c127] [c126] [c124] [c123] [c122] [c120] [c117] [c116] [c113] [c112] [c111] [c110] [c107] [p5] [p4] [c95] [c88] [j24] [c65] [c55] [c53] [c50]
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 21:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
