Data used to evaluate ORBITS: Optimal Repair-Based Inconsistency-Tolerant Semantics

<p>This dataset provides the input files that were used in the evaluation of the ORBITS system (Optimal Repair-Based Inconsistency-Tolerant Semantics, <a href="https://github.com/bourgaux/orbits">https://github.com/bourgaux/orbits</a>). A detailed description is available in a technical report on arXiv (<a href="https://arxiv.org/abs/2202.07980">https://arxiv.org/abs/2202.07980</a>).</p> <p><strong>Content:</strong></p> <p>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 &lt;database&gt;_&lt;query&gt;_answers_causes.json, and conflict graphs are named &lt;database&gt;_conflictGraph_&lt;priority relation&gt;.json where &lt;priority relation&gt; says whether the priority relation is score-structured (prio_score) or not (prio_non_score) and the probability (p&lt;proba&gt;) or number of scores (n&lt;number&gt;) used to build the priority relation.</p> <p>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 <a href="https://lahdak.lri.fr/CQAPri/CQAPri.php">https://lahdak.lri.fr/CQAPri/CQAPri.php</a>.<br> In all cases, we use ProvSQL (<a href="https://github.com/PierreSenellart/provsql">https://github.com/PierreSenellart/provsql</a>) to build conflict graphs and causes from the datasets.</p>