Query rewriting for existential rules with compiled preorder

IJCAI International Joint Conference on Artificial Intelligence

Volumn 2015-January, Issue , 2015, Pages 3106-3112

  König, Mélanie ^a   Leclère, Michel ^a   Mugnier, Marie Laure ^a  

^a UNIV MONTPELLIER   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; DATA DESCRIPTION;

COMBINATORIAL EXPLOSION; CONJUNCTIVE QUERIES; DATALOG; DESCRIPTION LOGIC; ONTOLOGY-BASED QUERY; PREORDERS; QUERY REWRITINGS; RUNTIMES;

QUERY PROCESSING;

EID: 84949921866     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (32)

1. F. Baader. Terminological Cycles in a Description Logic with Existential Restrictions. In IJCAI'03, pages 325-330, 2003.
2. J.-F. Baget, M. Leclère, M.-L. Mugnier, and E. Salvat. Extending Decidable Cases for Rules with Existential Variables. In IJCAI'09, pages 677-682, 2009.
3. J.-F. Baget, M. Leclère, M.-L. Mugnier, and E. Salvat. On Rules with Existential Variables: Walking the Decidability Line. Artificial Intelligence, 175(9-10):1620-1654, 2011.
4. C. Beeri and M. Vardi. The implication problem for data dependencies. In ICALP'81, volume 115 of LNCS, pages 73-85, 1981.
5. A. Calì, G. Gottlob, and M. Kifer. Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. In KR'08, pages 70-80, 2008.
6. A. Calì, G. Gottlob, and T. Lukasiewicz. A General Datalog-Based Framework for Tractable Query Answering over Ontologies. In PODS'09, pages 77-86, 2009.
7. A. Calì, G. Gottlob, and A. Pieris. Towards more expressive ontology languages: The query answering problem. Artif. Intell., 193:87-128, 2012.
8. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. DL-Lite: Tractable Description Logics for Ontologies. In AAAI, pages 602-607, 2005.
9. Alexandros Chortaras, Despoina Trivela, and Giorgos B. Stamou. Optimized Query Rewriting for OWL 2 QL. In CADE'11, pages 192-206, 2011.
10. C. Civili and R. Rosati. A Broad Class of First-Order Rewritable Tuple-Generating Dependencies. In Datalog 2.0 Worksop, pages 68-80, 2012.
11. C. Civili, M. Console, G. De Giacomo, D. Lembo, M. Lenzerini, L. Lepore, R. Mancini, A. Poggi, R. Rosati, M. Ruzzi, V. Santarelli, and D. F. Savo. MASTRO STUDIO: Managing Ontology-Based Data Access applications. PVLDB, 6(12):1314-1317, 2013.
12. T. Eiter, M. Ortiz, M. Simkus, T.-K. Tran, and G. Xiao. Query Rewriting for Horn-SHIQ Plus Rules. In AAAI., 2012.
13. G. Gottlob and T. Schwentick. Rewriting Ontological Queries into Small Nonrecursive Datalog Programs. In KR, 2012.
14. G. Gottlob, G. Orsi, and A. Pieris. Ontological queries: Rewriting and Optimization. In ICDE'11, pages 2-13, 2011.
15. M. Imprialou, G. Stoilos, and B. Cuenca Grau. Benchmarking Ontology-Based Query Rewriting Systems. In AAAI, 2012.
16. S. Kikot, R. Kontchakov, and M. Zakharyaschev. Polynomial Conjunctive Query Rewriting under Unary Inclusion Dependencies. In RR, 2011.
17. S. Kikot, R. Kontchakov, and M. Zakharyaschev. Conjunctive Query Answering with OWL 2 QL. In KR, 2012.
18. M. König, M. Leclère, M.-L. Mugnier, and M. Thomazo. A Sound and Complete Backward Chaining Algorithm for Existential Rules. In RR'12, pages 122-138, 2012.
19. M. König, M. Leclère, M.-L. Mugnier, and M. Thomazo. On the Exploration of the Query Rewriting Space with Existential Rules. In RR, pages 123-137, 2013.
20. R. Kontchakov, C. Lutz, D. Toman, F. Wolter, and M. Zakharyaschev. The Combined Approach to Ontology-Based Data Access. In IJCAI, 2011.
21. M. Krötzsch and S. Rudolph. Extending Decidable Existential Rules by Joining Acyclicity and Guardedness. In IJCAI'11, pages 963-968, 2011.
22. C. Lutz, I. Seylan, D. Toman, and F. Wolter. The Combined Approach to OBDA: Taming Role Hierarchies Using Filters. In ISWC'2013, pages 314-330, 2013.
23. H. Pérez-Urbina, I. Horrocks, and B. Motik. Efficient Query Answering for OWL 2. In ISWC'09, pages 489-504, 2009.
24. M. Rodriguez-Muro and D. Calvanese. High Performance Query Answering over DL-Lite Ontologies. In KR, 2012.
25. M. Rodriguez-Muro, R. Kontchakov, and M. Zakharyaschev. Ontology-Based Data Access: Ontop of Databases. In ISWC, Proceedings, Part I, pages 558-573, 2013.
26. R. Rosati and A. Almatelli. Improving Query Answering over DL-Lite Ontologies. In KR'10, 2010.
27. G. Stefanoni, B. Motik, and I. Horrocks. Small Datalog Query Rewritings for EL. In DL, 2012.
28. M. Thomazo and S. Rudolph. Mixing Materialization and Query Rewriting for Existential Rules. In ECAI, pages 897-902, 2014.
29. M. Thomazo, J.-F. Baget, M.-L. Mugnier, and S. Rudolph. A Generic Querying Algorithm for Greedy Sets of Existential Rules. In KR, 2012.
30. M. Thomazo. Compact Rewritings for Existential Rules. In IJCAI, 2013.
31. Despoina Trivela, Giorgos Stoilos, Alexandros Chortaras, and Giorgos B. Stamou. Optimising Resolution-Based Rewriting Algorithms for DL Ontologies. In DL'13, pages 464-476, 2013.
32. Roberto De Virgilio, G. Orsi, L. Tanca, and R. Torlone. NYAYA: A System Supporting the Uniform Management of Large Sets of Semantic Data. In ICDE, pages 1309-1312, 2012.