## Abstract

The results of our investigation are summarized in Table 1, and in all cases they apply both to instance checking and conjunctive query entailment. The coNP upper bounds are a consequence of the results in [9]. When the UNA is not explicitly mentioned, the results hold both with and without UNA. We point out two interesting issues. First, for all of the considered extensions we were able to show tractability regarding data complexity if and only if the logic is convex regarding instances, i.e., A, T |= C(a) with C = D0 t · · · U D_{n-1} implies A, T |= D_{i}(a) for some i < n. It would be interesting to capture this phenomenon in a general result. And second, it is interesting to point out that subtle differences such as the UNA or local versus global functionality (for the latter, see EL^{(≤1r)} vs. ELI^{f} ) can have an impact on tractability. As future work, it would be interesting extend our upper bound by including more operators from the tractable description logic EL^{++} as proposed in [1]. For a start, it is not hard to show that conjunctive query entailment in full EL^{++} is undecidable due to the presence of role inclusions r1 ± r2 s. In the following, we briefly sketch the proof, which is by reduction of the problem of deciding whether the intersection of two languages defined by given context-free grammars G_{i} = (N_{i}, T, P_{i}, S_{i}), i ∈ {1, 2}, is empty. We assume w.l.o.g. that the set of non-terminals N1 and N2 are disjoint. Then define a TBox T := {T v r_{a} | a ∈ T} [ {rA_{1}..... rA_{n} r_{A} | A → A1 · · ·A_{n} ∈ P_{1} [ P_{2}}. It is not too difficult to see that L(G_{1})\L(G_{2}) ≠ θ iff the conjunctive query S1(u, v)^ S2(u, v) is matched by the ABox {T(a)} and TBox T .

Original language | English |
---|---|

Pages (from-to) | 88-99 |

Number of pages | 12 |

Journal | CEUR Workshop Proceedings |

Volume | 250 |

Publication status | Published - 1 Dec 2007 |

Event | 20th International Workshop on Description Logics, DL 2007 - Brixen/Bressanone, Italy Duration: 8 Jun 2007 → 10 Jun 2007 |