CQAPri

Related publications

System

CQAPri is available for download.

Software requirements

Download CQAPri

Download CQAPri. See README file for instructions on how to run it.

Benchmark

The CQAPri benchmark available on this page consists in the modified LUBM ontology, a set of 20 queries and 35 inconsistent databases of growing size and ratio of conflicts.

The experimental settings of our different papers are provided on the following pages:

Ontology

We extended the modified LUBM benchmark from Lutz et al., which provides the DL-LiteR version of the original LUBM ELI TBox. We added negative inclusions to state the disjointness of pairs of concepts or roles appearing at the same level in the TBox (that is, having the same distance to the top concept “Thing”) and having the same closest super-concept. We excluded a small number of such inclusions when they did not seem to reflect the intended meaning of the concepts / roles.

Download the ontology file.

Queries

Download the queries files. All queries should be placed in the same folder.

Databases

Inconsistencies were introduced by contradicting the presence of an individual in a concept assertion with probability p, and the presence of each individual in a role assertion with probability p/2. Additionally, for every role assertion, its individuals are switched with probability p/10. See AAAI 14 appendix for more details. For each university, we used this method to generate 50 batches of SQL queries that insert such assertions by setting p=0.002. We obtain inconsistent ABoxes with growing ratios of assertions involved in some conflict by running the n first batches of queries over each university of the original consistent ABox, n ranging from 1 to 50.

Install the databases:

Data is encoded: set CQAPri parameter "encoded" to 1.

Naming conventions:

The characteristics of the ABoxes are displayed in the following table.

databases

Contact

Camille Bourgaux: *lastname*@lri.fr