44 citations · 44 across the 3 of their papers we have counts for
3 papers
cs.LO2023
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…
cs.AI2017
On the Complexity of Semantic Integration of OWL Ontologies
Yevgeny Kazakov, Denis Ponomaryov
We propose a new mechanism for integration of OWL ontologies using semantic import relations. In contrast to the standard OWL importing, we do not require all axioms of the importe…
cs.LO2009★ 44 cited
A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics
Yevgeny Kazakov, Ian Pratt-Hartmann
Graded modal logic is the formal language obtained from ordinary (propositional) modal logic by endowing its modal operators with cardinality constraints. Under the familiar possib…