Absorption for ABoxes.
Jiewen Wu, Alexander K. Hudek, David Toman, Grant Weddell · 2012
Abstract. We present a novel method of evaluating instance queries over description logic knowledge bases that derives from binary absorption. The method is designed to work well for large ABoxes and where the TBox is not necessarily Horn, e.g., where background knowledge requires the use of disjunction and negation. The method significantly improves the performance of instance checking, and particularly so in cases where a large number of concrete feature values are included. We also report on the results of a preliminary experimental evaluation that validates the efficacy of the method. 1