@article{Hustadt+Schmidt+Georgieva@JoRMiCS2004,
 author    = {U. Hustadt and R. A. Schmidt and L. Georgieva},
 title     = {A Survey of Decidable First-Order Fragments and Description Logics},
 journal   = {JoRMiCS},
 volume    = {1},
 pages     = {251-276},
 year      = {2004},
 url       = {http://www.cosc.brocku.ca/Faculty/Winter/JoRMiCS/Vol1/PDF/v1n11.pdf},
 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.} 
}

{"_id":"izg9KAoWXpYYaD7rK","bibbaseid":"hustadt-schmidt-georgieva-asurveyofdecidablefirstorderfragmentsanddescriptionlogics-2004","author_short":["Hustadt, U.","Schmidt, R. A.","Georgieva, L."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["U."],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["R.","A."],"propositions":[],"lastnames":["Schmidt"],"suffixes":[]},{"firstnames":["L."],"propositions":[],"lastnames":["Georgieva"],"suffixes":[]}],"title":"A Survey of Decidable First-Order Fragments and Description Logics","journal":"JoRMiCS","volume":"1","pages":"251-276","year":"2004","url":"http://www.cosc.brocku.ca/Faculty/Winter/JoRMiCS/Vol1/PDF/v1n11.pdf","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.","bibtex":"@article{Hustadt+Schmidt+Georgieva@JoRMiCS2004,\n author = {U. Hustadt and R. A. Schmidt and L. Georgieva},\n title = {A Survey of Decidable First-Order Fragments and Description Logics},\n journal = {JoRMiCS},\n volume = {1},\n pages = {251-276},\n year = {2004},\n url = {http://www.cosc.brocku.ca/Faculty/Winter/JoRMiCS/Vol1/PDF/v1n11.pdf},\n abstract = {The guarded fragment and its extensions and subfragments\n are often considered as a framework for investigating the properties\n of description logics. There are also other, some less well-known,\n decidable fragments of first-order logic which all have in common that\n they generalise the standard translation of ALC to first-order logic. We\n provide a short survey of some of these fragments and motivate why\n they are interesting with respect to description logics, mentioning\n also connections to other non-classical logics.} \n}\n\n","author_short":["Hustadt, U.","Schmidt, R. A.","Georgieva, L."],"key":"Hustadt+Schmidt+Georgieva@JoRMiCS2004","id":"Hustadt+Schmidt+Georgieva@JoRMiCS2004","bibbaseid":"hustadt-schmidt-georgieva-asurveyofdecidablefirstorderfragmentsanddescriptionlogics-2004","role":"author","urls":{"Paper":"http://www.cosc.brocku.ca/Faculty/Winter/JoRMiCS/Vol1/PDF/v1n11.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj"],"keywords":[],"search_terms":["survey","decidable","first","order","fragments","description","logics","hustadt","schmidt","georgieva"],"title":"A Survey of Decidable First-Order Fragments and Description Logics","year":2004}