Graal: A toolkit for query answering with existential rules

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

Volumn 9202, Issue , 2015, Pages 328-344

  Baget, Jean François ^a   Leclère, Michel ^a   Mugnier, Marie Laure ^a   Rocher, Swan ^a   Sipieter, Clément ^a  

^a UNIV MONTPELLIER   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES;

DECIDABILITY PROPERTIES; GENERIC INTERFACES; KNOWLEDGE BASIS; ONTOLOGICAL QUERY; QUERY ANSWERING; QUERY REWRITINGS; RULE SET; TEXTUAL FORMAT;

DATA FLOW ANALYSIS;

EID: 84951021129     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-21542-6_21     Document Type: Conference Paper

References (19)

1. BLMS11. Baget, J.-F., Leclère, M., Mugnier, M.-L., Salvat, E.: On Rules with Existential Variables: Walking the Decidability Line. Artif. Intell. 175(9-10), 1620-1654 (2011)
2. +07. 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)
3. CGL09. Calì, A., Gottlob, G., Lukasiewicz, T.: A general datalog-based framework for tractable query answering over ontologies. In: PODS pp. 77-86 (2009)
4. CGP10. 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)
5. CTS11. Chortaras, A., Trivela, D., Stamou, G.: Optimized query rewriting for OWL 2 QL. In: Bjorner, N., Sofronie-Stokkermans, V. (eds.) CADE 2011. LNCS, vol. 6803, pp. 192-206. Springer, Heidelberg (2011)
6. FKMP05. Fagin, R., Kolaitis, P. G., Miller, R. J., Popa, L.: Data exchange: semantics and query answering. Theor. Comput. Sci. 336(1), 89-124 (2005)
7. GOP14. Gottlob, G., Orsi, G., Pieris, A.: Query Rewriting and Optimization for Ontological Databases. ACM Trans. Database Syst. 39(3), 25 (2014)
8. GPH05. Guo, Y., Pan, Z., Heflin, J.: LUBM: A Benchmark for OWL Knowledge Base Systems. J. Web Sem. 3(2-3), 158-182 (2005)
9. KLM15. König, M., Leclère, M., Mugnier, M.-L.: Query rewriting for existential rules with compiled preorder. In: IJCAI (2015)
10. KLMT15. König, M., Leclère, M., Mugnier, M.-L., Thomazo, M.: Sound, Complete and Minimal UCQ-Rewriting for Existential Rules. Sem. Web J. (2015, to appear)
11. LMR13. Leclère, M., Mugnier, M.-L., Rocher, S.: Kiabora: an analyzer of existential rule bases. In: Faber, W., Lembo, D. (eds.) RR 2013. LNCS, vol. 7994, pp. 241-246. Springer, Heidelberg (2013)
12. LSTW13. Lutz, C., Seylan, I., Toman, D., Wolter, F.: The combined approach to OBDA: taming role hierarchies using filters. In: Alani, H., et al. (eds.) ISWC 2013, Part I. LNCS, vol. 8218, pp. 314-330. Springer, Heidelberg (2013)
13. Mug11. Mugnier, M.-L.: Ontological query answering with existential rules. In: Rudolph, S., Gutierrez, C. (eds.) RR 2011. LNCS, vol. 6902, pp. 2-23. Springer, Heidelberg (2011)
14. PHM09. Pérez-Urbina, H., Horrocks, I., Motik, B.: Efficient query answering for OWL 2. In: Bernstein, A., Karger, D. R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 489-504. Springer, Heidelberg (2009)
15. +08. Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking Data to Ontologies. J. Data Semantics 10, 133-173 (2008)
16. RC12. Rodriguez-Muro, M., Calvanese, D.: High performance query answering over dl-lite ontologies. In: KR (2012)
17. RMKZ13. Rodriguez-Muro, M., Kontchakov, R., Zakharyaschev, M.: Query rewriting and optimisation with database dependencies in ontop. In: DL 2013, pp. 917-929 (2013)
18. TBMR12. Thomazo, M., Baget, J.-F., Mugnier, M.-L., Rudolph, S.: A generic querying algorithm for greedy sets of existential rules. In: KR (2012)
19. TSCS13. Trivela, D., Stoilos, G., Chortaras, A., Stamou, G. B.: Optimising resolutionbased rewriting algorithms for dl ontologies. In: DL 2013, pp. 464-476 (2013)