Optimal Rewritings in Definitorially Complete Description Logics

Inanç Seylan, Enrico Franconi, Jos de Bruijn. Optimal Rewritings in Definitorially Complete Description Logics. In Volker Haarslev, David Toman, Grant E. Weddell, editors, Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010. Volume 573 of CEUR Workshop Proceedings, CEUR-WS.org, 2010. [doi]

Abstract

Abstract is missing.