Unions of Conjunctive Queries in SHOQ

@inproceedings{Glimm2008UnionsOC,
  title={Unions of Conjunctive Queries in SHOQ},
  author={Birte Glimm and Ian Horrocks and Ulrike Sattler},
  booktitle={KR},
  year={2008}
}
Conjunctive queries play an important role as an expressive query language in Description Logics (DLs). Decision procedures for expressive Description Logics are, however, only recently emerging and it is still an open question whether answering conjunctive queries is decidable for the DL SHOIQ that underlies the OWL DL standard. In fact, no decision procedure was known for expressive DLs that contain nominals. In this paper, we close this gap by providing a decision procedure for entailment of… CONTINUE READING
Highly Cited
This paper has 41 citations. REVIEW CITATIONS

References

Publications referenced by this paper.
Showing 1-10 of 15 references

Questions and answers: reasoning and querying in Description Logic

  • S. Tessaris
  • PhD thesis, University of Manchester.
  • 2001
Highly Influential
2 Excerpts

Querying Description Logic Knowledge Bases

  • B. Glimm
  • Ph.D. Dissertation, The University of Manchester…
  • 2007
2 Excerpts

Similar Papers

Loading similar papers…