Query Answering in the Description Logic Horn-SHIQ

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5293 LNAI, Issue , 2008, Pages 166-179

  Eiter, Thomas ^a   Gottlob, Georg ^b   Ortiz, Magdalena ^a   Šimkus, Mantas ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; BOOLEAN FUNCTIONS;

CONJUNCTIVE QUERIES; DATA COMPLEXITIES; DESCRIPTION LOGICS; DOMINO SYSTEMS; HORN FRAGMENTS; MODEL REPRESENTATIONS; QUERY ANSWERING; SATISFIABILITY TESTING; TABLEAU ALGORITHMS;

DATA DESCRIPTION;

EID: 56649111061     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87803-2_15     Document Type: Conference Paper

References (18)

1. Baader, F.: Terminological cycles in a description logic with existential restrictions. In: IJCAI 2003, pp. 325-330 (2003)
2. Cali, A., Gottlob, G., Kifer, M.: Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. In: KR 2008 (to appear, 2008)
3. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. In: KR 2006 (2006)
4. Calvanese, D., De Giacomo, G., Lenzerini, M.: On the decidability of query containment under constraints. In: PODS 1998, pp. 149-158 (1998)
5. Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-lite family. J. Autom. Reasoning 39(3), 385-429 (2007)
6. Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive Query Answering for the Description Logic SHIQ. In: IJCAI 2007, pp. 399-404 (2007)
7. Horrocks, I.: Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester (1997)
8. Horrocks, I., Sattler, U.: A tableaux decision procedure for SHOIQ. In: IJCAI 2005, pp. 448-453 (2005)
9. Hustadt, U., Motik, B., Sattler, U.: Data complexity of reasoning in very expressive description logics. In: IJCAI 2005, pp. 466-471 (2005)
10. Krisnadhi, A., Lutz, C.: Data complexity in the EL family of description logics. In: DL 2007, Bressanone, Italy. CEUR-WS, vol. 250, pp. 88-99 (2007)
11. Krötzsch, M., Rudolph, S., Hitzler, P.: Complexity boundaries for Horn description logics. In: AAAI 2007, pp. 452-457 (2007)
12. Krötzsch, M., Rudolph, S., Hitzler, P.: Conjunctive queries for a tractable fragment of OWL 1.1. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudré-Mauroux, P. (eds.) ASWC 2007/ISWC 2007. LNCS, vol. 4825, pp. 310-323. Springer, Heidelberg (2007)
13. Lutz, C.: Inverse roles make conjunctive queries hard. In: DL 2007 (2007)
14. Lutz, C.: Two upper bounds for conjunctive query answering in SHIQ. In: DL 2008 (2008)
15. Motik, B., Shearer, R., Horrocks, I.: Optimized reasoning in description logics using hypertableaux. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol. 4603, pp. 67-83. Springer, Heidelberg (2007)
16. Ortiz, M., Šimkus, M., Eiter, T.: Worst-case optimal conjunctive query answering in description logics without inverses. In: AAAI 2008 (to appear, 2008)
17. Rosati, R.: On conjunctive query answering in EL. In: DL 2007 (2007)
18. Rudolph, S., Krötzsch, M., Hitzler, P.: Terminological reasoning in SHIQ with ordered binary decision diagrams. In: AAAI 2008 (to appear, 2008)