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...
Users
Please
log in to take part in the discussion (add own reviews or comments).