Datalog Reasoning over Compressed RDF Knowledge Bases
This work addresses efficiency problems for users of RDF knowledge bases, offering incremental improvements in speed and memory usage.
The paper tackles the memory and performance issues of materialisation in RDF systems by introducing a novel technique that compresses RDF triples to enable rule applications to multiple facts at once and uses structure sharing for derived facts, resulting in faster processing and reduced memory usage, with experiments showing effectiveness for simple rules.
Materialisation is often used in RDF systems as a preprocessing step to derive all facts implied by given RDF triples and rules. Although widely used, materialisation considers all possible rule applications and can use a lot of memory for storing the derived facts, which can hinder performance. We present a novel materialisation technique that compresses the RDF triples so that the rules can sometimes be applied to multiple facts at once, and the derived facts can be represented using structure sharing. Our technique can thus require less space, as well as skip certain rule applications. Our experiments show that our technique can be very effective: when the rules are relatively simple, our system is both faster and requires less memory than prominent state-of-the-art RDF systems.