A Datalog Translation for Reasoning on DL-Lite_R with Defeasibility

Loris Bozzato, Thomas Eiter, Luciano Serafini. A Datalog Translation for Reasoning on DL-Lite_R with Defeasibility. In Mantas Simkus, Grant E. Weddell, editors, Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019. Volume 2373 of CEUR Workshop Proceedings, CEUR-WS.org, 2019. [doi]

Abstract

Abstract is missing.