Grzegorz Borowik, Dariusz Nogalski. Technique for Transformation of DL Knowledge Base to Boolean Representation. In Grzegorz Borowik, Zenon Chaczko, Witold Jacak, Tadeusz Luba, editors, Computational Intelligence and Efficiency in Engineering Systems. Volume 595 of Studies in Computational Intelligence, pages 33-46, Springer, 2015. [doi]
Abstract is missing.