Compiling Model Representations for Querying Large ABoxes in Expressive DLs

Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus. Compiling Model Representations for Querying Large ABoxes in Expressive DLs. In Jérôme Lang, editor, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden. pages 1691-1698, ijcai.org, 2018. [doi]

Abstract

Abstract is missing.