Alert button
Picture for Yevgeny Kazakov

Yevgeny Kazakov

Alert button

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

Aug 29, 2023
Joshua Hirschbrunn, Yevgeny Kazakov

Viaarxiv icon

On the Complexity of Semantic Integration of OWL Ontologies

May 12, 2017
Yevgeny Kazakov, Denis Ponomaryov

Viaarxiv icon

A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics

May 19, 2009
Yevgeny Kazakov, Ian Pratt-Hartmann

Figure 1 for A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics
Figure 2 for A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics
Viaarxiv icon