Expressiveness Revisited

C. Areces and M. de Rijke. Expressiveness Revisited. In Proceedings of the 1998 International Workshop on Description Logics (DL'98), pp. 35–43, Trento, Italy, 1998.

Download

[pdf] 

Abstract

We consider two recently proposed defini- tions of the expressive power of description logics, one due to Baader, the other due to Kurtonina and de Rijke. The proposals are non-equivalent, and we explain their differences, similarities, as well as ways in which they are related. We also map out a research agenda resulting from efforts to combine the two approaches.

BibTeX

@InProceedings{Areces1998d,
  author =       "C. Areces and M. de Rijke",
  booktitle =    "Proceedings of the 1998 International Workshop on
                 Description Logics (DL'98)",
  title =        "Expressiveness Revisited",
  year =         "1998",
  address =      "Trento, Italy",
  editor =       "E. Franconi and G. De Giacomo and R. MacGregor and W.
                 Nutt and C. Welty",
  pages =        "35--43",
  abstract =     "We consider two recently proposed defini- tions of the
                 expressive power of description logics, one due to
                 Baader, the other due to Kurtonina and de Rijke. The
                 proposals are non-equivalent, and we explain their
                 differences, similarities, as well as ways in which
                 they are related. We also map out a research agenda
                 resulting from efforts to combine the two approaches.",
}