Absorption for ABoxes and TBoxes with General Value Restrictions

Jiewen Wu, Taras Kinash, David Toman, Grant E. Weddell. Absorption for ABoxes and TBoxes with General Value Restrictions. In Bernhard Pfahringer, Jochen Renz, editors, AI 2015: Advances in Artificial Intelligence - 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 - December 4, 2015, Proceedings. Volume 9457 of Lecture Notes in Computer Science, pages 609-622, Springer, 2015. [doi]

Abstract

Abstract is missing.