Deductive/Query Conservativity in DL-Lite

Statistics

Current statistics for deductive conservativity () and query conservativity () is available.

Shorter statistics () for 3 series of 48 instances each is available.

QDIMACS files (short series)

• Series 1 (NN)
  • query conservativity, m + 1 types, -sSf (sheet 1NN-q (no rb)):
    fin-1NN-q-sSf.tar.gz (48 files, 15MB)
  • query conservativity, m + 1 types, -sSf -r1 -r2 (sheet 1NN-q):
    fin-1NN-q-sSf-rb.tar.gz (48 files, 15MB)
• Series 2 (YN)
  • query conservativity, m + 1 types, -sSf (sheet 2YN-q (no rb)):
    fin-2YN-q-sSf.tar.gz (48 files, 11MB)
  • query conservativity, m + 1 types, -sSf -r1 -r2 (sheet 2YN-q):
    fin-2YN-q-sSf-rb.tar.gz (48 files, 11MB)
• Series 3 (YY)
  • query conservativity, m + 1 types, -sSg (sheet 3YY-q (sSg, no rb)), various orders inside variable groups (difference with -sSf: some existential variables are moved forward in the prefix):
    • fin-3YY-q-sSg.tar.gz (48 files, 3.7MB)
    • fin-3YY-q-sSg-o1.tar.gz (48 files, 3.7MB)
    • fin-3YY-q-sSg-o2.tar.gz (48 files, 3.7MB)
    • fin-3YY-q-sSg-o3.tar.gz (48 files, 3.7MB)
    • fin-3YY-q-sSg-o4.tar.gz (48 files, 3.7MB)
  • query conservativity, m + 1 types, -sGf (sheet 3YY-q (no rb)):
    fin-3YY-q-sGf.tar.gz (48 files, 3.7MB)
  • query conservativity, m + 1 types, -sSf (sheet 3YY-q (no rb)), various orders inside variable groups:
    • fin-3YY-q-sSf.tar.gz (48 files, 3.7MB)
    • fin-3YY-q-sSf-o1.tar.gz (48 files, 3.7MB)
    • fin-3YY-q-sSf-o2.tar.gz (48 files, 3.7MB)
    • fin-3YY-q-sSf-o3.tar.gz (48 files, 3.7MB)
    • fin-3YY-q-sSf-o4.tar.gz (48 files, 3.7MB)
  • query conservativity, m + 1 types, -sSf -r1 -r2 (sheet 3YY-q):
    fin-3YY-q-sSf-rb.tar.gz (48 files, 3.7MB)

QDIMACS files

• Series 1 (NN), deductive conservativity
  • 2m + 1 types (sheet 1NN-d): 1NN-d.tar.gz (420 files, 61MB)
  • m + 1 types (sheet 1NN-dn0): 1NN-dn0.tar.gz (420 files, 33MB)
  • m + 1 types, -r1 -r2 (sheet 1NN-dn1): 1NN-dn1.tar.gz (420 files, 33MB)
• Series 2 (YN), deductive conservativity
  • 2m + 1 types (sheet 2YN-d): 2YN-d.tar.gz (252 files, 35MB)
  • m + 1 types (sheet 2YN-dn0): 2YN-dn0.tar.gz (252 files, 19MB)
  • m + 1 types, -r1 -r2 (sheet 2YN-dn1): 2YN-dn1.tar.gz (252 files, 19MB)
• Series 3 (YY), deductive conservativity
  • 2m + 1 types (sheet 3YY-d): 3YY-d.tar.gz (156 files, 9MB)
  • m + 1 types (sheet 3YY-dn0): 3YY-dn0.tar.gz (156 files, 5MB)
  • m + 1 types, -r1 -r2 (sheet 3YY-dn1): 3YY-dn1.tar.gz (156 files, 5MB)
• Series 2 (YN), query conservativity
  • m + 1 types, (AE)^{m+2} prefix, -sSf -r1 -r2: 2YN-q-sSf-rb.tar.gz (252 files, 63MB)
• Series 3 (YY), query conservativity
  • m + 1 types, (AE)^{m+2} prefix, -sSf -r1 -r2: 3YY-q-sSf-rb.tar.gz (156 files, 12MB)

LaTeX files

• Series 1 (NN/neither deductive nor query conservative extension): 1NN.tar.gz (420 files, 13KB)
• Series 2 (YN/deductive but not query conservative extension): 2YN.tar.gz (252 files, 10KB)
• Series 3 (YY/both deductive and query conservative extension): 3YY.tar.gz (156 files, 6KB)

LaTeX to QDIMACS translator

tex2qbf.tar.gz (ver 0.6.1, 4 Feb 2008)

Usage: tex2qbf-5sf.pl options (file|directory)

Options:

• -d deductive conservativity
• -q query conservativity
• -v verbose output (with all clauses in LaTeX form)
• -b batch-mode output (m0, m1, m12, W0, W1, W12, A1, A12, C, V, VA, VE)
  • m0, m1, m12 is the number of roles in Sigma, TBox1, TBox12
  • W0, W1, W12 is the number of basic concepts in Sigma, TBox1, TBox12
  • A1, A12 is the number of axioms in TBox1, TBox12
  • C is the number of clauses
  • V, VA, VE is the number of variables (total, universal, existential)
• -r TBox12 axiom pruning (query conservativity only)
• -r1 ordered TBox1 roles (unordered by default)
• -r2 ordered TBox12 roles (unordered by default)
• -sSf AE...AE prefix

If a file is specified then it is processed and QDIMACS is written to STDOUT.

If a directory is specified then every .tex file of it is processed with the specified options and their outputs are written into the d2-filename.qdimacs or q2-filename.qdimacs files in the current directory.

For definitions and details of the translation please refer to the paper.

Maintained by Roman Kontchakov. Last updated