Can you tell the difference between
DL-Lite ontologies?

For definitions, full proofs and details of the translation please refer to the full version of
R. Kontchakov, F. Wolter and M. Zakharyaschev.
Can you tell the difference between DL-Lite ontologies?

Statistics

Current statistics () is available.

QDIMACS files

• Series 1 (NN)
  • concept Σ-entailment, -d -r1 -r2 (sheet 1NN-d-full):
    1NN-d-rb.tar.gz (420 files, 33MB)
  • query Σ-entailment, -q -sSg (sheet 1NN-q-full):
    1NN-q-sSg.tar.gz (420 files, 106MB)
• Series 2 (YN)
  • concept Σ-entailment, -d -r1 -r2 (sheet 2YN-d-full):
    2YN-d-rb.tar.gz (252 files, 19MB)
  • query Σ-entailment, -q -sSg (sheet 2YN-q-full):
    2YN-q-sSg.tar.gz (252 files, 62MB)
• Series 3 (YY)
  • concept Σ-entailment, -d -r1 -r2 (sheet 3YY-d-full):
    3YY-d-rb.tar.gz (156 files, 5MB)
  • query Σ-entailment, -q -sSg (sheet 2YY-q-full):
    3YY-q-sSg.tar.gz (156 files, 12MB)

LaTeX files

• Series 1 (NN/T₁ does not concept Σ-entail T₂): 1NN.tar.gz (420 files, 13KB)
• Series 2 (YN/T₁ concept but not query Σ-entails T₂): 2YN.tar.gz (252 files, 9KB)
• Series 3 (YY/T₁ query Σ-entails T₂): 3YY.tar.gz (156 files, 6KB)

Maintained by Roman Kontchakov. Last updated