On the Closure of Description Logics under Substitutions

Jon Haël Brenas, Rachid Echahed, Martin Strecker. On the Closure of Description Logics under Substitutions. In Maurizio Lenzerini, Rafael Peñaloza, editors, Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016. Volume 1577 of CEUR Workshop Proceedings, CEUR-WS.org, 2016. [doi]

Abstract

Abstract is missing.