Conjunctive query answering for description logics with transitive roles

CEUR Workshop Proceedings

Volumn 189, Issue , 2006, Pages 3-14

  Glimm, Birte ^a   Horrocks, Ian ^a   Sattler, Ulrike ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CONJUNCTIVE QUERIES; DECISION PROCEDURE; DESCRIPTION LOGIC; EXPRESSIVE DESCRIPTION LOGIC; HYBRID LOGIC; REASONING TASKS; STATE VARIABLES;

ALGORITHMS; FORMAL LANGUAGES;

DATA DESCRIPTION;

EID: 47149085842     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P̃F. Patel-Schneider, editors. The Description Logic Handbook. Cambridge University Press, 2003.
2. P. Blackburn and J. Seligman. Hybrid languages. Journal of Logic, Language and Information, 4(3):251-272, 1995. Special issue on decompositions of first-order logic.
3. P. Blackburn and J. Seligman. Advances in Modal Logic, volume 1, chapter What are hybrid languages?, pages 41-62. CSLI, 1998.
4. D. Calvanese, G. De Giacomo, and M. Lenzerini. On the decidability of query containment under constraints. In Proc. of PODS'98, pages 149-158. ACM, 1998.
5. B. Glimm and I. Horrocks. Handling cyclic conjunctive queries. In Proc. of DL'05, Edinburgh, UK, July 26-28 2005. CEUR.
6. B. Glimm, I. Horrocks, and U. Sattler. Conjunctive query answering for the description logic SHOIQ. Technical report, The University of Manchester, 2006. Available online at http://www.cs.man.ac.uk/-glimmbx/download/GlHS06b.pdf.
7. I. Horrocks and U. Sattler. Ontology reasoning in the SHOQ description logic. In Proc. of IJCAI'01, pages 199-204. Morgan Kaufmann, 2001.
8. I. Horrocks, U. Sattler, S. Tessaris, and S. Tobies. How to decide query containment under constraints using a description logic. In Proc. of LPAR'00, LNAI. Springer, 2000.
9. U. Hustadt, B. Motik, and U. Sattler. A decomposition rule for decision procedures by resolution-based calculi. In Proc. of LPAR'04, volume 3452 of LNCS. Springer, 2004.
10. A. Y. Levy and M.-C. Rousset. CARIN: A representation language combining horn rules and description logics. In European Conf. on Artificial Intelligence, pages 323-327, 1996.
11. M. Marx. Narcissists, stepmothers and spies. In Proc. of DL'02, volume 53. CEUR, 2002.
12. M. Morse and G. A. Hedlund. Unending chess, symbolic dynamics, and a problem in semigroups. Duke Mathematical Journal, 11(1):1-7, 1944.
13. M. M. Ortiz, D. Calvanese, and T. Eiter. Characterizing data complexity for conjunctive query answering in expressive description logics. In Proc. of the 21st Nat. Conf. on Artificial Intelligence (AAAI'06), 2006. to appear.
14. S. Tessaris. Questions and answers: reasoning and querying in Description Logic. PhD thesis, University of Manchester, 2001.