Description and/or Hybrid Logics

C. Areces and M. de Rijke. Description and/or Hybrid Logics. In Proceedings of AiML 2000, Leipzig, Germany, 2000.

Download

[pdf] 

Abstract

Improving on work by Schild, De Giacomo and Lenzerini, we establish a tight connection between description logics and hybrid logics, and use this to transfer results on complexity and expressive power from one to the other.

BibTeX

@InProceedings{Areces2000f,
  author =       "C. Areces and M. de Rijke",
  booktitle =    "Proceedings of AiML 2000",
  title =        "Description and/or Hybrid Logics",
  year =         "2000",
  abstract =     "Improving on work by Schild, De Giacomo and Lenzerini,
                 we establish a tight connection between description
                 logics and hybrid logics, and use this to transfer
                 results on complexity and expressive power from one to
                 the other.",
  address =      "Leipzig, Germany",
}