Dr. Yevgeny Kazakov

I work at the Institut for Artificial Intelligence as a Research Fellow since 2011.

Further Information (click below to expand)

  • Research Interests

    My main research interests are knowledge representation and automated reasoning, and specifically, reasoning support for description logics, ontology languages, such as OWL, and decidable fragments of first-order logic. I have been actively working on the topic of modularity in ontologies together with Bernardo Cuenca-GrauIan Horrocks, and Uli Sattler, and also did some theoretical research on extensions of description logics, modal logics, and ontology languages with expressive features, such as complex role inclusion axioms, graded modalities / counting, role conjunctions, and conjunctive queries. Studying theoretical properties of various reasoning tasks is an exciting research area, but it is even more satisfying to develop procedures that work in practice. I have been involved in the development of a few ontology reasoning systems, such as CBConDOR, and ELK, which implement optimized consequence-based reasoning procedures, and I am interested in almost all aspects of algorithm optimizations, such as efficient data structures, goal-directed, incremental reasoning, and concurrency.

  • Professional Activities

    • General co-chair of the Description Logic Workshop 2013
    • Guest Editor of the JAIR special track on Description Logics
    • PC co-chair of the Description Logic Workshop 2012
    • PC member of conferences IJCAI 2016, KR 2016, IJCAI 2015, ISWC 2014, KR 2014, IJCAI 2013, IJCAR 2012, KR 2012, IJCAI 2011, AAAI 2010, IJCAI 2009, ESWC 2009, ESWC 2008, ECAI 2008, ISWC 2007, and workshops DL 2016, PAAR 2016, DL 2015, IWIL 2015, ORE 2015, PAAR 2014, DL 2014, ORE 2014, ORE 2013, AIW 2012, DL 2012, IWIL 2012, PAAR 2012, DL 2011, DL 2010, DL 2009, DL 2007.
    • Invited referee of Artificial Intelligence Journal (AIJ), Journal of Applied Logic (JAL), Journal of Artificial Intelligence Research (JAIR), Journal of Automated Reasoning (JAR), Journal of Logic and Computation (JLC), Journal of Data Semantics (JODS), Journal of Symbolic Computation (JSC), Journal of Web Semantics (JWS), SIAM Journal of Computing (SICOMP), Journal of Theoretical Computer Science (TCS), Journal o Theory and Practice of Logic Programming (TPLP), conferences IJCAR 2016, LICS 2015, TABLEAUX 2015, AAAI 2014, LICS 2013, ISWC 2012, AIMSA 2010, IJCAR 2010, KR 2010, TCS 2010, LICS 2009, WWW 2009, KR 2008, RTA 2008, WWW 2008, IJCAI 2007, LPAR 2007, TABLEAUX 2007, IJCAR 2006, KI 2005, LPAR 2006, TABLEAUX 2005, LICS 2004, CSL 2004, LPAR 2003, and workshops DL 2008, M4M 2005.
  • Teaching

  • Projects

  • Students

Publications

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

35.
pdf
Magka, Despoina; Kazakov, Yevgeny; Horrocks, Ian
Tractable Extensions of the Description Logic EL with Numerical Datatypes
In Volker Haarslev and David Toman and Grant Weddell, Editor, Description Logics Band 573 aus CEUR Workshop Proceedings
Herausgeber: CEUR-WS.org,
2010
34.
pdf
Magka, Despoina; Kazakov, Yevgeny; Horrocks, Ian
Tractable Extensions of the Description Logic EL with Numerical Datatypes.
Oxford University,
2010
33.
default
Cuenca Grau, Bernardo; Horrocks, Ian; Kazakov, Yevgeny; Sattler, Ulrike
Extracting Modules from Ontologies: A Logic-Based Approach
Modular Ontologies Band 5445 aus Lecture Notes in Computer Science
Seite 159-186.
Herausgeber: Springer,
2009
ISBN: 978-3-642-01906-7
32.
pdf
Delaitre, Vincent; Kazakov, Yevgeny
Classifying ELH Ontologies In SQL Databases
OWL: Experiences and Directions 2009 (OWLED 2009)
Chantilly, VA, United States
2009
31.
pdf
Kazakov, Yevgeny; Pratt-Hartmann, Ian
A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics
LICS , Seite 407-416.
Herausgeber: IEEE Computer Society,
2009
30.
pdf
Cuenca Grau, Bernardo; Motik, Boris; Kazakov, Yevgeny
Import-by-Query: Ontology Reasoning under Access Limitations
IJCAI , Seite 727-732.
2009
29.
pdf
Kazakov, Yevgeny
Consequence-Driven Reasoning for Horn SHIQ Ontologies
IJCAI , Seite 2040-2045.
2009
28.
pdf
Kazakov, Yevgeny
Consequence-Driven Reasoning for Horn SHIQ Ontologies
In Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler, Editor, Description Logics Band 477 aus CEUR Workshop Proceedings
Herausgeber: CEUR-WS.org,
2009
27.
pdf
Kazakov, Yevgeny
An Extension of Regularity Conditions for Complex Role Inclusion Axioms
In Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler, Editor, Description Logics Band 477 aus CEUR Workshop Proceedings
Herausgeber: CEUR-WS.org,
2009
26.
pdf
Kazakov, Yevgeny; Pratt-Hartmann, Ian
A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics
arxiv.org,
2009
Export als: BibTeX, XML

Contact

  • E-Mail: yevgeny.kazakov(at)uni-ulm.de
  • Telefon: +49 (0)731/50-24110
  • Telefax: +49 (0)731/50-24119
  • Postanschrift

  • Yevgeny Kazakov
  • Universität Ulm
  • Institut für Künstliche Intelligenz
  • D-89069 Ulm 
  • Büro

  • James-Franck-Ring
  • Gebäude O27, 4. Niveau
  • Raum 423