%0 Generic %1 citeulike:550834 %A Hustadt, U. %A Schmidt, R. A. %A Georgieva, L. %D 2004 %K logic survey description fragments first order %T A Survey of Decidable First-Order Fragments and Description Logics %U http://citeseer.ist.psu.edu/hustadt04survey.html %X 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 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...

@misc{citeulike:550834, 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 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...}, added-at = {2006-03-14T16:03:43.000+0100}, author = {Hustadt, U. and Schmidt, R. A. and Georgieva, L.}, biburl = {https://www.bibsonomy.org/bibtex/29c9bf331ae9510512a45612694c3440e/hotho}, citeulike-article-id = {550834}, interhash = {35dd2503aef2e3308423314617e23b71}, intrahash = {9c9bf331ae9510512a45612694c3440e}, keywords = {logic survey description fragments first order}, priority = {2}, timestamp = {2006-03-14T16:03:43.000+0100}, title = {A Survey of Decidable First-Order Fragments and Description Logics}, url = {http://citeseer.ist.psu.edu/hustadt04survey.html}, year = 2004 }