Closed Predicates in Description Logics: Results on Combined Complexity

Nhung Ngo, Magdalena Ortiz, Mantas Simkus. Closed Predicates in Description Logics: Results on Combined Complexity. In Reinhard Pichler, Altigran Soares da Silva, editors, Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016. Volume 1644 of CEUR Workshop Proceedings, CEUR-WS.org, 2016. [doi]

Abstract

Abstract is missing.