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
%0 Journal Article
%1 hustadt_08_survey
%A Hustadt, U.
%A Schmidt, R. A.
%A Georgieva, L.
%D 2008
%J Journal of Relational Methods in Computer Science
%K 2008 first-order survey logics decidable
%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{hustadt_08_survey,
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-02-12T11:53:14.000+0100},
author = {Hustadt, U. and Schmidt, R. A. and Georgieva, L.},
biburl = {https://www.bibsonomy.org/bibtex/2707e3f88cf9d95fb8aac91b0004dbfb7/leonardo},
citeulike-article-id = {3420622},
description = {(private-note)ok},
interhash = {20bff21203798caca28272224c75c16c},
intrahash = {707e3f88cf9d95fb8aac91b0004dbfb7},
journal = {Journal of Relational Methods in Computer Science},
keywords = {2008 first-order survey logics decidable},
posted-at = {2008-10-16 14:41:29},
priority = {2},
timestamp = {2009-02-12T11:53:14.000+0100},
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
}