On combining description logic ontologies and nonrecursive datalog rules

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

Volumn 5341 LNCS, Issue , 2008, Pages 13-27

  Rosati, Riccardo ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; FORMAL LANGUAGES; ONTOLOGY;

COMPLEXITY RESULTS; COMPUTATIONAL ANALYSIS; COMPUTATIONAL PROPERTIES; DESCRIPTION LOGIC; NEW RESULTS; NON-RECURSIVE DATALOG; RECURSIONS; UNDECIDABILITY;

DATA DESCRIPTION;

EID: 57049127637     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88737-9_3     Document Type: Conference Paper

References (29)

1. http://www.w3.org/TR/rdf-schema/
2. Baader, F., Brandt, S., Lutz, C.: Pushing the ε L envelope. In: Proc. of IJCAI 2005, pp. 364-369 (2005)
3. 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)
4. Berger, R.: The undecidability of the dominoe problem. Mem. Amer. Math. Soc. 66, 1-72 (1966)
5. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: DL-Lite: Tractable description logics for ontologies. In: Proc. of AAAI 2005, pp. 602-607 (2005)
6. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. In: Proc. of KR 2006 (2006)
7. Calvanese, D., De Giacomo, G., Lenzerini, M.: On the decidability of query containment under constraints. In: Proc. of PODS 1998, pp. 149-158 (1998)
8. de Bruijn, J., Eiter, T., Polleres, A., Tompits, H.: Embedding non-ground logic programs into autoepistemic logic for knowledge-base combination. In: Proc. of IJCAI 2007 (2007)
9. Eiter, T., Gottlob, G., Mannilla, H.: Disjunctive Datalog. ACM Trans, on Database Systems 22(3), 364-418 (1997)
10. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Effective integration of declarative rules with external evaluations for semantic-web reasoning. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 273-287. Springer, Heidelberg (2006)
11. Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. In: Proc. of KR 2004, pp. 141-151 (2004)
12. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 365-385 (1991)
13. Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive query answering for the description logic SHIQ. In: Proc. of IJCAI 2007, pp. 399-404 (2007)
14. Glimm, B., Horrocks, I., Sattler, U.: Conjunctive query answering for description logics with transitive roles. In: Proc. of DL 2006. Proceedings of CEUR Electronic Workshop (2006), http://ceur-ws.org/Vol-189
15. Glimm, B., Horrocks, I., Sattler, U.: Conjunctive query answering for the description logic SHOIQ. Technical report, University of Manchester, UK (2006)
16. Grau, B.C.: A possible simplification of the semantic web architecture. In: Proc. of the 13th Int. World Wide Web Conf. (WWW 2004), pp. 704-713 (2004)
17. Heymans, S., de Bruijn, J., Predoiu, L., Feier, C., Nieuwenborgh, D.V.: Guarded hybrid knowledge bases. Theory and Practice of Logic Programming 8(3), 411-429 (2008)
18. Horrocks, I., Patel-Schneider, P.F.: A proposal for an OWL rules language. In: Proc. of the 13th Int. World Wide Web Conf. (WWW 2004), pp. 723-731 (2004)
19. Hustadt, U., Motik, B., Sattler, U.: Data complexity of reasoning in very expressive description logics. In: Proc. of IJCAI 2005, pp. 466-471 (2005)
20. Levy, A.Y., Rousset, M.-C.: Combining Horn rules and description logics in CARIN. Artificial Intelligence 104(1-2), 165-209 (1998)
21. Lukasiewicz, T.: A novel combination of answer set programming with description logics for the semantic web. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519, pp. 384-398. Springer, Heidelberg (2007)
22. Motik, B., Rosati, R.: A faithful integration of description logics with logic programming. In: Proc. of IJCAI 2007 (to appear, 2007)
23. Motik, B., Sattler, U., Studer, R.: Query answering for OWL-DL with rules. J. of Web Semantics 3(1), 41-60 (2005)
24. Ortiz, M.M., Calvanese, D., Eiter, T.: Characterizing data complexity for conjunctive query answering in expressive description logics. In: Proc. of AAAI 2006 (2006)
25. Ortiz de la Fuente, M.M., Calvanese, D., Eiter, T.: Data complexity of answering unions of conjunctive queries in SHIQ. Technical report, Fac.of Computer Science, Free Univ.of Bozen-Bolzano (March 2006), http://www.inf. unibz.it/calvanese/papers/orti-calv-eite-TR-2006-03.pdf
26. Patel-Schneider, P.F., Hayes, P.J., Horrocks, I., van Harmelen, F.: OWL web ontology language; semantics and abstract syntax. W3C candidate recommendation (November 2002), http://www.w3.org/tr/owl-semantics/
27. Rosati, R.: On the decidability and complexity of integrating ontologies and rules. J. of Web Semantics 3(1), 61-73 (2005)
28. Rosati, R.: DL+log: tight integration of Description Logics and disjunctive Datalog. In: Proc. of KR 2006, pp. 68-78 (2006)
29. Rosati, R.: The limits of querying ontologies. In: Schwentick, T., Suciu, D. (eds.) ICDT 2007. LNCS, vol. 4353, pp. 164-178. Springer, Heidelberg (2007)