Conjunctive query answering for the description logic SHIQ

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2007, Pages 399-404

  Glimm, Birte ^a   Horrocks, Ian ^a   Lutz, Carsten ^b   Sattler, Uli ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMBINED COMPLEXITY; COMPLEXITY BOUNDS; CONJUNCTIVE QUERIES; DESCRIPTION LOGIC; DETERMINISTIC ALGORITHMS; DOUBLE EXPONENTIAL; KNOWLEDGE BASIS; QUERY ANSWERING;

ALGORITHMS; ARTIFICIAL INTELLIGENCE; DATA DESCRIPTION; FORMAL LANGUAGES; KNOWLEDGE BASED SYSTEMS;

QUERY LANGUAGES;

EID: 84880883540     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003.
2. D. Calvanese, G. De Giacomo, and M. Lenzerini. On the decidability of query containment under constraints. In Proc. of PODS' 98. ACM Press, 1998.
3. F. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. Deduction in concept languages: From subsumption to instance checking. Journal of Logic and Computation, 4(4):423-452, 1994.
4. B. Glimm, I. Horrocks, and U. Sattler. Conjunctive query answering for description logics with transitive roles. In Proc. of DL-06. CEUR, 2006.
5. B. Glimm, I. Horrock, C. Lutz, and U. Sattler. Conjunctive query answering for the description logic SHIQ. LTCS-Report 06-01, Theoretical Computer Science, TU Dresden, 2006. See http://lat.inf.tu-dresden.de/research/ reports.html.
6. I. Horrocks and S. Tessaris. A conjunctive query language for description logic aboxes. In Proc. of AAAI-00, 2000.
7. I. Horrocks, U. Sattler, and S. Tobies. Reasoning with Individuals for the Description Logic SHIQ. In Proc. of CADE-00, vol. 1831 of LNAI. Springer-Verlag, 2000.
8. I. Horrocks, P. F. Patel-Schneider, and F. van Harmelen. From SHIQ and RDF to OWL: The making of a web ontology language. Journ. of Web Semantics, 1(1), 2003.
9. U. Hustadt, B. Motik, and U. Sattler. Data complexity of reasoning in very expressive description logics. In Proc. of IJCAI-05, 2005.
10. M. M. Ortiz, D. Calvanese, and T. Eiter. Characterizing data complexity for conjunctive query answering in expressive description logics. In Proc. of AAAI-06, 2006.
11. S. Tobies. Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, RWTH Aachen, 2001.