SHIN ABox Reduction

9 years 20 days ago
SHIN ABox Reduction
We propose a technique to make consistency detection scalable for large Aboxes in secondary storage. We use static analysis of knowledge representation with summarization techniques to produce a dramatically reduced proxy Abox. We show that the proxy Abox is consistent only if the original Abox is also consistent. We also show that, in practice, our techniques dramatically reduce the time and space requirements for consistency detection.
Achille Fokoue, Aaron Kershenbaum, Li Ma
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2006
Where DLOG
Authors Achille Fokoue, Aaron Kershenbaum, Li Ma
Comments (0)