Borgida, A. (1996). On the relative expressiveness of description logics and predicate logics.

Artificial Intelligence, 82, 353-367.

Borgida, A., & Weddell, G. E. (1997). Adding functional dependencies to description logics.

In Proceedings of the Fifth International Conference on Deductive and Object-Oriented Databases (DOOD'97).

Brachman, R. J., & Levesque, H. J. (1984). The tractability of subsumption in frame-based description languages. In Proceedings of the Fourth National Conference on Artificial Intelligence (AAAI'84), pp. 34-37.

Brachman, R. J., & Levesque, H. J. (Eds.). (1985). Readings in Knowledge Representation.

Morgan Kaufmann, Los Altos.

Brachman, R. J., McGuinness, D. L., Patel-Schneider, P. F., Alperin Resnick, L., & Borgida, A. (1991). Living with CLASSIC: When and how to use a KL-ONE-like language. In Sowa, J. F. (Ed.), Principles of Semantic Networks, pp. 401–456. Morgan Kaufmann, Los Altos.

Bresciani, P., Franconi, E., & Tessaris, S. (1995).  Implementing and testing expressive description logics: Preliminary report. In Borgida, A., Lenzerini, M., Nardi, D., &
Nebel, B. (Eds.), Working Notes of the 1995 Description Logics Workshop, Technical Report, RAP 07.95, Dipartimento di Informatica e Sistemistica, Università di Roma
"La Sapienza", pp. 131–139 Rome (Italy).

Buchheit, M., Donini, F. M., Nutt, W., & Schaerf, A. (1998). A refined architecture for terminological systems: Terminology = schema + views. Artificial Intelligence, 99 (2), 209-260.

Buchheit, M., Donini, F. M., & Schaerf, A. (1993). Decidable reasoning in terminological knowledge representation systems. Journal of Artificial Intelligence Research, 1, 109– 138.

Calvanese, D. (1996a). Finite model reasoning in description logics. In Aiello, L. C., Doyle, J., & Shapiro, S. C. (Eds.), Proceedings of the Fifth International Conference on the Principles of Knowledge Representation and Reasoning (KR'96), pp. 292–303. Morgan Kaufmann, Los Altos.

Calvanese, D. (1996b). Reasoning with inclusion axioms in description logics: Algorithms and complexity. In Wahlster, W. (Ed.), Proceedings of the Twelfth European Conference on Artificial Intelligence (ECAI'96), pp. 303–307. John Wiley & Sons.

Calvanese, D. (1996c).

Unrestricted and Finite Model Reasoning in Class-
Based Representation Formalisms.

Ph.D. thesis, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza".

Available at http://www.dis.uniroma1.it/pub/calvanes/thesis.ps.gz.

Calvanese, D., De Giacomo, G., Lenzerini, M., Nardi, D., & Rosati, R. (1998). Description logic framework for information integration. In Proceedings of the Sixth International