Special track on Description Logics
Giuseppe De Giacomo
Special Track Contents
Over the past two decades, Description Logics (DLs) have grown tremendously in popularity both within the AI community and beyond, due to the balanced trade-off they offer between expressivity and complexity of reasoning. The current success of DLs is the result of many years of rigorous research carried out by the DL community, which has yielded not only beautiful theoretical results but also powerful systems and im- portant practical applications. Notably, DLs provide the logical underpinning of ontology languages (including the W3C standard OWL), making them relevant to a variety of application domains, such as semantic web, medical informatics, life sciences, e-commerce, etc.
This Special Track commemorates the 25th edition of the International Workshop on Description Logics, the main annual meeting of researchers in the description logics community. The objective of this special track is to showcase the best of current DL research. The Track received 17 submissions of which the following seven papers for publication in the special track. These papers provide some deep insights into the current state of the art of DL research and the kind of technical tools, problems and applications the scientific community is focussing on.
- De Giacomo, G., Kazakov, Y., and Wolter, F. (2013) "Preface to the Special Track on Description Logics"
- Calavanese, D., Ortiz, M., Simkus, M., and Stefanoni, G. (2013) "Reasoning about Explanations for Negative Query Answers in DL-Lite"
- Kollia, I., and Glimm, B. (2013) "SPARQL Query Answering over OWL Ontologies"
- Cali, A., Gottlob, G., Kifer, M. (2013) "Taming The Infinite Chase: Query Answering Under Expressive Relational Constraints"
- Mosurovic, M., Krdzavac, N., Graves, H., and Zakharyaschev (2013) "A Decidable Extension of SROIQ with Complex Role Chains and Unions"
- ten Cate, B., Franconi, E., and Seylan, I. (2013) "Beth Definability In Expressive Description Logics"
- Franconi, E., Kerhet, V., and Ngo, N. (2013) "Exact Query Reformulation Over Databases With First-order And Description Logics Ontologies"
- Casini, G., and Straccia, U. (2013) "Defeasible Inheritance-based Description Logics"
Unlinked papers are To Appear.