Comparing the Expressiveness of Description Logics
Author: Ali Rezaei Divroodi
Paper Information
| Title: | Comparing the Expressiveness of Description Logics |
| Authors: | Ali Rezaei Divroodi |
| Proceedings: | DL 2014 Proceedings |
| Editors: | Meghyn Bienvenu, Riccardo Rosati, Magdalena Ortiz and Mantas Simkus |
| Keywords: | description logics, bisimulation, expressiveness |
| Abstract: | ABSTRACT. We compare the expressiveness of the description logics that extend \ALCreg (a variant of PDL) with any combination of the features: inverse roles, nominals, quantified number restrictions, the universal role, the concept constructor for expressing the local reflexivity of a role. The comparison is done for the expressiveness with respect to concepts, positive concepts and TBoxes. It is based on bisimulations. |
| Pages: | 13 |
| Talk: | Jul 17 12:35 |
| Paper: |  |