Data used to evaluate ORBITS: Optimal Repair-Based Inconsistency-Tolerant Semantics
收藏资源简介：
This dataset provides the input files that were used in the evaluation of the ORBITS system (Optimal Repair-Based Inconsistency-Tolerant Semantics, https://github.com/bourgaux/orbits). A detailed description will soon be made available in a technical report. <strong>Content:</strong> Folders <em>cqapri_benchmark</em>, <em>food_inspection_benchmark</em>, and <em>physicians_benchmark</em> contain JSON files of conflict graphs and candidate queries and their causes.<br> These files are named using the following pattern: files of candidate answers and their causes are named <database>_<query>_answers_causes.json, and conflict graphs are named <database>_conflictGraph_<priority relation>.json where <priority relation> says whether the priority relation is score-structured (prio_score) or not (prio_non_score) and the probability (p<proba>) or number of scores (n<number>) used to build the priority relation. Folder <em>original_datasets_and_queries</em> contains the Food Inspection and Physicians datasets used to generate files from <em>food_inspection_benchmark</em> and <em>physicians_benchmark</em>.<br> Files from <em>cqapri_benchmark</em> have been generated from the CQAPri benchmark available at https://lahdak.lri.fr/CQAPri/CQAPri.php.<br> In all cases, we use ProvSQL (https://github.com/PierreSenellart/provsql) to build conflict graphs and causes from the datasets.
