6 citations · 10 across the 4 of their papers we have counts for
5 papers
Optimised Storage for Datalog Reasoning
Xinyue Zhang, Pan Hu, Yavor Nenov +1
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. Howe…
Enhancing Datalog Reasoning with Hypertree Decompositions
Xinyue Zhang, Pan Hu, Yavor Nenov +1
Datalog reasoning based on the seminaïve evaluation strategy evaluates rules using traditional join plans, which often leads to redundancy and inefficiency in practice, especially…
Data Science with Vadalog: Bridging Machine Learning and Reasoning
Luigi Bellomarini, Ruslan R. Fayzrakhmanov, Georg Gottlob +7
Following the recent successful examples of large technology companies, many modern enterprises seek to build knowledge graphs to provide a unified view of corporate knowledge and…
Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality
Boris Motik, Yavor Nenov, Robert Piro +1
Materialisation precomputes all consequences of a set of facts and a datalog program so that queries can be evaluated directly (i.e., independently from the program). Rewriting opt…
On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces
Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann +1
We investigate (quantifier-free) spatial constraint languages with equality, contact and connectedness predicates as well as Boolean operations on regions, interpreted over low-dim…