Browse by Person

Botoeva, E. and Kontchakov, Roman and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2014) Query inseparability for description logic knowledge bases. In: Baral, C. and De Giacomo, G. and Eiter, T. (eds.) Proceedings, Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR-14). California, U.S.: AAAI Press. ISBN 9781577356578.

Razgon, Igor (2014) On OBDDs for CNFs of bounded treewidth. In: Baral, C. and De Giacomo, G. and Eiter, T. (eds.) Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning. Palo Alto, U.S.: AAAI Press. ISBN 9781577356578.

Kutz, O. and Lutz, C. and Wolter, F. and Zakharyaschev, Michael (2003) E-connections of description logics. In: Calvanese, D. and De Giacomo, G. and Franconi, E. (eds.) DL 2003: Proceedings of the 2003 International Workshop on Description Logics. CEUR Workshop Proceedings 81. CEUR-WS.org.

Calì, Andrea and Calvanese, D. and De Giacomo, G. and Lenzerini, M. and Naggar, P. and Vernacotola, F. (2003) IBIS semantic data integration at work. In: Eder, J. and Missikoff, M. (eds.) Advanced Information Systems Engineering: 15th International Conference. Lecture Notes in Computer Science 2681. Springer, pp. 79-94. ISBN 9783540404422.

Lutz, C. and Wolter, F. and Zakharyaschev, Michael (2003) Reasoning about concepts and similarity. In: Calvanese, D. and De Giacomo, G. and Franconi, E. (eds.) DL 2003: Proceedings of the 2003 International Workshop on Description Logics. CEUR Workshop Proceedings 81. CEUR-WS.org.

Calì, Andrea and Calvanese, D. and De Giacomo, G. and Lenzerini, M. (2002) Accessing data integration systems through conceptual schema. In: Ciaccia, P. and Rabitti, F. and Soda, G. (eds.) SEBD: Decimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati. SEBD, pp. 161-168.

Calì, Andrea and Calvanese, D. and De Giacomo, G. and Lenzerini, M. (2002) Data integration under integrity constraints. In: Pidduck, A.B. and Ozsu, M.T. and Mylopoulos, J. and Woo, C.C. (eds.) CAiSE 2002: Advanced Information Systems Engineering. Lecture Notes in Computer Science 2348. Springer, pp. 262-279. ISBN 9783540437383.

Calì, Andrea and Calvanese, D. and De Giacomo, G. and Lenzerini, M. and Naggar, P. and Vernacotola, F. and Soda, G. (2002) IBIS: data integration at work. In: Ciaccia, P. and Rabitti, F. (eds.) SEBD: Decimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati. SEBD, pp. 291-298.

Calì, Andrea and Calvanese, D. and De Giacomo, G. and Lenzerini, M. (2002) On the expressive power of data integration systems. In: Spaccapietra, S. and March, S.T. and Kambayashi, Y. (eds.) ER 2002: Conceptual Modeling. Lecture Notes in Computer Science 2503. Springer, pp. 338-350. ISBN 9783540442776.

Calì, Andrea and Calvanese, D. and De Giacomo, G. and Lenzerini, M. (2002) On the role of integrity constraints in data integration. IEEE Data Engineering Bulletin 25 (3), pp. 39-45.

Calì, Andrea and Calvanese, D. and De Giacomo, G. and Lenzerini, M. (2002) A formal framework for reasoning on UML class diagrams. In: Hacid, M.S. and Raś, Z.W. and Zighed, D.A. and Kodratoff, Y. (eds.) ISMIS 200: Foundations of Intelligent Systems. Lecture Notes in Computer Science 2366. Springer, pp. 503-513. ISBN 9783540437857.

Calì, Andrea and Calvanese, D. and De Giacomo, G. and Lenzerini, M. (2001) Accessing data integration systems through conceptual schemas. In: S. Kunii, H. and Jajodia, S. and Sølvberg, A. (eds.) ER 2001: Conceptual Modeling. Lecture Notes in Computer Science 2224. Springer. ISBN 9783540428664.