Keys for Free in Description Logics

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. Keys for Free in Description Logics. In Franz Baader, Ulrike Sattler, editors, Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000. Volume 33 of CEUR Workshop Proceedings, pages 79-88, CEUR-WS.org, 2000. [doi]

Abstract

Abstract is missing.