Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Hirschbrunn, Joshua"'
Autor:
Hirschbrunn, Joshua, Kazakov, Yevgeny
The study of Description Logics have been historically mostly focused on features that can be translated to decidable fragments of first-order logic. In this paper, we leave this restriction behind and look for useful and decidable extensions outside
Externí odkaz:
http://arxiv.org/abs/2308.08252
