PAGOdA: Pay-as-you-go ABox Reasoning

Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Ian Horrocks. PAGOdA: Pay-as-you-go ABox Reasoning. In Diego Calvanese, Boris Konev, editors, Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015. Volume 1350 of CEUR Workshop Proceedings, CEUR-WS.org, 2015. [doi]

Abstract

Abstract is missing.