top

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. Volume 3, CSLI Publications, 2001.

Download: [pdf] 

Abstract:

Building on work by Schild, De Giacomo and Lenzerini, 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 assertional 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: (download)

@INCOLLECTION{areces01:_from_descr_hybrid_logic_back,
  author = {C. Areces and M. de Rijke},
  title = {From Description to Hybrid Logics, and Back},
  booktitle = {Advances in Modal Logic. Volume 3},
  publisher = {CSLI Publications},
  year = {2001},
  editor = {F. Wolter and H. Wansing and M. de Rijke and M. Zakharyaschev},
  abstract = {
	Building on work by Schild, De Giacomo and Lenzerini, 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 assertional 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. }
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Aug 10, 2009 14:52:33