vProbLog
Probabilistic Reasoning Under the Possible World Semantics
First efficient C++ engine to support sound and complete query answering over probabilistic knowledge graphs using Datalog rules under the distribution semantics. vProbLog was the first engine to outperform the state-of-the-art reasoning engine ProbLog2 by several orders of magnitude in terms of runtime, making the difference between answering a query in a few seconds or not being able to process the query at all. vProbLog relies on the notion of provenance semirings to enable probabilistic reasoning and database optimization techniques to speed up reasoning.