dblp.uni-trier.dewww.uni-trier.de

Diego Calvanese

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
140EEDaniele 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
139EEMariano Rodriguez-Muro, Lina Lubyte, Diego Calvanese: Realizing Ontology Based Data Access: A plug-in for protégé. ICDE Workshops 2008: 286-289
138EEDiego 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)
137EEAntonella Poggi, Domenico Lembo, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Linking Data to Ontologies. J. Data Semantics 10: 133-173 (2008)
2007
136 Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev: DL-Lite in the Light of First-Order Logic. AAAI 2007: 361-366
135 Diego Calvanese, Thomas Eiter, Magdalena Ortiz: Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach. AAAI 2007: 391-396
134EERaffaella Bernardi, Francesca Bonin, Diego Calvanese, Domenico Carbotta, Camilo Thorne: English Querying over Ontologies: E-QuOnto. AI*IA 2007: 170-181
133EEMarco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini: Finite Model Reasoning on UML Class Diagrams Via Constraint Programming. AI*IA 2007: 36-47
132EEAlessandro Artale, Diego Calvanese, Roman Kontchakov, V. Ryzhikov, Michael Zakharyaschev: Reasoning over Extended ER Models. ER 2007: 277-292
131EEDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: EQL-Lite: Effective First-Order Query Processing in Description Logics. IJCAI 2007: 274-279
130 Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev: Query Answering in Expressive Variants of DL-Lite. SEBD 2007: 250-257
129 Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati: Ontology-based Database Access. SEBD 2007: 324-331
128EEDiego 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. Reasoning 39(3): 385-429 (2007)
127EEDiego 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)
2006
126 Magdalena Ortiz, Diego Calvanese, Thomas Eiter: Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics. AAAI 2006
125EEAndrea Calì, Diego Calvanese: Optimising Query Answering in the Presence of Access Limitations (Position Paper). DEXA Workshops 2006: 547-552
124EEMagdalena Ortiz, Diego Calvanese, Thomas Eiter: Data Complexity of Answering Unions of Conjunctive Queries in SHIQ. Description Logics 2006
123EEDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Epistemic First-order Queries over Description Logic Knowledge Bases. Description Logics 2006
122EEDaniela Berardi, Giuseppe De Giacomo, Massimo Mecella, Diego Calvanese: ComposingWeb Services with Nondeterministic Behavior. ICWS 2006: 909-912
121 Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Data Complexity of Query Answering in Description Logics. KR 2006: 260-270
120 Andrea Calì, Diego Calvanese: Containment of Conjunctive Queries under Access Limitations. SEBD 2006: 131-138
119EEDiego Calvanese, Luigi Dragone, Daniele Nardi, Riccardo Rosati, Stefano Trisolini: Enterprise modeling and Data Warehousing in Telecom Italia. Inf. Syst. 31(1): 1-32 (2006)
118 Diego Calvanese, Nicola Guarino: Ontologies and Description Logics. Intelligenza Artificiale 3(1-2): 21-27 (2006)
2005
117 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 SEBD 2005
116 Andrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, Riccardo Rosati: QuOnto: Querying Ontologies. AAAI 2005: 1670-1671
115 Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: DL-Lite: Tractable Description Logics for Ontologies. AAAI 2005: 602-607
114EEDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach. DBPL 2005: 90-105
113EEDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Data Complexity of Query Answering in Description Logics. Description Logics 2005
112EEDaniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Maurizio Lenzerini, Massimo Mecella: Modeling Data & Processes for Service Specifications in Colombo. EMOI-INTEROP 2005
111EEDiego 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
110EEDaniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Massimo Mecella: Composition of Services with Nondeterministic Observable Behavior. ICSOC 2005: 520-526
109 Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella: Automatic Composition of Web Services in Colombo. SEBD 2005: 8-15
108EEDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Efficiently Managing Data Intensive Ontologies. SWAP 2005
107EEDiego Calvanese: Query Processing in Peer-to-Peer Systems: An Epistemic Logic Approach. TABLEAUX 2005: 1
106EEDaniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella: Automatic Composition of Transition-based Semantic Web Services with Messaging. VLDB 2005: 613-624
105 Diego Calvanese, Giuseppe De Giacomo: Data Integration: A Logic-Based Perspective. AI Magazine 26(1): 59-70 (2005)
104EEDaniela Berardi, Diego Calvanese, Giuseppe De Giacomo: Reasoning on UML class diagrams. Artif. Intell. 168(1-2): 70-118 (2005)
103EEMagdalena Ortiz, Diego Calvanese, Thomas Eiter, Enrico Franconi: Data complexity of answering conjunctive queries over SHIQ knowledge bases CoRR abs/cs/0507059: (2005)
102EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Conjunctive Query Containment and Answering under Description Logics Constraints CoRR abs/cs/0507067: (2005)
101EEDaniela 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)
100EEDiego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi: Decidable containment of recursive queries. Theor. Comput. Sci. 336(1): 33-56 (2005)
2004
99EEAndrea Calì, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini: A Description Logic Based Approach for Matching User Profiles. Description Logics 2004
98EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere: DL-Lite: Practical Reasoning for Rich Dls. Description Logics 2004
97EEMarco Cadoli, Diego Calvanese, Giuseppe De Giacomo: Towards Implementing Finite Model Reasoning in Description Logics. Description Logics 2004
96EEDiego 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
95EEDaniela Berardi, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, Diego Calvanese: Synthesis of underspecified composite e-services based on automated reasoning. ICSOC 2004: 105-114
94EEAndrea Calì, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini: A Logic-Based Approach for Matching User Profiles. KES 2004: 187-195
93 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
92EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Logical Foundations of Peer-To-Peer Data Integration. PODS 2004: 241-251
91 Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Query Reformulation over Ontology-based Peers. SEBD 2004: 418-425
90EEDaniela 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
89EEAndrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Data integration under integrity constraints. Inf. Syst. 29(2): 147-163 (2004)
2003
88 Diego Calvanese, Giuseppe De Giacomo, Enrico Franconi: Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003 CEUR-WS.org 2003
87 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
86EEAndrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, Fabio Vernacotola: IBIS: Semantic Data Integration at Work. CAiSE 2003: 79-94
85EEDiego Calvanese: Data Integration in Data Warehousing (Keynote Address). CAiSE Workshops 2003
84EEDiego Calvanese, Elio Damaggio, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Semantic Data Integration in P2P Systems. DBISP2P 2003: 77-90
83 Ulrike Sattler, Diego Calvanese, Ralf Molitor: Relationships with other Formalisms. Description Logic Handbook 2003: 137-177
82 Diego Calvanese, Giuseppe De Giacomo: Expressive Description Logics. Description Logic Handbook 2003: 178-218
81EEDaniela Berardi, Diego Calvanese, Giuseppe De Giacomo: Reasoning on UML Class Diagrams is EXPTIME-hard. Description Logics 2003
80EEDaniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella: e-Service Composition by Description Logics Based Reasoning. Description Logics 2003
79EEDiego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi: Decidable Containment of Recursive Queries. ICDT 2003: 327-342
78EEDaniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella: Automatic Composition of E-services That Export Their Behavior. ICSOC 2003: 43-58
77EEDiego Calvanese, Riccardo Rosati: Anwering Recursive Queries under Keys and Foreign Keys is Undecidable. KRDB 2003
76EEDiego Calvanese: View-based Query Processing for Semistructured Data. KRDB 2003
75EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-based query containment. PODS 2003: 56-67
74 Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Query Containment Using Views. SEBD 2003: 467-474
73EEDaniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella: A Foundational Vision of e-Services. WES 2003: 28-40
72EEGiovanni Lanfranchi, Pietro Della Peruta, Antonio Perrone, Diego Calvanese: Toward a new landscape of systems management in an autonomic computing environment. IBM Systems Journal 42(1): 119-128 (2003)
71EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Reasoning on regular path queries. SIGMOD Record 32(4): 83-92 (2003)
2002
70 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-WS.org 2002
69 Diego Calvanese, Maurizio Lenzerini, Rajeev Motwani: Database Theory - ICDT 2003, 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings Springer 2002
68EEAndrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Data Integration under Integrity Constraints. CAiSE 2002: 262-279
67EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Description Logics for Information Integration. Computational Logic: Logic Programming and Beyond 2002: 41-60
66EEAndrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: On the Expressive Power of Data Integration Systems. ER 2002: 338-350
65 Andrea Calì, Diego Calvanese: Optimized Querying of Integrated Data over the Web. Engineering Information Systems in the Internet Context 2002: 285-301
64EEAndrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: A Formal Framework for Reasoning on UML Class Diagrams. ISMIS 2002: 503-513
63 Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi: Reasoning about Actions and Planning in LTL Action Theories. KR 2002: 593-602
62EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Description Logics: Foundations for Class-based Knowledge Representation. LICS 2002: 359-370
61EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Lossless Regular Views. PODS 2002: 247-258
60 Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Accessing Data Integration Systems through Conceptual Schemas. SEBD 2002: 161-168
59 Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, Fabio Vernacotola: IBIS: Data Integration at Work. SEBD 2002: 291-298
58EEDiego Calvanese, Tiziana Catarci, Maurizio Lenzerini, Giuseppe Santucci: The multilingual thesaurus of LAURIN. SEKE 2002: 83-90
57EEAndrea 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)
56EEDiego 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)
2001
55EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-Based Query Answering and Query Containment over Semistructured Data. DBPL 2001: 40-61
54EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Ontology of Integration and Integration of Ontologies. Description Logics 2001
53EEAndrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Accessing Data Integration Systems through Conceptual Schemas. ER 2001: 270-284
52 Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Identification Constraints and Functional Dependencies in Description Logics. IJCAI 2001: 155-160
51EEDiego Calvanese, Silvana Castano, Francesco Guerra, Domenico Lembo, Michele Melchiori, Giorgio Terracina, Domenico Ursino, Maurizio Vincini: Towards a Comprehensive Methodological Framework for Integration. KRDB 2001
50 Andrea Calì, Diego Calvanese: Optimizing Query Planning with Limited Source Capabilities in the Presence of Inclusion and Functional Dependencies. SEBD 2001: 33-44
49EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: A Framework for Ontology Integration. SWWS 2001: 303-316
48 Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: A Framework for Ontology Integration. The Emerging Semantic Web 2001
47 Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi: Reasoning in Expressive Description Logics. Handbook of Automated Reasoning 2001: 1581-1634
46EEDiego 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)
45 Diego Calvanese, Tiziana Catarci, Giuseppe Santucci: LAURIN: A Distributed Digital Library of Newspaper Clippings. World Wide Web 4(1-2): 5-20 (2001)
2000
44 Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Answering Queries Using Views over Description Logics Knowledge Bases. AAAI/IAAI 2000: 386-391
43EEDiego Calvanese, Tiziana Catarci, Giuseppe Santucci: Building a Digital Library of Newspaper Clippings: The Laurin Project. ADL 2000: 15-26
42 Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: What is Query Rewriting? CIA 2000: 51-59
41EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Keys for Free in Description Logics. Description Logics 2000: 79-88
40EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Answering Regular Path Queries Using Views. ICDE 2000: 389-398
39 Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Containment of Conjunctive Regular Path Queries with Inverse. KR 2000: 176-185
38EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: What is View-Based Query Rewriting? KRDB 2000: 17-27
37EEAndrea Calì, Diego Calvanese, Maurizio Lenzerini: Semistructured data schemas with expressive constraints. KRDB 2000: 3-16
36 Diego Calvanese, Tiziana Catarci, Giuseppe Santucci: LAURIN: A Distributed Digital Library of Newspaper Clippings. Kyoto International Conference on Digital Libraries 2000: 187-194
35EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-Based Query Processing and Constraint Satisfaction. LICS 2000: 361-371
34EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-Based Query Processing for Regular Path Queries with Inverse. PODS 2000: 58-66
33 Andrea Calì, Diego Calvanese, Maurizio Lenzerini: Local constraint in semistructured data schemas. SEBD 2000: 65-78
32EEMatthias 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
1999
31EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Queries and Constraints on Semi-structured Data. CAiSE 1999: 434-438
30EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati: A Principled Approach to Data Integration and Reconciliation in Data Warehousing. DMDW 1999: 16
29 Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees. IJCAI 1999: 84-89
28EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Answering Queries Using Views in Description Logics. KRDB 1999: 6-10
27EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Rewriting of Regular Expressions and Regular Path Queries. PODS 1999: 194-204
26 Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Rewriting of Regular Path Queries. SEBD 1999: 213-224
25EEDiego 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
24EEDiego Calvanese, Maurizio Lenzerini, Daniele Nardi: Unifying Class-Based Representation Formalisms. J. Artif. Intell. Res. (JAIR) 11: 199-240 (1999)
23EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Representing and Reasoning on XML Documents: A Description Logic Approach. J. Log. Comput. 9(3): 295-318 (1999)
22 Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Modeling and Querying Semi-Structured data . Networking and Information Systems 2(2): 253-273 (1999)
21 Diego Calvanese, Giuseppe De Giacomo, Riccardo Rosati: Data Integration and Reconciliation in data Warehousing: Conceptual Modeling and Reasoning Support. Networking and Information Systems 2(4): 413-432 (1999)
1998
20 Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: What can Knowledge Representation do for Semi-Structured Data? AAAI/IAAI 1998: 205-210
19EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati: Information Integration: Conceptual Modeling and Reasoning Support. CoopIS 1998: 280-291
18 Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati: Source Integration in Data Warehousing. DEXA Workshop 1998: 192-197
17EEDiego Calvanese, Giuseppe De Giacomo, Riccardo Rosati: A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases. Description Logics 1998
16EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Semi-structured Data with Constraints and Incomplete Information. Description Logics 1998
15 Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati: Description Logic Framework for Information Integration. KR 1998: 2-13
14EEDiego Calvanese, Maurizio Lenzerini, Daniele Nardi: Description Logics for Conceptual Data Modeling. Logics for Databases and Information Systems 1998: 229-263
13EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: On the Decidability of Query Containment under Constraints. PODS 1998: 149-158
12 Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Extending Semi-Structured Data. SEBD 1998: 87-102
1997
11EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Conjunctive Query Containment in Description Logics with n-ary Relations. Description Logics 1997
10 Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Representing and Reasoning on SGML Documents. ISMIS 1997: 540-549
1996
9 Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Representing SGML Documents in Description Logics. Description Logics 1996: 102-106
8 Diego Calvanese: Finite Model Reasoning in Description Logics. Description Logics 1996: 25-36
7 Diego Calvanese: Reasoning with Inclusion Axioms in Description Logics: Algorithms and Complexity. ECAI 1996: 303-307
6 Diego Calvanese: Finite Model Reasoning in Description Logics. KR 1996: 292-303
1995
5 Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Structured Objects: Modeling and Reasoning. DOOD 1995: 229-246
4EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Increasing the Power of Structured Objects. KRDB 1995
1994
3EEDiego Calvanese, Maurizio Lenzerini: On the Interaction Between ISA and Cardinality Constraints. ICDE 1994: 204-213
2 Diego Calvanese, Maurizio Lenzerini, Daniele Nardi: A Unified Framework for Class-Based Representation Formalisms. KR 1994: 109-120
1EEDiego Calvanese, Maurizio Lenzerini: Making Object-Oriented Schemas More Expressive. PODS 1994: 243-254

Coauthor Index

1Andrea Acciarri [116]
2Alessandro Artale [130] [132] [136]
3Franz Baader [87]
4Daniela Berardi [73] [78] [80] [81] [90] [95] [101] [104] [106] [109] [110] [112] [122]
5Raffaella Bernardi [134]
6Francesca Bonin [134]
7Alexander Borgida [70]
8Daniele Braga [140]
9Marco Cadoli [97] [133]
10Andrea Calì [33] [37] [50] [53] [57] [59] [60] [64] [65] [66] [68] [86] [89] [94] [99] [117] [120] [125]
11Alessandro Campi [140]
12Domenico Carbotta [134]
13Silvana Castano [51]
14Tiziana Catarci [36] [43] [45] [58]
15Stefano Ceri [140]
16Laurence Cholvy [70]
17Simona Colucci [94] [99]
18Elio Damaggio [84]
19Florian Daniel [140]
20Francesco M. Donini [94] [99]
21Luigi Dragone [119]
22Thomas Eiter [103] [124] [126] [135]
23Enrico Franconi [32] [88] [103] [117]
24Giuseppe De Giacomo [4] [5] [9] [10] [11] [12] [13] [15] [16] [17] [18] [19] [20] [21] [22] [23] [25] [26] [27] [28] [29] [30] [31] [34] [35] [38] [39] [40] [41] [42] [44] [46] [47] [48] [49] [52] [53] [54] [55] [56] [57] [59] [60] [61] [62] [63] [64] [66] [67] [68] [71] [73] [74] [75] [78] [79] [80] [81] [82] [84] [86] [88] [89] [90] [91] [92] [93] [95] [96] [97] [98] [100] [101] [102] [104] [105] [106] [108] [109] [110] [111] [112] [113] [114] [115] [116] [121] [122] [123] [127] [128] [129] [131] [133] [137] [138]
25Nicola Guarino [118]
26Francesco Guerra [51]
27Richard Hull [106] [109] [112]
28Matthias Jarke [32]
29Roman Kontchakov [130] [132] [136]
30Giovanni Lanfranchi [72]
31Domenico Lembo [51] [91] [93] [108] [113] [114] [115] [116] [121] [123] [128] [129] [131] [137] [138]
32Maurizio Lenzerini [1] [2] [3] [4] [5] [9] [10] [11] [12] [13] [14] [15] [16] [18] [19] [20] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [37] [38] [39] [40] [41] [42] [44] [46] [47] [48] [49] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [64] [66] [67] [68] [69] [71] [73] [74] [75] [78] [80] [84] [86] [89] [90] [91] [92] [93] [95] [96] [98] [101] [102] [108] [111] [112] [113] [114] [115] [116] [117] [121] [123] [127] [128] [129] [131] [137] [138]
33Spyros Ligoudistianos [32]
34Lina Lubyte [139]
35Toni Mancini [133]
36Davide Martinenghi [140]
37Deborah L. McGuinness [87]
38Massimo Mecella [73] [78] [80] [90] [95] [101] [106] [109] [110] [112] [122]
39Michele Melchiori [51]
40Paolo Merialdo [140]
41Ralf Molitor [83]
42Rajeev Motwani [69]
43Paolo Naggar [59] [86]
44Daniele Nardi [2] [14] [15] [18] [19] [24] [30] [46] [47] [87] [119]
45Tommaso Di Noia [94] [99]
46Magdalena Ortiz [103] [124] [126] [135]
47Mattia Palmieri [116]
48Peter F. Patel-Schneider [87]
49Antonio Perrone [72]
50Pietro Della Peruta [72]
51Antonella Poggi [129] [137]
52Christoph Quix [32]
53Mariano Rodriguez-Muro [139]
54Riccardo Rosati [15] [17] [18] [19] [21] [30] [46] [77] [84] [91] [92] [93] [96] [98] [108] [113] [114] [115] [116] [119] [121] [123] [128] [129] [131] [137] [138]
55Marie-Christine Rousset [70]
56V. Ryzhikov [132]
57Giuseppe Santucci [36] [43] [45] [58]
58Ulrike Sattler [83]
59Letizia Tanca [117]
60Giorgio Terracina [51]
61Camilo Thorne [134]
62Riccardo Torlone [140]
63Stefano Trisolini [119]
64Domenico Ursino [51]
65Moshe Y. Vardi [25] [26] [27] [34] [35] [38] [39] [40] [42] [55] [56] [61] [63] [71] [74] [75] [79] [100] [111] [127]
66Panos Vassiliadis [32]
67Yannis Vassiliou [32]
68Fabio Vernacotola [59] [86]
69Guido Vetere [96] [98]
70Maurizio Vincini [51]
71Michael Zakharyaschev [130] [132] [136]

Colors in the list of coauthors

Copyright © Wed May 28 02:56:03 2008 by Michael Ley (ley@uni-trier.de)