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