Experimental setting of "Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics" (AAAI 14)

Queries

Download the queries files (2014).

queries AAAI14

Databases

Naming conventions: Note that these databases are not included in the CQAPri benchmark and that Y < Z does not imply that uXpY ⊂ uXpZ.
Database name number of tuples tuples added to uXp0 % tuples added assertions in a conflict % assertions in a conflict
u1p0 75663 0 0 0 0
u1p15e-4 75708 45 0,059438897 1552 2,049981508
u1p5e-2 76959 1296 1,684013566 23832 30,96713835
u1p2e-1 80454 4791 5,954955627 46660 57,99587342
u5p0 499423 0 0 0 0
u5p15e-4 499674 251 0,050232752 8498 1,700708862
u5p5e-2 507713 8290 1,632812238 168176 33,12422569
u5p2e-1 531607 32184 6,054096353 309868 58,28892396
u10p0 930258 0 0 0 0
u10p15e-4 930729 471 0,050605493 22105 2,375020011
u10p5e-2 945450 15192 1,606853879 320711 33,92151885
u10p2e-1 988882 58624 5,928310961 582361 58,89084845
u20p0 1981872 0 0 0 0
u20p15e-4 1982922 1050 0,052952158 52354 2,640245053
u20p5e-2 2014129 32257 1,601535949 683103 33,91555357
u20p2e-1 2103366 121494 5,776170196 1236463 58,78496657