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

Open in new window