Query Answering in the Description Logic Horn-SHIQ ⋆

@inproceedings{Eiter2008QueryAI,
  title={Query Answering in the Description Logic Horn-SHIQ ⋆},
  author={Thomas Eiter and Georg Gottlob and Magdalena Ortiz and Mantas Simkus},
  year={2008}
}
We provide an ExpTime algorithm for answering conjunctive queries (CQs) in Horn-SHIQ, a Horn fragment of the well-known Description Logic SHIQ underlying the OWL-Lite standard. The algorithm employs a domino system for model representation, which is constructed via a worst-case optimal tableau algorithm for Horn-SHIQ; the queries are answered by reasoning over the domino system. Our algorithm not only shows that CQ answering in Horn-SHIQ is not harder than satisfiability testing, but also that… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 41 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-10 OF 18 REFERENCES

Similar Papers

Loading similar papers…