ChaseBench

Benchmarking Reasoning Engines and Theorem Provers

Tools and datasets for benchmarking different techniques for querying and reasoning over knowledge bases and knowledge graphs.

Repository

ChaseBench

Relevant publications

2017

  1. PODS
    Benchmarking the Chase
    Michael Benedikt*, George Konstantinidis*, Giansalvatore Mecca*, Boris Motik*, Paolo Papotti*, Donatello Santoro*, and Efthymia Tsamoura*
    In Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS), Chicago, IL, USA, May 14-19, 2017
    DOI Code