From Description to Hybrid Logics, and Back

C. Areces and M. de Rijke. From Description to Hybrid Logics, and Back. In F. Wolter, H. Wansing, M. de Rijke, and M. Zakharyaschev, editors, Advances in Modal Logic, pp. 17–36, CSLI Publications, 2001. Extended version of ``Description and/or Hybrid Logics'' (Areces and de Rijke).

Download

[pdf] 

Abstract

Building on work by Schild, De Giacomo and Lenz- erini, we establish a tight connection between description logics and hybrid logics. The main aim of the paper is to provide a modal perspective on some of the distinguishing features of description logic. In particular, by working in a hybrid logic setting we are able to develop a model-theoretic understanding of both asser- tional and terminological information. We also show how to use the connection between description and hybrid logics to transfer results on complexity and expressive power from one to the other.

BibTeX

@InCollection{Areces2001j,
  author =       "C. Areces and M. de Rijke",
  booktitle =    "Advances in Modal Logic",
  publisher =    "CSLI Publications",
  title =        "From Description to Hybrid Logics, and Back",
  year =         "2001",
  editor =       "F. Wolter and H. Wansing and M. de Rijke and M.
                 Zakharyaschev",
  note =         "Extended version of ``Description and/or Hybrid
                 Logics'' (Areces and de Rijke).",
  pages =        "17--36",
  abstract =     "Building on work by Schild, De Giacomo and Lenz-
                 erini, we establish a tight connection between
                 description logics and hybrid logics. The main aim of
                 the paper is to provide a modal perspective on some of
                 the distinguishing features of description logic. In
                 particular, by working in a hybrid logic setting we are
                 able to develop a model-theoretic understanding of both
                 asser- tional and terminological information. We also
                 show how to use the connection between description and
                 hybrid logics to transfer results on complexity and
                 expressive power from one to the other.",
  volume =       "3",
  ISBN =         "978-981-238-179-8",
}