Mixing materialization and query rewriting for existential rules

Frontiers in Artificial Intelligence and Applications

Volumn 263, Issue , 2014, Pages 897-902

  Thomazo, Michaël ^a   Rudolph, Sebastian ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; COMPUTATIONAL COMPLEXITY; DATA DESCRIPTION; FORMAL LANGUAGES; INTELLIGENT SYSTEMS; POLYNOMIAL APPROXIMATION;

DATA ACCESS; DATA COMPLEXITY; DESCRIPTION LOGIC; EXPRESSIVE ONTOLOGIES; GENERALISATION; ONTOLOGICAL LANGUAGES; ONTOLOGY'S; ONTOLOGY-BASED DATA ACCESS; QUERY ANSWERING; QUERY REWRITINGS;

ONTOLOGY;

EID: 84923118688     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-61499-419-0-897     Document Type: Conference Paper

References (24)

1. S. Abiteboul, R. Hull, and V. Vianu, Foundations of Databases, Addison Wesley, 1994.
2. A. Acciarri, D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, M. Palmieri, and R. Rosati, 'Quonto: Querying ontologies', in AAAI, pp. 1670-1671, (2005).
3. F. Baader, 'Terminological cycles in a description logic with existential restrictions', in IJCAI, pp. 325-330, (2003).
4. The Description Logic Handbook: Theory, Implementation, and Applications, eds. , F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider, Cambridge University Press, second edn. , 2007.
5. J.-F. Baget, M. Leclère, M.-L. Mugnier, and E. Salvat, 'On Rules with Existential Variables:Walking the Decidability Line', Artif. Intell. , 175(9-10), 1620-1654, (2011).
6. J.-F. Baget, M.-L. Mugnier, S. Rudolph, and M. Thomazo, 'Walking the complexity lines for generalized guarded existential rules', in IJCAI, pp. 712-717, (2011).
7. A. Cal, G. Gottlob, and T. Lukasiewicz, 'A general datalog-based framework for tractable query answering over ontologies', J. Web Sem. , 14, (2012).
8. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati, 'Dl-lite: Tractable description logics for ontologies', in AAAI, pp. 602-607, (2005).
9. A. Chortaras, D. Trivela, and G. B. Stamou, 'Optimized query rewriting for OWL 2 QL', in CADE, pp. 192-206, (2011).
10. G. Gottlob, G. Orsi, and A. Pieris, 'Ontological queries: Rewriting and optimization', in ICDE, pp. 2-13, (2011).
11. G. Gottlob and T. Schwentick, 'Rewriting ontological queries into small nonrecursive datalog programs', in KR, (2012).
12. M. König, M. Leclère, M.-L. Mugnier, and M. Thomazo, 'A sound and complete backward chaining algorithm for existential rules', in RR, pp. 122-138, (2012).
13. R. Kontchakov, C. Lutz, D. Toman, F. Wolter, and M. Zakharyaschev, 'The combined approach to query answering in dl-lite', in KR, (2010).
14. R. Kontchakov, C. Lutz, D. Toman, F. Wolter, and M. Zakharyaschev, 'The combined approach to ontology-based data access', in IJCAI, pp. 2656-2661, (2011).
15. C. Lutz, I. Seylan, D. Toman, and F. Wolter, 'The combined approach to OBDA: Taming role hierarchies using filters', in SSWS+HPCSW, (2012).
16. C. Lutz, D. Toman, and F. Wolter, 'Conjunctive Query Answering in the Description Logic EL Using a Relational Database System', in IJCAI, pp. 2070-2075, (2009).
17. OWL 2 Web Ontology Language: Profiles, eds. , Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Zhe Wu, Achille Fokoue, and Carsten Lutz, W3C Recommendation, 2009. Available at http://www. w3. org/TR/owl2-profiles/.
18. R. Rosati and A. Almatelli, 'Improving query answering over dl-lite ontologies', in KR, (2010).
19. G. Stefanoni, B. Motik, and I. Horrocks, 'Small datalog query rewritings for EL', in Description Logics, (2012).
20. M. Thomazo, 'Compact rewriting for existential rules', in IJCAI, (2013).
21. M. Thomazo, Conjunctive Query Answering under Existential Rules-Complexity, Decidability and Algorithms, Ph. D. dissertation, Universit é Montpellier II, 2013. Available at http://www. inf. tudresden. de/content/institutes/ki/cl/people/data/thomazo-thesis. pdf.
22. M. Thomazo, J.-F. Baget, M.-L. Mugnier, and S. Rudolph, 'A generic querying algorithm for greedy sets of existential rules', in KR, (2012).
23. M. Thomazo and S. Rudolph. Mixing materialization and query rewriting for existential rules, 2013. Available at http://www. inf. tudresden. de/content/institutes/ki/cl/people/data/report-ecai-14-tr. pdf.
24. T. Venetis, G. Stoilos, and G. B. Stamou, 'Incremental query rewriting for OWL 2 QL', in Description Logics, (2012).