Experimental setting of "Explaining Inconsistency-Tolerant Query Answering over Description Logic Knowledge Bases" (AAAI 16)
Databases
Set CQAPri parameter "encoded" to 1.
Naming conventions:
- uXcY indicates the number X of universities generated by EUDG and Y the percentage of assertions involved in some conflict.
- uXcY ⊂ uXcZ when Y < Z
These databases are comprised in the CQAPri benchmark with the identifiers given in brackets.
