Datalog Reasoning over Compressed RDF Knowledge Bases

08/27/2019
by   Pan Hu, et al.
9

Materialisation is often used in RDF systems to derive, in a preprocessing step, 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 systems.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/24/2015

RDF2Rules: Learning Rules from RDF Knowledge Bases by Mining Frequent Predicate Cycles

Recently, several large-scale RDF knowledge bases have been built and ap...
research
09/16/2019

RuDaS: Synthetic Datasets for Rule Learning and Evaluation Tools

Logical rules are a popular knowledge representation language in many do...
research
04/23/2021

Producing symmetrical facts for lists induced by the list reversal mapping in Isabelle/HOL

Many facts possess symmetrical counterparts that often require a separat...
research
09/18/2019

Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees

Given a set of Datalog rules, facts, and a query, answers to the query c...
research
12/05/2014

Rule reasoning for legal norm validation of FSTP facts

Non-obviousness or inventive step is a general requirement for patentabi...
research
11/19/2019

Towards a computer-interpretable actionable formal model to encode data governance rules

With the needs of science and business, data sharing and re-use has beco...
research
05/12/2023

Knowledge Authoring for Rules and Actions

Knowledge representation and reasoning (KRR) systems describe and reason...

Please sign up or login with your details

Forgot password? Click here to reset