Yevgeny Kazakov

Available identifiers

zbMath Open kazakov.yevgenyMaRDI QIDQ438564

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Yevgeny Kazakov