Description Logics Go Second-Order -- Extending EL with Universally Quantified Concepts

Joshua Hirschbrunn, Yevgeny Kazakov

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 r…