Definitorially Complete Description Logics

Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema. Definitorially Complete Description Logics. In Patrick Doherty, John Mylopoulos, Christopher A. Welty, editors, Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006. pages 79-89, AAAI Press, 2006.

Abstract

Abstract is missing.