Query answering in description logics: The knots approach

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

Volumn 5514 LNAI, Issue , 2009, Pages 26-36

  Eiter, Thomas ^a   Lutz, Carsten ^b   Ortiz, Magdalena ^a   Šimkus, Mantas ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DESCRIPTION LOGIC; FLEXIBLE TOOL; KNOWLEDGE BASIS; MODAL LOGIC; OPTIMAL COMPLEXITY; QUERY ANSWERING; QUERY INFORMATION;

LINGUISTICS;

DATA DESCRIPTION;

EID: 68749100089     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02261-6_3     Document Type: Conference Paper

References (24)

1. Baader, F., Lutz, C., Motik, B. (eds.): Proceedings of the 21st International Workshop on Description Logics (DL 2008), Dresden, Germany, May 13-16, 2008. CEUR Workshop Proceedings, vol. 353. CEUR-WS.org (2008)
2. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Sc., vol. 53. Cambridge University Press, Cambridge (2001)
3. Calvanese, D., Eiter, T., Ortiz, M.: Answering regular path queries in expressive description logics: An automata-theoretic approach. In: Proc, of the 22nd Nat. Conf. on Artificial Intelligence (AAAI 2007), pp. 391-396 (2007)
4. Eiter, T., Gottlob, G., Ortiz, M., Šimkus, M.: Query answering in the description logic Horn-SHIQ. In: Hölldobler, S., Lutz, C., Wansing, H. (eds.) JELIA 2008. LNCS, vol. 5293, pp. 166-179. Springer, Heidelberg (2008)
5. Eiter, T., Lutz, C., Ortiz, M., Šimkus, M.: Query answering in description logics with transitive roles. In: Boutilier, C. (ed.) Proceedings of the 21st International Joint Conference on Artificial Intelligence (DCAI 2009). AAAI Press/IJCAI (2009)
6. Eiter, T., Ortiz, M., Simkus, M.: Reasoning using knots. In: Cervesato, I., Veith, FL, Voronkov, A. (eds.) LPAR 2008. LNCS, vol. 5330, pp. 377-390. Springer, Heidelberg (2008)
7. Fox, D., Gomes, O.P. (eds.): Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008. AAAI Press, Menlo Park (2008)
8. Glimm, B., Horrocks, L., Sattler, U.: Conjunctive query entailment for SHOQ. In: Proc, of the 2007 Description Logic Workshop (DL 2007). CEUR Electronic Workshop Proceedings, vol. 250, pp. 65-75 (2007), http://ceur-ws.org/Vol-250/
9. Glimm, B., Lutz, C., Horrocks, L., Sattler, U.: Answering conjunctive queries in the SHIQ description logic. Journal of Artificial Intelligence Research 31, 150-197 (2008)
10. Halpern, J.Y., Moses, Y.: A guide to completeness and complexity for modal logics of knowledge and belief. Artif. Intell. 54(3), 319-379 (1992)
11. Hustadt, U., Motik, B., Sattler, U.: A decomposition rule for decision procedures by resolution-based calculi. In: Baader, F., Voronkov, A. (eds.) LPAR 2004. LNCS, vol. 3452, pp. 21-35. Springer, Heidelberg (2005)
12. Lutz, C: The complexity of conjunctive query answering in expressive description logics. In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol. 5195, pp. 179-193. Springer, Heidelberg (2008)
13. Lutz, C: Two upper bounds for conjunctive query answering in SHIQ. In: Baader, et al [1]
14. Lutz, C., Sattler, U., Tendera, L.: The complexity of finite model reasoning in description logics. Inf. Comput. 199(1-2), 132-171 (2005)
15. Lutz, C., Wolter, F., Zakharyaschev, M.: Temporal description logics: A survey. In: Demri, S., Jensen, C.S. (eds.) Proc. 15th International Symposium on Temporal Representation and Reasoning (TIME 2008), pp. 3-14. IEEE Computer Society, Los Alamitos (2008)
16. Marx, M., Venema, Y.: Local variations on a loose theme: Modal logic and decidability. In: Finite Model Theory and Its Applications, vol. 7, pp. 371-429. Springer, Heidelberg (2007)
17. Németi, I.: Free algebras and decidability in algebraic logic. DSc. thesis, Mathematical Institute of The Hungarian Academy of Sciences, Budapest (1986)
18. Ortiz, M., Calvanese, D., Eiter, T.: Data complexity of query answering in expressive description logics via tableaux. J. of Automated Reasoning 41(1), 61-98 (2008)
19. Ortiz, M., Simkus, M., Eiter, T.: Conjunctive query answering in SH using knots. In: Baader, et al [1]
20. Ortiz, M., Simkus, M., Eiter, T.: Worst-case optimal conjunctive query answering for an expressive description logic without inverses. In: Fox and Gomes [7], pp. 504-510
21. Pan, G., Sattler, U., Vardi, M.Y.: BDD-based decision procedures for the modal logic k. Journal of Applied Non-Classical Logics 16(1-2), 169-208 (2006)
22. Pratt, V.R.: Models of program logics. In: FOCS, pp. 115-122. IEEE, Los Alamitos (1979)
23. Pratt-Hartmann, I.: Data-complexity of the two-variable fragment with counting quantifiers. Information and Computation (2008) (Forthcoming) CoRR, http://arxiv.org/abs/0806.1636
24. Rudolph, S., Krötzsch, M., Hitzler, P.: Terminological reasoning in SHIQ with ordered binary decision diagrams. In: Fox and Gomes [7], pp. 529-534