Bounded Implication for Existential Rules (Extended Abstract)

Cristina Civili, Riccardo Rosati. Bounded Implication for Existential Rules (Extended Abstract). 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.