Tractable queries for lightweight description logics

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2013, Pages 768-774

  Bienvenu, Meghyn ^a   Ortiz, Magdalena ^b   Šimkus, Mantas ^b   Xiao, Guohui ^b  

^a UNIVERSITÉ PARIS SACLAY   (France)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

CONJUNCTIVE QUERIES; DATA BASE THEORY; DATALOG PROGRAMS; DESCRIPTION LOGIC; KNOWLEDGE BASIS; POLYNOMIAL-TIME; POLYNOMIAL-TIME ALGORITHMS; QUERY EVALUATION;

ALGORITHMS; ARTIFICIAL INTELLIGENCE; FORMAL LANGUAGES; POLYNOMIAL APPROXIMATION; QUERY LANGUAGES; QUERY PROCESSING;

DATA DESCRIPTION;

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

References (24)

1. Franz Baader, Sebastian Brandt, and Carsten Lutz. Pushing the EL envelope. In Proc. of IJCAI, pages 364-369, 2005.
2. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati. Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. Automated Reasoning, 39(3):385-429, 2007.
3. Chandra Chekuri and Anand Rajaraman. Conjunctive query containment revisited. In Proc. of ICDT, pages 56-70. Springer, 1997.
4. Evgeny Dantsin, Thomas Eiter, Georg Gottlob, and Andrei Voronkov. Complexity and expressive power of logic programming. ACM Computing Survey, 33(3):374-425, September 2001.
5. Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, and Guohui Xiao. Query rewriting for Horn-SHIQ plus rules. In Proc. of AAAI. AAAI Press, 2012.
6. Georg Gottlob, Nicola Leone, and Francesco Scarcello. Hypertree decompositions and tractable queries. In Proc. of PODS, pages 21-32. ACM Press, 1999.
7. Yuanbo Guo, Zhengxiang Pan, and Jeff Heflin. LUBM: A benchmark for OWL knowledge base systems. J. Web Semantics, 3(2-3):158-182, 2005.
8. Stanislav Kikot, Roman Kontchakov, and Michael Zakharyaschev. On (in)tractability of OBDA with OWL 2 QL. In Proc. of DL. CEUR-WS.org, 2011.
9. Stanislav Kikot, Roman Kontchakov, and Michael Zakharyaschev. Conjunctive query answering with OWL 2 QL. In Proc. of KR. AAAI Press, 2012.
10. Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, and Michael Zakharyaschev. The combined approach to query answering in DL-Lite. In Proc. of KR. AAAI Press, 2010.
11. Alon Y. Levy and Marie-Christine Rousset. Combining Horn rules and description logics in CARIN. Artificial Intelligence, 104(1-2):165-209, 1998.
12. Carsten Lutz, David Toman, and Frank Wolter. Conjunctive query answering in the description logic EL using a relational database system. In Proc. of IJCAI, pages 2070-2075, 2009.
13. Carsten Lutz, Inanc Seylan, David Toman, and Frank Wolter. The combined approach to OBDA: Taming role hierarchies using filters (with appendix). In Proc. of SSWS+HPCSW, 2012.
14. Carsten Lutz. The complexity of conjunctive query answering in expressive description logics. In Proc. of IJCAR, pages 179-193. Springer, 2008.
15. Magdalena Ortiz and Mantas Simkus. Reasoning and query answering in description logics. In Reasoning Web, pages 1-53. Springer, 2012.
16. W3C OWL Working Group. OWL 2 Web Ontology Language: Document Overview. W3C Recommendation, 2009. Available at http://www.w3.org/TR/owl2-overview/.
17. Héctor Pérez-Urbina, Boris Motik, and Ian Horrocks. A comparison of query rewriting techniques for DL-Lite. In Proc. of DL. CEUR-WS.org, 2009.
18. François Picalausa and Stijn Vansummeren. What are real SPARQL queries like? In Proc. of SWIM. ACM, 2011.
19. Mariano Rodriguez-Muro and Diego Calvanese. High performance query answering over DL-Lite ontologies. In Proc. of KR, pages 308-318. AAAI Press, 2012.
20. Riccardo Rosati and Alessandro Almatelli. Improving query answering over DL-Lite ontologies. In Proc. of KR. AAAI Press, 2010.
21. Sebastian Rudolph, Markus Krötzsch, and Pascal Hitzler. Cheap boolean role constructors for description logics. In Proc. of JELIA, pages 362-374, 2008.
22. Markus Stocker and Michael Smith. Owlgres: A scalable OWL reasoner. In Proc. of OWLED. CEUR-WS.org, 2008.
23. Tassos Venetis, Giorgos Stoilos, and Giorgos B. Stamou. Incremental query rewriting for OWL 2 QL. In Proc. of DL. CEUR-WS.org, 2012.
24. Mihalis Yannakakis. Algorithms for acyclic database schemes. In Proc. of VLDB, pages 82-94. IEEE Computer Society, 1981.