Yevgeny Kazakov

Available identifiers

zbMath Open kazakov.yevgenyMaRDI QIDQ438564

List of research outcomes

Publication	Date of Publication	Type
Classical algorithms for reasoning and explanation in description logics	2024-03-14	Paper
Enumerating justifications using resolution	2018-10-18	Paper
Scalable Reasoning by Abstraction Beyond DL-Lite	2017-06-20	Paper
The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies	2015-07-02	Paper
Tractable extensions of the description logic \({\mathcal{EL}}\) with numerical datatypes	2012-07-31	Paper
Tractable Extensions of the Description Logic $\cal EL$ with Numerical Datatypes	2010-09-14	Paper
An Extension of Complex Role Inclusion Axioms in the Description Logic $\mathcal{SROIQ}$	2010-09-14	Paper
Incremental classification of description logics ontologies	2010-05-26	Paper
Extracting Modules from Ontologies: A Logic-Based Approach	2009-06-09	Paper
A Resolution-Based Decision Procedure for $\mathcal{SHOIQ}$	2009-03-12	Paper
Role Conjunctions in Expressive Description Logics	2009-01-27	Paper
A resolution-based decision procedure for \({\mathcal{SHOIQ}}\).	2008-06-11	Paper
Erratum to: A resolution-based decision procedure for \({\mathcal{SHOIQ}}\)	2008-06-11	Paper
How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited	2008-05-15	Paper
Automated Reasoning	2007-09-25	Paper
Logics in Artificial Intelligence	2006-10-25	Paper

Research outcomes over time

This page was built for person: Yevgeny Kazakov