Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati.
In Proceedings of the Twenty-fifth Conference of the American Association for Artificial Intelligence (AAAI 2011), 2011.
We investigate an extension of Description Logics (DL) with higher-order capabilities, based on Henkin-style semantics. Our study starts from the observation that the various possibilities of adding higher-order con- structs to a DL form a spectrum of increasing expressive power, including domain metamodeling, i.e., using concepts and roles as predicate arguments. We argue that higher-order features of this type are sufficiently rich and powerful for the modeling requirements arising in many relevant situations, and therefore we carry out an investigation of the computational complexity of satisfiability and conjunctive query answering in DLs extended with such higher-order features. In particular, we show that adding domain metamodeling capabilities to SHIQ (the core of OWL 2) has no impact on the complexity of the various reasoning tasks. This is also true for DL-Lite_R (the core of OWL 2 QL) under suitable restrictions on the queries.
@String{AAAI-11 = "Proceedings of the Twenty-fifth Conference of the American Association for Artificial Intelligence (AAAI~2011)"}
@Inproceedings{DeLR11,
author = "De Giacomo, Giuseppe and Maurizio Lenzerini and Riccardo Rosati",
title = "Higher-Order Description Logics for Domain Metamodeling",
booktitle = AAAI-11,
year = 2011,
}