Author:
Chortaras Alexandros,Trivela Despoina,Stamou Giorgos
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. of Artificial Intelligence Research 36, 1–69 (2009)
2. Bachmair, L., Ganzinger, H.: Resolution theorem proving. In: Handbook of Automated Reasoning (in 2 volumes), vol. 1, pp. 19–99. Elsevier, MIT Press (2001)
3. 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. of Automated Reasoning 39, 385–429 (2007)
4. Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive query answering for the description logic SHIQ. J. of Artificial Intelligence Research 31, 157–204 (2008)
5. Kontchakov, R., Lutz, C., Toman, D., Wolter, F., Zakharyaschev, M.: The combined approach to query answering in DL-Lite. In: Procs. of KR 2010, pp. 247–357 (2010)
Cited by
47 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Ontology-Mediated Query Answering Using Graph Patterns with Conditions;2024 IEEE 40th International Conference on Data Engineering (ICDE);2024-05-13
2. Query Optimization for Ontology-Mediated Query Answering;Proceedings of the ACM Web Conference 2024;2024-05-13
3. OptiRef: Query Optimization for Knowledge Bases;Companion Proceedings of the ACM Web Conference 2023;2023-04-30
4. Ontology-based Data Federation;Proceedings of the 11th International Joint Conference on Knowledge Graphs;2022-10-27
5. ForBackBench;Proceedings of the VLDB Endowment;2022-04