Sciweavers

DLOG
2007

Partitioning ABoxes Based on Converting DL to Plain Datalog

13 years 6 months ago
Partitioning ABoxes Based on Converting DL to Plain Datalog
Abstract. To make ABox reasoning scalable for large ABoxes in description logic (DL) knowledge bases, we develop a method for partitioning the ABox so that specific kinds of reasoning can be performed separately on each partition and the results trivially combined can achieve complete answers. Our method applies to SHIQ(D) knowledge bases. It first converts a DL knowledge base KB to a plain datalog program H(KB), and then computes the least fixpoint of the definite part of H(KB) while generating ABox partitions. Its time data complexity is polynomial in the ABox size, under some general assumption on concrete domains. Experimental results further demonstrate the advantages of our method.
Jianfeng Du, Yi-Dong Shen
Added 02 Oct 2010
Updated 02 Oct 2010
Type Conference
Year 2007
Where DLOG
Authors Jianfeng Du, Yi-Dong Shen
Comments (0)