Query containment in description logics reconsidered

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2012, Pages 221-231

  Bienvenu, Meghyn ^a   Lutz, Carsten ^b   Wolter, Frank ^c  

^a UNIVERSITÉ PARIS SACLAY   (France)

^b UNIVERSITY OF BREMEN   (Germany)

^c UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DATA DESCRIPTION; FORMAL LANGUAGES; ONTOLOGY;

DESCRIPTION LOGIC; GENERAL VERSION; GLOBAL MINIMIZATION; MORPHIC; QUERY ANSWERING; QUERY CONTAINMENT; QUERY OPTIMIZATION; VERSIONING;

KNOWLEDGE REPRESENTATION;

EID: 84893352948     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (32)

1. Abiteboul, S.; Hull, R.; and Vianu, V. 1995. Foundations of Databases. Addison-Wesley.
2. Artale, A.; Calvanese, D.; Kontchakov, R.; and Za-kharyaschev, M. 2009. The DL-Lite family and relations. J. of Artificial Intelligence Research 36:1-69.
3. Baader, F.; McGuiness, D. L.; Nardi, D.; and Patel-Schneider, P., eds. 2003. The Description Logic Handbook. Cambridge University Press.
4. Baader, F.; Bienvenu, M.; Lutz, C.; and Wolter, F. 2010. Query and predicate emptiness in description logics. In Proc. of KR, 192-202.
5. Baader, F.; Brandt, S.; and Lutz, C. 2005. Pushing the EL envelope. In Proc. of IJCAI, 364-369.
6. Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; and Rosati, R. 2007. Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning 39(3):385-429.
7. Calvanese, D.; Giacomo, G. D.; Lembo, D.; Lenzerini, M.; Poggi, A.; Rodriguez-Muro, M.; Rosati, R.; Ruzzi, M.; and Savo, D. F. 2011. The MASTRO system for ontology-based data access. Semantic Web 2(1):43-53.
8. Calvanese, D.; De Giacomo, G.; and Lenzerini, M. 1998. On the decidability of query containment under constraints. In Proc. of PODS, 149-158.
9. Calvanese, D.; Ortiz, M.; and Simkus, M. 2011. Containment of regular path queries under description logic constraints. In Proc. of IJCAI, 805-812.
10. Chakravarthy, U. S.; Grant, J.; and Minker, J. 1990. Logic-based approach to semantic query optimization. ACM Transactions on Database Systems 15(2):162-207.
11. Chandra, A. K., and Merlin, P. M. 1977. Optimal implementation of conjunctive queries in relational data bases. In Proc. of STOC, 77-90.
12. Cosmadakis, S. S.; Gaifman, H.; Kanellakis, P. C.; and Vardi, M. Y. 1988. Decidable optimization problems for database logic programs (preliminary report). In Proc. of STOC, 477-490.
13. Glimm, B.; Lutz, C.; Horrocks, I.; and Sattler, U. 2008. Conjunctive query answering for the description logic SHIQ. J. of Artificial Intelligence Research 31:157-204.
14. Gonçalves, R. S.; Parsia, B.; and Sattler, U. 2011. Analysing the evolution of the NCI thesaurus. In Proc. of CBMS, 1-6.
15. Hemachandra, L. A. 1987. The strong exponential hierarchy collapses. In Proc. of STOC, 110-122.
16. Hustadt, U.; Motik, B.; and Sattler, U. 2005. Data complexity of reasoning in very expressive description logics. In Proc. of IJCAI, 466-471.
17. IHTSDO. 2008. SNOMED Clinical Terms User Guide. The International Health Terminology Standards Development Organisation (IHTSDO). Available from http://www.ihtsdo.org/publications/snomed-docs/.
18. Jimnez-Ruiz, E.; Grau, B. C.; Horrocks, I.; and Llavori, R. B. 2011. Supporting concurrent ontology development: Framework, algorithms and tool. Data & Knowledge Engineering 70(1):146-164.
19. Klein, M. C. A.; Fensel, D.; Kiryakov, A.; and Ognyanov, D. 2002. Ontology versioning and change detection on the web. In Proc. of EKAW, 247-259.
20. Konev, B.; Ludwig, M.; Walther, D.; and Wolter, F. 2011. The logical diff for the lightweight description logic εL. Technical report, University of Liverpool, http://www.liv.ac.uk/~frank/publ/.
21. Konev, B.; Walther, D.; and Wolter, F. 2008. The logical difference problem for description logic terminologies. In Proc. of IJCAR, 259-274.
22. Kontchakov, R.; Lutz, C.; Toman, D.; Wolter, F.; and Zakharyaschev, M. 2010. The combined approach to query answering in DL-Lite. In Proc. of KR, 247-257.
23. Liu, H.; Lutz, C.; and Milicic, M. 2008. The projection problem for EL actions. In Proc. of DL.
24. Lutz, C.; Toman, D.; and Wolter, F. 2009. Conjunctive query answering in the description logic EL using a relational database system. In Proc. of IJCAI, 2070-2075.
25. Lutz, C. 2008. The complexity of conjunctive query answering in expressive description logics. In Proc. of IJCAR, 179-193.
26. Noy, N. F., and Musen, M. A. 2002. PromptDiff: A fixed-point algorithm for comparing ontology versions. In Proc. of AAAI, 744-750.
27. Ortiz, M.; Rudolph, S.; and Simkus, M. 2011. Query answering in the Horn fragments of the description logics SHOIQ and SROIQ. In Proc. of IJCAI, 1039-1044.
28. Pérez-Urbina, H.; Horrocks, I.; and Motik, B. 2009. Efficient query answering for OWL 2. In Proc. of ISWC, 489-504.
29. Sagiv, Y., and Yannakakis, M. 1980. Equivalences among relational expressions with the union and difference operators. J. of the ACM 27(4):633-655.
30. Sagiv, Y. 1987. Optimizing datalog programs. In Proc. of PODS, 349-362.
31. Shmueli, O. 1987. Decidability and expressiveness of logic queries. In Proc. of PODS, 237-249.
32. Sioutos, N.; de Coronado, S.; Haber, M.; Hartel, F.; Shaiu, W.; and Wright, L. 2006. NCI thesaurus: a semantic model integrating cancer-related clinical and molecular information. J. of Biomedical Informatics 40(1):30-43.