Yavor Nenov

2 accepted papers

2024

Optimised Storage for Datalog Reasoning

Xinyue Zhang, Pan Hu, Yavor Nenov, Ian Horrocks

AAAI 2024technical

Materialisation facilitates Datalog reasoning by precomputing all consequences of the facts and the rules so that queries can be directly answered over the materialised facts. However, storing all materialised facts may be infeasible in practice, especially when the rules are complex and the given s…

Cited by 0 Source ↗PDF ↗Scholar ↗

2023

Enhancing Datalog Reasoning with Hypertree Decompositions

Xinyue Zhang, Pan Hu, Yavor Nenov, Ian Horrocks

IJCAI 2023poster

Datalog reasoning based on the seminaive evaluation strategy evaluates rules using traditional join plans, which often leads to redundancy and inefficiency in practice, especially when the rules are complex. Hypertree decompositions help identify efficient query plans and reduce similar redundancy i…

Cited by 0 Source ↗PDF ↗Scholar ↗