Exploiting conjunctive queries in description logic programs

Annals of Mathematics and Artificial Intelligence

Volumn 53, Issue 1-4, 2008, Pages 115-152

  Eiter, Thomas ^a   Ianni, Giovambattista ^b   Krennwallner, Thomas ^a   Schindlauer, Roman ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b UNIVERSITY OF CALABRIA   (Italy)

Author keywords

Answer set programming; Conjunctive queries and description logics; Hybrid rule languages; Semantic web

Indexed keywords

EID: 67349275638     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10472-009-9111-3     Document Type: Article

References (40)

1. Antoniou, G., Damásio, C.V., Grosof, B., Horrocks, I., Kifer, M., Maluszynski, J., Patel-Schneider, P.F.: Combining rules and ontologies: a survey. Tech. Rep. IST506779/Linköping/I3-D3/D/PU/a1, Linköping University, Feb. (2005)
2. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F., (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
3. Calvanese, D., Eiter, T., Ortiz, M.: Answering regular path queries in expressive description logics: an automata-theoretic approach. In: AAAI, pp. 391-396. AAAI, Menlo Park (2007) (Pubitemid 350149602)
4. E. Dantsin T. Eiter G. Gottlob A. Voronkov 2001 Complexity and expressive power of logic programming ACM Comput. Surv. 33 3 374 425 (Pubitemid 33768487)
5. de Bruijn, J., Eiter, T., Polleres, A., Tompits, H.: On representational issues about combinations of classical theories with nonmonotonic rules. In: Proceedings KSEM-2006. LNCS/LNAI, vol. 4092, pp. 1-22. Springer, New York (2006) (Pubitemid 44502598)
6. de Bruijn, J., Pearce, D., Polleres, A., Valverde, A.: Quantified equilibrium logic and hybrid rules. In: Proceedings First International Conference on Web Reasoning and Rule Systems (RR2007), Innsbruck, 2007. LNCS, vol. 4524, pp. 58-72. Springer, New York (2007)
7. Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. Artif. Intell. 172(12-13), 1495-1539 (2008)
8. Eiter, T., Ianni, G., Polleres, A., Schindlauer, R., Tompits, H.: Reasoning with rules and ontologies. In: Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U. (eds.) Reasoning Web, Second International Summer School 2006, Lissabon, Portugal, 25-29 September 2006, Tutorial Lectures, number 4126 in LNCS, pp. 93-127. Springer, New York (2006) (Pubitemid 44568361)
9. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In: Proceedings IJCAI-2005, pp. 90-96. Professional Book Center, Denver (2005)
10. Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. In: Dubois, D., Welty, C., Williams, M.-A. (eds.) Proceedings Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), June 2-5, Whistler, British Columbia, Canada, pp. 141-151. Morgan Kaufmann, San Francisco (2004)
11. Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Well-founded semantics for description logic programs in the semantic web. In: Proceedings RuleML-2004. LNCS, vol. 3323, pp. 81-97. Springer, New York (2004)
12. Faber, W., Leone, N., Pfeifer, G.: Recursive aggregates in disjunctive logic programs: semantics and complexity. In: Proceedings JELIA-2004. LNCS/LNAI, vol. 3229, pp. 200-212. Springer, New York (2004)
13. B. Glimm C. Lutz I. Horrocks U. Sattler 2008 Conjunctive query answering for the description logic SHIQ J. Artif. Intell. Res. 31 157 204
14. Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive query answering for the description logic SHIQ. In: Veloso, M. (ed.) Proc. 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 399-404. AAAI/IJCAI, Menlo Park (2007)
15. Haarslev, V., Möller, R.: RACER system description. In: Proceedings IJCAR-2001. LNCS/LNAI, vol. 2083, pp. 701-705. Springer, New York (2001) (Pubitemid 33291468)
16. I. Horrocks P.F. Patel-Schneider 2004 Reducing OWL entailment to description logic satisfiability J. Web Semantics 1 4 345 357
17. Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Proceedings LPAR-1999. LNCS/LNAI, vol. 1705, pp. 161-180. Springer, New York (1999)
18. I. Horrocks P.F. Patel-Schneider F. van Harmelen 2003 From SHIQ and RDF to OWL: the making of a web ontology language J. Web Semantics 1 1 7 26
19. Krennwallner, T.: Integration of conjunctive queries over description logics into HEX-programs. Master's thesis, Vienna University of Technology, Karlsplatz 13, A-1040 Wien, October (2007)
20. Lukasiewicz, T.: A novel combination of answer set programming with description logics for the semantic web. In: Proceedings ESWC-2007. LNCS, vol. 4519, pp. 384-398. Springer, New York (2007) (Pubitemid 47290021)
21. Lutz, C.: Inverse roles make conjunctive queries hard. In: Proceedings of the 2007 International Workshop on Description Logics (DL2007), Bressanone, 2007, number 250 in CEUR Workshop Proceedings, http://ceur-ws.org/, pp. 100-111 (2007)
22. Marek, V., Niemelä, I., Truszczyśki, M.: Logic programs with monotone cardinality atoms. In: Proceedings LPNMR-2004, LNCS, vol. 2923, pp. 154-166 (2004)
23. W. Marek J. Remmel 2003 On the expressibility of stable logic programming Theory Pract. Log. Program. 3 4-5 551 567 (Pubitemid 33347400)
24. W. Marek M. Truszczyński 1991 Autoepistemic Logic J. ACM 38 3 588 619
25. Motik, B., Horrocks, I., Rosati, R., Sattler, U.: Can OWL and logic programming live together happily ever after? In: Proceedings ISWC-2006, LNCS, vol. 4273, pp. 501-514. Springer, New York (2006)
26. Motik, B., Rosati, R.: A faithful integration of description logics with logic programming. In: Veloso, M. (ed.) Proceedings 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 477-482. AAAI/IJCAI, Menlo Park (2007)
27. Motik, B., Sattler, U.: A comparison of reasoning techniques for querying large description logic aboxes. In: Hermann, M., Voronkov, A. (eds.), LPAR, of Lecture Notes in Computer Science, vol. 4246, pp. 227-241. Springer, New York (2006)
28. B. Motik U. Sattler R. Studer 2005 Query answering for OWL-DL with rules J. Web Semantics 3 1 41 60 (Pubitemid 39743907)
29. Nonnengart, A., Weidenbach, C.: Computing small clause normal forms. In: Robinson, A., Voronkov, A. (eds.), Handbook of Automated Reasoning, vol. I, chapter 6, pp. 335-367. Elsevier, Amsterdam (2001)
30. Ortiz de la Fuente, M., Calvanese, D., Eiter, T.: Data complexity of answering unions of conjunctive queries in SHIQ. In: Parsi, B., Sattler, U., Toman, D. (eds.) Proceedings of the 2006 International Workshop on Description Logics (DL2006), The Lake District of the UK, May 30 - June 1, 2006, CEUR Workshop Proceedings, vol. 189, pp. 62-73. http://CEUR-WS.org/Vol-189 (2006).
31. Ortiz de la Fuente, M., Calvanese, D., Eiter, T., Franconi, E.: Characterizing data complexity for conjunctive query answering in expressive description logics. In: Proceedings AAAI-2006. AAAI, Menlo Park (2006)
32. Ortiz de la Fuente, M., Calvanese, D., Eiter, T.: Data complexity of query answering in expressive description logics via tableaux. Technical Report INFSYS RR-1843-07-07, Institut für Informationssysteme, Technische Universität Wien, A-1040 Vienna, Austria, November (2007) (Accepted for publication in J. Autom. Reason.)
33. Pan, J.Z., Franconi, E., Tessaris, S., Stamou, G., Tzouvaras, V., Serafini, L., Horrocks, I., Glimm, B.: Specification of coordination of rule and ontology languages. Project Deliverable D2.5.1, KnowledgeWeb NoE, June (2004)
34. Rosati, R.: Integrating ontologies and rules: semantic and computational issues. In: Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U., (eds.) Reasoning Web. LNCS, vol. 4126, pp. 128-151. Springer, New York (2006) (Pubitemid 44568362)
35. Rosati, R.: DL log: tight integration of description logics and disjunctive datalog. In: Proceedings 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 68-78. AAAI, Menlo Park (2006)
36. Rosati, R.: The limits of querying ontologies. In: Proc. ICDT 2007. LNCS, vol. 4353, pp. 164-178. Springer, New York (2007)
37. C. Sakama H. Seki 1997 Partial deduction in disjunctive logic programming J. Log. Program. 32 3 229 245 (Pubitemid 127382249)
38. Schindlauer, R.: Answer-Set Programming for the Semantic Web. Ph.D. thesis, Vienna University of Technology, Austria, December 2006. VDM Verlag Dr. Mueller (2008)
39. Smith, M., Welty, C., McGuinness, D.: OWL web ontology language guide. W3C Recommendation, W3C, February. http://www.w3.org/TR/owl-guide/ (2004). (The Wine ontology is available from there, or directly at http://www.w3.org/TR/owl- guide/wine.rdf )
40. W3C: OWL 1.1 Web ontology language overview. http://www.w3.org/ Submission/owl11-overview/ (2006)