Ontological query answering with existential rules

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

Volumn 6902 LNCS, Issue , 2011, Pages 2-23

  Mugnier, Marie Laure ^a  

^a UNIV MONTPELLIER   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEXITY RESULTS; DATALOG; JOURNAL PAPER; LOGICAL FRAMEWORKS; ONTOLOGICAL QUERY; REASONING MECHANISM;

KNOWLEDGE REPRESENTATION; SEARCH ENGINES; SEMANTIC WEB; SEMANTICS; USER INTERFACES;

ONTOLOGY;

EID: 80052730550     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-23580-1_2     Document Type: Conference Paper

References (36)

1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)
2. Andréka, H., Van Benthem, J., Németi, I.: Modal languages and bounded fragments of FOL. Research Report ML-96-03. Univ. of Amsterdam (1996)
3. Baget, J.-F.: Improving the forward chaining algorithm for conceptual graphs rules. In: KR 2004, pp. 407-414. AAAI Press, Menlo Park (2004)
4. Baader, F., Brandt, S., Lutz, C.: Pushing the el envelope. In: IJCAI 2005, pp. 364-369 (2005)
5. Baget, J.-F., Leclère, M.,Mugnier, M.-L.:Walking the decidability line for rules with existential variables. In: KR 2010, pp. 466-476. AAAI Press, Menlo Park (2010)
6. Baget, J.-F., Leclère, M., Mugnier, M.-L., Salvat, E.: Extending decidable cases for rules with existential variables. In: IJCAI 2009, pp. 677-682 (2009)
7. Baget, J.-F., Leclère, M., Mugnier, M.-L., Salvat, E.: On rules with existential variables: Walking the decidability line. Artificial Intelligence 175(9-10), 1620-1654 (2011)
8. Baget, J.-F., Mugnier, M.-L.: The Complexity of Rules and Constraints. J. Artif. Intell. Res (JAIR) 16, 425-465 (2002)
9. Baget, J.-F., Mugnier, M.-L., Rudolph, S., Thomazo, M.: Walking the complexity lines for generalized guarded existential rules. In: IJCAI 2011 (to appear 2011)
10. Baget, J.F., Mugnier, M.-L., Thomazo, M.: Towards farsighted dependencies for existential rules. Research report lirmm 11-016 (2011)
11. Beeri, C., Vardi, M.: The implication problem for data dependencies. In: Even, S., Kariv, O. (eds.) ICALP 1981. LNCS, vol. 115, pp. 73-85. Springer, Heidelberg (1981)
12. Beeri, C., Vardi, M.Y.: A proof procedure for data dependencies. Journal of the ACM 31(4), 718-741 (1984)
13. Calì, A., Gottlob, G., Kifer, M.: Taming the infinite chase: Query answering under expressive relational constraints. In: KR 2008, pp. 70-80 (2008)
14. Calvanese, D., De Giacomo, G., 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)
15. Calì, A., Gottlob, G., Lukasiewicz, T.: A general datalog-based framework for tractable query answering over ontologies. In: PODS 2009, pp. 77-86 (2009)
16. Calì, A., Gottlob, G., Lukasiewicz, T.: Datalog extensions for tractable query answering over ontologies. In: De Virgilio, R., Giunchiglia, F., Tanca, L. (eds.) Semantic Web Information Management: A Model-Based Perspective, pp. 249-279. Springer, Heidelberg (2010)
17. Calì, A., Gottlob, G., Lukasiewicz, T., Marnette, B., Pieris, A.: Datalog+/-: A family of logical knowledge representation and query languages for new applications. In: LICS, pp. 228-242. IEEE Computer Society, Los Alamitos (2010)
18. Calì, A., Gottlob, G., Pieris, A.: Advanced processing for ontological queries. PVLDB 3(1), 554-565 (2010)
19. Calì, A., Gottlob, G., Pieris, A.: Query answering under non-guarded rules in datalog+/-. In: Hitzler, P., Lukasiewicz, T. (eds.) RR 2010. LNCS, vol. 6333, pp. 1-17. Springer, Heidelberg (2010)
20. Chandra, A.K., Lewis, H.R., Makowsky, J.A.: Embedded implicational dependencies and their inference problem. In: STOC 1981, pp. 342-354. ACM, New York (1981)
21. Chein, M., Mugnier, M.-L.: Graph-based Knowledge Representation and Reasoning-Computational Foundations of Conceptual Graphs. In: Advanced Information and Knowledge Processing, Springer, Heidelberg (2009)
22. Courcelle, B.: The monadic second-order logic of graphs: I. recognizable sets of finite graphs. Inf. Comput. 85(1), 12-75 (1990)
23. Chandra, A.K., Vardi, M.Y.: The implication problem for functional and inclusion dependencies is undecidable. SIAM J. Comput. 14(3), 671-677 (1985)
24. Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3), 374-425 (2001)
25. Deutsch, A., Nash, A., Remmel, J.B.: The chase revisited. In: PODS 2008, pp. 149-158 (2008)
26. Deutsch, A., Tannen, V.: Reformulation of xml queries and constraints. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT 2003. LNCS, vol. 2572, pp. 225-238. Springer, Heidelberg (2002)
27. Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: Semantics and query answering. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT 2003. LNCS, vol. 2572, pp. 207-224. Springer, Heidelberg (2002)
28. Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: semantics and query answering. Theor. Comput. Sci. 336(1), 89-124 (2005)
29. Krötzsch,M., Rudolph, S.: Extending decidable existential rules by joining acyclicity and guardedness. In: IJCAI 2011(to appear 2011)
30. Krötzsch, M., Rudolph, S., Hitzler, P.: Complexity boundaries for Horn description logics. In: AAAI 2007, pp. 452-457. AAAI Press, Menlo Park (2007)
31. Lutz, C., Toman, D.,Wolter, F.: Conjunctive query answering in the description logic el using a relational database system. In: IJCAI 2009, pp. 2070-2075 (2009)
32. Marnette, B.: Generalized schema-mappings: from termination to tractability. In: PODS, pp. 13-22 (2009)
33. Meier, M., Schmidt, M., Lausen, G.: On chase termination beyond stratification. In: PVLDB, vol. 2(1), pp. 970-981 (2009)
34. Rudolph, S., Krötzsch, M., Hitzler, P.: All elephants are bigger than all mice. In: Description Logics (2008)
35. Salvat, E., Mugnier, M.-L.: Sound and Complete Forward and Backward Chainings of Graph Rules. In: Eklund, P., Mann, G.A., Ellis, G. (eds.) ICCS 1996. LNCS (LNAI), vol. 1115, pp. 248-262. Springer, Heidelberg (1996) (Pubitemid 126107981)
36. Sowa, J.F.: Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading (1984)