An ABox Revision Algorithm for the Description Logic EL_bot

Liang Chang, Uli Sattler, Tianlong Gu. An ABox Revision Algorithm for the Description Logic EL_bot. In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, Mantas Simkus, editors, Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. Volume 1193 of CEUR Workshop Proceedings, pages 459-470, CEUR-WS.org, 2014. [doi]

Abstract

Abstract is missing.