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...
%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
}