[DL] Description Logics for Conceptual Design, Information Access, and Ontology Integration: Research Trends

S. Abiteboul and O. Duschka.
Complexity of answering queries using materialised views.
In Proc. of the 17th ACM Symp. on Principles of Database Systems (PODS'98), pages 254-265, 1998.

A. Artale and E. Franconi.
Temporal ER modeling with description logics.
In Proc. of the International Conference on Conceptual Modeling (ER'99). Springer-Verlag, November 1999.

Alexander Borgida and Ronald J. Brachman.
Loading data into description reasoners.
In Proc. of 1993 ACM SIGMOD International Conference on Management of Data, pages 217-226, 1993.

A. Borgida and R. J. Brachman.
Conceptual modelling with description logics.
In Baader et al. [BMNPS02].

Franz Baader, Ralph Kuesters, and Frank Wolter.
Extensions to description logics.
In Baader et al. [BMNPS02].

C. Beeri, A. Y. Levy, and M.-C. Rousset.
Rewriting queries using views in description logics.
In Proc. of the 16th ACM Symp. on Principles of Database Systems (PODS'97), pages 99-108, 1997.

A. Borgida, M. Lenzerini, and R. Rosati.
Description logics for databases.
In Baader et al. [BMNPS02].

F. Baader, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors.
Description Logic Handbook: Theory, Implementation and Applications.
Cambridge University Press, 2002.

F. Baader and W. Nutt.
Basic description logics.
In Baader et al. [BMNPS02].

Paolo Bresciani, Michele Nori, and Nicola Pedot.
A knowledge based paradigm for querying databases.
In Proc. of DEXA-00, pages 794-804, 2000.

A. Borgida.
Description logics in data management.
TKDE, 7(5):671-682, 1995.

Andrea Calì Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
A formal framework for reasoning on UML class diagrams.
In Proc. of the 13th Int. Sym. on Methodologies for Intelligent Systems (ISMIS 2002), 2002.

D. Calvanese, G. De Giacomo, M. Lenzerini, and D. Nardi.
Reasoning in expressive description logics.
In Baader et al. [BMNPS02].

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, and Riccardo Rosati.
Information integration: Conceptual modeling and reasoning support.
In Proc. of the 6th Int. Conf. on Cooperative Information Systems (CoopIS'98), pages 280-291, 1998.

D. Calvanese, G. De Giacomo, and M. Lenzerini.
Answering queries using views over description logics knowledge bases.
In Proc. of the 16th Nat. Conf. on Artificial Intelligence (AAAI 2000), 2000.

D. Calvanese, G. De Giacomo, M. Lenzerini, and Moshe Y. Vardi.
View-based query processing and constraint satisfaction.
In Proc. of the 15th IEEE Sym. on Logic in Computer Science (LICS 2000), 2000.

T. Catarci and M. Lenzerini.
Representing and Using Interschema Knowledge in Cooperative Information Systems.
Journal of Intelligent and Cooperative Systems, 2(4):375-398, 1993.

D. Calvanese, M. Lenzerini, and D. Nardi.
Description logics for conceptual data modeling.
In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems. Kluwer, 1998.

D. Calvanese, M. Lenzerini, and D. Nardi.
Unifying class-based representation formalisms.
J. of Artificial Intelligence Research, 11:199-240, 1999.

F. Donini.
Complexity of reasoning.
In Baader et al. [BMNPS02].

E. Franconi, F. Baader, U. Sattler, and P. Vassiliadis.
Multidimensional data models and aggregation.
In Jarke et al. [JLVV99], chapter 5, pages 87-106.

E. Franconi, F. Grandi, and F. Mandreoli.
A semantic approach for schema evolution and versioning in object-oriented databases.
In Proc. of the 1st International Conf. on Computational Logic (CL'2000), DOOD stream. Springer-Verlag, July 2000.

D. Fensel, I. Horrocks, F. van Harmelen, S. Decker, M. Erdmann, and M. Klein.
OIL in a nutshell.
In Proceedings of the European Knowledge Acquisition Conference (EKAW-2000), Lecture Notes In Artificial Intelligence. Springer-Verlag, 2000.

E. Franconi and M. Kifer, editors.
Proceedings of the 6th International Workshop on Knowledge Representation meets Databases (KRDB'99). Linköping University Technical Report, July 1999.
Also electronically available as CEUR Publication, Vol. 21, RWTH Aachen, Germany.

E. Franconi and G. Ng.
The ICOM tool for intelligent conceptual modelling.
In Proc. of the 7th International Workshop on Knowledge Representation meets Databases (KRDB'2000), 2000.

Enrico Franconi.
Knowledge representation meets digital libraries.
In Proc. of the 1st DELOS (Network of Excellence on Digital Libraries) workshop on ``Information Seeking, Searching and Querying in Digital Libraries", 2000.

E. Franconi and U. Sattler.
A data warehouse conceptual data model for multidimensional aggregation.
In Proceedings of the Workshop on Design and Management of Data Warehouses (DMDW'99), 1999.

Francois Goasdoue, Veronique Lattes, and Marie-Christine Rousset.
The use of CARIN language and algorithms for information integration: the picsel system.
International Journal on Cooperative Information Systems, 2000.

Christopher A. Welty Ian Horrocks, Deborah L. McGuinness.
Digital libraries and web based information systems.
In Baader et al. [BMNPS02].

M. Jarke, M. Lenzerini, Y. Vassilious, and P. Vassiliadis, editors.
Fundamentals of Data Warehousing.
Springer-Verlag, 1999.

Mathias Jarke, V. Quix, D. Calvanese, Maurizio Lenzerini, Enrico Franconi, S. Ligoudistiano, P. Vassiliadis, and Yannis Vassiliou.
Concept based design of data warehouses: The DWQ demonstrators.
In 2000 ACM SIGMOD International Conference on Management of Data, May 2000.

Alon Y. Levy and Marie-Christine Rousset.
Combining horn rules and description logics in CARIN.
Artificial Intelligence, 104(1-2):165-209, 1998.

Eduardo Mena, Arantza Illarramendi, Vipul Kashyap, and Amit P. Sheth.
OBSERVER: An approach for query processing in global information systems based on interoperation across pre-existing ontologies.
Distributed and Parallel Databases, 8(2):223-271, 2000.

J. D. Ullman.
Information integration using logical views.
In Proc. of the 6th Int. Conf on Database Theory (ICDT'97), pages 19-40, 1997.

Tutorial version 1 ( Last modified: Sat Mar 23 18:12:49 GMT 2002 )

  • Course material prepared by me may contain errors: please, help me in making it better.
  • Parts of the above course material have been inspired by many contributors in the DL field: thanks to them all!
  • Online papers may be copyrighted and they are available for evaluation purposes only. People are invited to contact the authors or the publishers for permissions.