%0 Journal Article %1 paper:hustadt:2008 %A Hustadt, U. %A Schmidt, R. A. %A Georgieva, L. %D 2008 %J Journal of Relational Methods in Computer Science %K description logic methods to-read %T A survey of decidable first-order fragments and description logics %U http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.8255 %V 1 %X Abstract. The guarded fragment and its extensions and subfragments are often considered as a framework for investigating the properties of description logics. There are also other, some less well-known, decidable fragments of first-order logic which all have in common that they generalise the standard translation of ALC to first-order logic. We provide a short survey of some of these fragments and motivate why they are interesting with respect to description logics, mentioning also connections to other non-classical logics. 1

@article{paper:hustadt:2008, abstract = {Abstract. The guarded fragment and its extensions and subfragments are often considered as a framework for investigating the properties of description logics. There are also other, some less well-known, decidable fragments of first-order logic which all have in common that they generalise the standard translation of ALC to first-order logic. We provide a short survey of some of these fragments and motivate why they are interesting with respect to description logics, mentioning also connections to other non-classical logics. 1}, added-at = {2009-07-29T10:23:25.000+0200}, author = {Hustadt, U. and Schmidt, R. A. and Georgieva, L.}, biburl = {https://www.bibsonomy.org/bibtex/2707e3f88cf9d95fb8aac91b0004dbfb7/mschuber}, citeulike-article-id = {3420622}, interhash = {20bff21203798caca28272224c75c16c}, intrahash = {707e3f88cf9d95fb8aac91b0004dbfb7}, journal = {Journal of Relational Methods in Computer Science}, keywords = {description logic methods to-read}, posted-at = {2008-10-16 14:41:29}, priority = {2}, timestamp = {2009-07-29T10:23:25.000+0200}, title = {A survey of decidable first-order fragments and description logics}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.8255}, volume = 1, year = 2008 }