معرفی
Dr. Yevgeny Kazakov is a Research Fellow at the University of Ulm's Institute of Artificial Intelligence. His work focuses on knowledge representation, automated reasoning, and ontology engineering, particularly in Description Logics and OWL. He has contributed to systems like ELK and ConDOR, emphasizing algorithm optimization and practical reasoning solutions.
Education: No formal education details explicitly mentioned in the text.
Research Interests: Kazakov's research centers on reasoning support for Description Logics, ontology languages (e.g., OWL), and modular integration of ontologies. He explores theoretical properties and practical implementations, including consequence-based reasoning, modularity, and algorithmic efficiency. His work also addresses challenges like SPARQL query optimization over OWL ontologies and incremental reasoning.
Professional Activities: Kazakov has held roles such as General Co-chair of the Description Logic Workshop (2013), Guest Editor of the JAIR special track on Description Logics, and PC member for conferences like KR, IJCAI, and ECAI. He has reviewed for top journals and conferences, contributing to the field's academic rigor.
Teaching: Recent courses include Cognitive Systems 2, Explainable AI, and Knowledge-Based AI at the University of Ulm. He also supervises projects in automated reasoning.
Grants & Projects: Led the DFG-funded 'Live Ontologies' project (2012–2017). Co-investigated EPSRC-funded projects like ConDOR (2009–2011) and REOL (2005–2008). These projects focused on ontology reasoning systems and modular integration.
Students: Advised Trung-Kien Tran (since 2012, with Birte Glimm) and František Simančík (2009–2013, with Ian Horrocks).
Labs/Teams: Active in the Institute of Artificial Intelligence, collaborating on systems like ELK and ConDOR. His research group develops tools for efficient ontology reasoning and knowledge representation.
