Query rewriting for Horn-SHIQ plus rules

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 2012, Pages 726-733

  Eiter, Thomas ^a   Ortiz, Magdalena ^a   Šimkus, Mantas ^a   Tran, Trung Kien ^b   Xiao, Guohui ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

CONJUNCTIVE QUERIES; DATABASE TECHNOLOGY; DATALOG; DESCRIPTION LOGIC; DOWN-SCALING; PROTOTYPE IMPLEMENTATIONS; QUERY ANSWERING; QUERY REWRITINGS; RECURSIONS; RECURSIVE RULES; STATE-OF-THE-ART SYSTEM;

ALGORITHMS; ARTIFICIAL INTELLIGENCE; DATA DESCRIPTION;

QUERY PROCESSING;

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

References (33)

1. Baader, F.; Calvanese, D.; McGuinness, D.; Nardi, D.; and Patel-Schneider, P., eds. 2007. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, second edition.
2. Calì, A.; Gottlob, G.; and Lukasiewicz, T. 2009. Datalog±: a unified approach to ontologies and integrity constraints. In ICDT '09, 14-30. New York, NY, USA: ACM.
3. Calvanese, D.; Giacomo, G. D.; Lembo, D.; Lenzerini, M.; and Rosati, R. 2007. Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. Autom. Reasoning 39(3):385-429.
4. Calvanese, D.; Eiter, T.; and Ortiz, M. 2007. Answering regular path queries in expressive description logics: An automata-theoretic approach. In AAAI'07, 391-396.
5. Chortaras, A.; Trivela, D.; and Stamou, G. 2011. Optimized query rewriting for OWL 2 QL. In CADE'11, 192-206. Berlin, Heidelberg: Springer-Verlag.
6. Dantsin, E.; Eiter, T.; Gottlob, G.; and Voronkov, A. 2001. Complexity and expressive power of logic programming. ACM Computing Surveys 33(3):374-425.
7. Eiter, T.; Ianni, G.; Lukasiewicz, T.; Schindlauer, R.; and Tompits, H. 2008a. Combining answer set programming with description logics for the Semantic Web. Artificial Intelligence 172(12-13):1495-1539.
8. Eiter, T.; Gottlob, G.; Ortiz, M.; and Simkus, M. 2008b. Query answering in the description logic Horn-SHIQ. In JELIA'08, 166-179. Springer.
9. Eiter, T.; Lutz, C.; Ortiz, M.; and Simkus, M. 2009. Query answering in description logics with transitive roles. In IJCAI'09, 759-764.
10. Eiter, T.; Krennwallner, T.; Schneider, P.; and Xiao, G. 2012a. Uniform Evaluation of Nonmonotonic DL-Programs. In FoIKS'12, 1-22. Springer.
11. Eiter, T.; Ortiz, M.; Šimkus, M.; Tran, T.; and Xiao, G. 2012b. Query rewriting for Horn-SHIQ plus rules. Technical Report INFSYS RR-1843-12-04, TU Vienna. http://www.kr.tuwien.ac.at/research/reports/rr1204.pdf.
12. Eiter, T.; Ortiz, M.; and Simkus, M. 2012. Conjunctive query answering in the description logic SH using knots. J. Comput. Syst. Sci. 78(1):47-85.
13. Gebser, M.; Kaufmann, B.; Kaminski, R.; Ostrowski, M.; Schaub, T.; and Schneider, M. 2011. Potassco: The potsdam answer set solving collection. AI Commun. 24(2):107-124.
14. Glimm, B.; Lutz, C.; Horrocks, I.; and Sattler, U. 2008. Conjunctive query answering for the description logic SHIQ. J. Artif. Intell. Res. (JAIR) 31:157-204.
15. Glimm, B.; Horrocks, I.; and Sattler, U. 2006. Conjunctive query answering for description logics with transitive roles. In DL'06. CEUR-WS.org.
16. Gottlob, G.; Orsi, G.; and Pieris, A. 2011. Ontological queries: Rewriting and optimization. In ICDE'11, 2-13.
17. Heymans, S.; Eiter, T.; and Xiao, G. 2010. Tractable reasoning with dl-programs over datalog-rewritable description logics. In ECAI'10, 35-40. IOS Press.
18. Horridge, M., and Bechhofer, S. 2011. The OWL API: A java API for OWL ontologies. Semantic Web 2(1):11-21.
19. Hustadt, U.; Motik, B.; and Sattler, U. 2004. A decomposition rule for decision procedures by resolution-based calculi. In LPAR'04, 21-35. Springer.
20. Hustadt, U.; Motik, B.; and Sattler, U. 2007. Reasoning in description logics by a reduction to disjunctive datalog. J. Autom. Reasoning 39(3):351-384.
21. Kazakov, Y. 2009. Consequence-driven reasoning for Horn SHIQ ontologies. In IJCAI'09, 2040-2045.
22. Krötzsch, M.; Rudolph, S.; and Hitzler, P. 2007. Complexity boundaries for Horn description logics. In AAAI'07, 452-457. AAAI Press.
23. Leone, N.; Pfeifer, G.; Faber, W.; Eiter, T.; Gottlob, G.; Petri, S.; and Scarcello, F. 2006. The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7(3):499-562.
24. Levy, A. Y., and Rousset, M.-C. 1998. Combining Horn rules and description logics in CARIN. Artif. Intell. 104:165-209.
25. Ma, L.; Yang, Y.; Qiu, Z.; Xie, G. T.; Pan, Y.; and Liu, S. 2006. Towards a complete OWL ontology benchmark. In ESWC'06, 125-139. Springer.
26. Maier, D., and Mendelzon, A. 1979. Testing implications of data dependencies. ACM Transactions on Database Systems 4:455-469.
27. Ortiz, M.; Rudolph, S.; and Simkus, M. 2010. Worst-case optimal reasoning for the Horn-DL fragments of OWL 1 and 2. In KR'10. AAAI Press.
28. Ortiz, M.; Rudolph, S.; and Simkus, M. 2011. Query answering in the Horn fragments of the description logics SHOIQ and SROIQ. In IJCAI'11, 1039-1044.
29. Pérez-Urbina, H.; Motik, B.; and Horrocks, I. 2009. A comparison of query rewriting techniques for DL-Lite. In DL'09. CEUR-WS.org.
30. Rosati, R., and Almatelli, A. 2010. Improving query answering over DL-Lite ontologies. In KR'10.
31. Rosati, R. 2006. DL+log: Tight integration of description logics and disjunctive datalog. In KR'06, 68-78.
32. Rosati, R. 2007. On conjunctive query answering in EL. In DL'07. CEUR Electronic Workshop Proceedings.
33. Sattler, U. 2000. Description logics for the representation of aggregated objects. In ECAI'09, 239-243. IOS Press.