Information Systems Group

― Knowledge Representation and Reasoning

Yevgeny Kazakov: Publications

Journal Articles

@ARTICLE{MagKazHor:11:NDR:JAR,
  author = {Despoina Magka and Yevgeny Kazakov and Ian Horrocks},
  title = {Tractable Extensions of the Description Logic {$\mathcal{EL}$} with Numerical Datatypes.},
  journal = {JAR},
  year = {2011},
  note = {To appear},
}
@ARTICLE{CueHalKazSun:10:Incremental:JAR,
  author = {Bernardo Cuenca Grau and Christian Halaschek-Wiener and Yevgeny Kazakov and Boontawee Suntisrivaraporn},
  title = {Incremental Classification of Description Logics Ontologies},
  journal = {JAR},
  year = {2010},
  volume = {44},
  number = {4},
  pages = {337-369},
}
@ARTICLE{KazMot:08:SHOIQ:JAR,
  author = {Yevgeny Kazakov and Boris Motik},
  title = {A Resolution-Based Decision Procedure for {$\mathcal{SHOIQ}$}},
  journal = {JAR},
  year = {2008},
  volume = {40},
  number = {2-3},
  pages = {89-116},
}
@ARTICLE{CueHorKazSat:08:Modularity,
  author = {Bernardo Cuenca Grau and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler},
  title = {Modular Reuse of Ontologies: Theory and Practice},
  journal = {JAIR},
  year = {2008},
  volume = {31},
  pages = {273-318},
}

Selected Conference and Workshop Publications

@INPROCEEDINGS{KazKroSim:11:Concurrent:ISWC,
  author = {Yevgeny Kazakov and Markus Kr{\"o}tzsch and Frantisek Simancik},
  title = {Concurrent Classification of EL Ontologies},
  booktitle = {ISWC},
  year = {2011},
  note = {To appear},
}
@INPROCEEDINGS{KazKroSim:11:Unchain:DL,
  author = {Yevgeny Kazakov and Markus Kr{\"o}tzsch and Frantisek Simancik},
  title = {Unchain My EL Reasoner},
  booktitle = {Description Logics},
  year = {2011},
  ee = {http://ceur-ws.org/Vol-745/paper_54.pdf},
  editor = {Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev},
  publisher = {CEUR-WS.org},
  series = {CEUR Workshop Proceedings},
  volume = {745},
}
@INPROCEEDINGS{GliKazLut:11:QIO:DL,
  author = {Birte Glimm and Yevgeny Kazakov and Carsten Lutz},
  title = {Status {QIO}: An Update},
  booktitle = {Description Logics},
  year = {2011},
  ee = {http://ceur-ws.org/Vol-745/paper_44.pdf},
  editor = {Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev},
  publisher = {CEUR-WS.org},
  series = {CEUR Workshop Proceedings},
  volume = {745},
}
@INPROCEEDINGS{SimKazHor:11:BeyondHorn:IJCAI,
  author = {Frantisek Simancik and Yevgeny Kazakov and Ian Horrocks},
  title = {Consequence-Based Reasoning beyond {H}orn Ontologies},
  booktitle = {IJCAI},
  year = {2011},
  month = {July 16-22},
  pages = {1093-1099},
}
@INPROCEEDINGS{MagKazHor:10:NDR:IJCAR,
  author = {Despoina Magka and Yevgeny Kazakov and Ian Horrocks},
  title = {Tractable Extensions of the Description Logic {$\mathcal{EL}$} with Numerical Datatypes.},
  booktitle = {IJCAR},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {6173},
  year = {2010},
  pages = {61-75},
  ee = {http://dx.doi.org/10.1007/978-3-642-14203-1_6},
}
@INPROCEEDINGS{Kazakov:10:Regularity:IJCAR,
  author = {Yevgeny Kazakov},
  title = {An Extension of Complex Role Inclusion Axioms in the Description Logic {SROIQ}.},
  booktitle = {IJCAR},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {6173},
  year = {2010},
  pages = {472-486},
  ee = {http://dx.doi.org/10.1007/978-3-642-14203-1_40},
}
@INPROCEEDINGS{MagKazHor:10:NDR:DL,
  author = {Despoina Magka and Yevgeny Kazakov and Ian Horrocks},
  title = {Tractable Extensions of the Description Logic {$\mathcal{EL}$} with Numerical Datatypes},
  booktitle = {Description Logics},
  year = {2010},
  ee = {http://CEUR-WS.org/Vol-573/paper_29.pdf},
  editor = {Volker Haarslev and David Toman and Grant Weddell},
  publisher = {CEUR-WS.org},
  series = {CEUR Workshop Proceedings},
  volume = {573},
}
@INPROCEEDINGS{DelKaz:09:SQL:OWLED,
  author = {Vincent Delaitre and Yevgeny Kazakov},
  title = {Classifying {ELH} Ontologies In {SQL} Databases},
  booktitle = {OWL: Experiences and Directions 2009 (OWLED 2009)},
  year = {2009},
  address = {Chantilly, VA, United States},
  month = {October 23--24},
}
@INPROCEEDINGS{Kazakov:09:Regularity:DL,
  author = {Yevgeny Kazakov},
  title = {An Extension of Regularity Conditions for Complex Role Inclusion
               Axioms},
  booktitle = {Description Logics},
  year = {2009},
  ee = {http://ceur-ws.org/Vol-477/paper_68.pdf},
  editor = {Bernardo Cuenca Grau and
               Ian Horrocks and
               Boris Motik and
               Ulrike Sattler},
  publisher = {CEUR-WS.org},
  series = {CEUR Workshop Proceedings},
  volume = {477},
}
@INPROCEEDINGS{Kazakov:09:CB:DL,
  author = {Yevgeny Kazakov},
  title = {Consequence-Driven Reasoning for {H}orn {$\mathcal{SHIQ}$} Ontologies},
  booktitle = {Description Logics},
  year = {2009},
  ee = {http://ceur-ws.org/Vol-477/paper_69.pdf},
  editor = {Bernardo Cuenca Grau and
               Ian Horrocks and
               Boris Motik and
               Ulrike Sattler},
  publisher = {CEUR-WS.org},
  series = {CEUR Workshop Proceedings},
  volume = {477},
}
@INPROCEEDINGS{Kazakov:09:CB,
  author = {Yevgeny Kazakov},
  title = {Consequence-Driven Reasoning for {H}orn {$\mathcal{SHIQ}$} Ontologies},
  booktitle = {IJCAI},
  year = {2009},
  month = {July 11-17},
  pages = {2040-2045},
}
@INPROCEEDINGS{GrauMotikKaz:09:Import,
  author = {Bernardo Cuenca Grau and Boris Motik and Yevgeny Kazakov},
  title = {Import-by-Query: Ontology Reasoning under Access Limitations},
  booktitle = {IJCAI},
  year = {2009},
  month = {July 11-17},
  pages = {727-732},
}
@INPROCEEDINGS{KazakovPrattHartman:09:Graded,
  author = {Yevgeny Kazakov and Ian Pratt-Hartmann},
  title = {A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics},
  booktitle = {LICS},
  year = {2009},
  month = {August 11-14},
  pages = {407-416},
  publisher = {IEEE Computer Society},
}
@INPROCEEDINGS{GlimmKazakov:08:RoleConjunctions,
  author = {Birte Glimm and Yevgeny Kazakov},
  title = {Role Conjunctions in Expressive Description Logics},
  booktitle = {LPAR},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {5330},
  year = {2008},
  pages = {391-405},
}
@INPROCEEDINGS{Kazakov:08:RIQ:SROIQ,
  author = {Yevgeny Kazakov},
  title = {{$\mathcal{RIQ}$} and {$\mathcal{SROIQ}$} Are Harder than {$\mathcal{SHOIQ}$}},
  booktitle = {KR},
  year = {2008},
  pages = {274-284},
  publisher = {AAAI Press},
}
@INPROCEEDINGS{Kazakov:08:SRIQ:SROIQ,
  author = {Yevgeny Kazakov},
  title = {{$\mathcal{SRIQ}$} and {$\mathcal{SROIQ}$} are Harder than {$\mathcal{SHOIQ}$}},
  booktitle = {Description Logics},
  year = {2008},
  publisher = {CEUR-WS.org},
  series = {CEUR Workshop Proceedings},
  volume = {353},
}
@INPROCEEDINGS{KazSatZol:07:NonSimple,
  author = {Yevgeny Kazakov and Ulrike Sattler and Evgeny Zolin},
  title = {How Many Legs Do {I} Have? {N}on-Simple Roles in Number Restrictions
               Revisited},
  booktitle = {LPAR},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {4790},
  year = {2007},
  pages = {303-317},
  ee = {http://dx.doi.org/10.1007/978-3-540-75560-9_23},
  bibsource = {DBLP, http://dblp.uni-trier.de},
}
@INPROCEEDINGS{CueHalKaz:07:Incremental,
  author = {Bernardo Cuenca Grau and Christian Halaschek-Wiener and Yevgeny Kazakov},
  title = {History Matters: Incremental Ontology Reasoning Using Modules},
  booktitle = {ISWC/ASWC},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {4825},
  year = {2007},
  pages = {183-196},
  ee = {http://dx.doi.org/10.1007/978-3-540-76298-0_14},
  bibsource = {DBLP, http://dblp.uni-trier.de},
}
@INPROCEEDINGS{CueHorKazSat:07:Safe,
  author = {Bernardo Cuenca Grau and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler},
  title = {Ontology Reuse: Better Safe than Sorry.},
  booktitle = {Description Logics},
  year = {2007},
  address = {Brixen/Bressanone, Italy},
  month = {June 8--10},
  publisher = {Bozen/Bolzano University Press},
  pages = {41--52},
}
@INPROCEEDINGS{CueHorKazSat:07:Extracting,
  author = {Bernardo Cuenca Grau and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler},
  title = {Extracting Modules From Ontologies: A Logic-based Approach},
  booktitle = {OWL: Experiences and Directions 2007 (OWLED 2007)},
  year = {2007},
  address = {Innsbruck, Austria},
  month = {June 6--7},
}
@INPROCEEDINGS{CueHorKazSat:07:Modules,
  author = {Bernardo Cuenca Grau and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler},
  title = {Just the Right Amount: Extracting Modules from Ontologies.},
  booktitle = {WWW},
  year = {2007},
  pages = {717--726},
  month = {May},
  address = {Banff, Canada},
  publisher = {ACM},
}
@INPROCEEDINGS{CueHorKazSat:07:Framework,
  author = {Bernardo Cuenca Grau and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler},
  title = {A Logical Framework for Modularity of Ontologies.},
  booktitle = {IJCAI},
  year = {2007},
  pages = {298-303},
  ee = {http://www.ijcai.org/papers07/Papers/IJCAI07-046.pdf},
  bibsource = {DBLP, http://dblp.uni-trier.de},
}
@INPROCEEDINGS{KazakovMotik:06:SHOIQ,
  author = {Yevgeny Kazakov and Boris Motik},
  title = {A Resolution-Based Decision Procedure for {$\mathcal{SHOIQ}$}.},
  booktitle = {IJCAR},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {4130},
  year = {2006},
  pages = {662-677},
  ee = {http://dx.doi.org/10.1007/11814771_53},
  bibsource = {DBLP, http://dblp.uni-trier.de},
}
@INPROCEEDINGS{Kazakov:04:GF2N,
  author = {Yevgeny Kazakov},
  title = {A Polynomial Translation from the Two-Variable Guarded Fragment
               with Number Restrictions to the Guarded Fragment.},
  booktitle = {JELIA},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {3229},
  year = {2004},
  pages = {372-384},
  bibsource = {DBLP, http://dblp.uni-trier.de},
}
@INPROCEEDINGS{KazNiv:04:ResGFTG,
  author = {Yevgeny Kazakov and
               Hans de Nivelle},
  title = {A Resolution Decision Procedure for the Guarded Fragment
               with Transitive Guards.},
  booktitle = {IJCAR},
  year = {2004},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {3097},
  pages = {122-136},
  bibsource = {DBLP, http://dblp.uni-trier.de},
}
@INPROCEEDINGS{Kazakov:04:ResGFTG:DP,
  author = {Yevgeny Kazakov},
  title = {A Resolution Decision Procedure for the Guarded Fragment
               with Transitive Guards.},
  booktitle = {IJCAR Doctoral Programme},
  series = {CEUR Workshop Proceedings},
  volume = {106},
  year = {2004},
  ee = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-106/06-kazakov.pdf},
  bibsource = {DBLP, http://dblp.uni-trier.de},
}
@INPROCEEDINGS{Kazakov:03:SubsumptionFLzero,
  author = {Yevgeny Kazakov and
               Hans de Nivelle},
  title = {Subsumption of Concepts in  {$\mathcal{FL}_0$} for (Cyclic) Terminologies
               with Respect to Descriptive Semantics is {PSPACE}-complete.},
  booktitle = {Description Logics},
  series = {CEUR Workshop Proceedings},
  volume = {81},
  year = {2003},
  ee = {http://SunSITE.Informatik.RWTH-Aachen.de/Publications/CEUR-WS/Vol-81/kazakov.pdf},
  bibsource = {DBLP, http://dblp.uni-trier.de},
}
@INPROCEEDINGS{Kazakov:02:RecResML,
  author = {Kazakov, Yevgeny},
  title = {Recursive resolution for modal logic},
  booktitle = {Proceedings of the Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi},
  organization = {International Max Planck Research School for Computer Science (IMPRS)},
  type = {Poster},
  paddress = {Saarbruecken, Germany},
  address = {Saarbr{\"u}cken, Germany},
  publisher = {Max-Planck-Institut f{\"u}r Informatik},
  month = {March},
  series = {MPI Research Report},
  volume = {MPI-I-2002-2-007},
  year = {2002},
  pages = {11--15},
}
@INPROCEEDINGS{KazKroSim:11:Concurrent:TR,
  author = {Yevgeny Kazakov and Markus Kr{\"o}tzsch and Frantisek Simancik},
  institution = {Oxford University},
  title = {Concurrent Classification of EL Ontologies},
  year = {2011},
}

Selected Technical Reports

@TECHREPORT{SimKazHor:11:BeyondHorn:IJCAI:TR,
  author = {Frantisek Simancik and Yevgeny Kazakov and Ian Horrocks},
  institution = {Oxford University},
  title = {Consequence-Based Reasoning beyond {H}orn Ontologies},
  year = {2011},
}
@TECHREPORT{MagKazHor:10:NDR:TR,
  author = {Despoina Magka and Yevgeny Kazakov and Ian Horrocks},
  institution = {Oxford University},
  title = {Tractable Extensions of the Description Logic {$\mathcal{EL}$} with Numerical Datatypes.},
  year = {2010},
}
@TECHREPORT{DelaitreKazakov:09:DB_TR,
  author = {Vincent Delaitre and Yevgeny Kazakov},
  institution = {Oxford University},
  title = {Classifying {$\mathcal{ELH}$} Ontologies in {SQL} Databases},
  year = {2009},
}
@TECHREPORT{KazP-H:08:Graded:TR,
  author = {Yevgeny Kazakov and Ian Pratt-Hartmann},
  title = {A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics},
  year = {2009},
  note = {{\tt arXiv:0905.3108v1}, posted on {\tt http://arxiv.org}},
  institution = {arxiv.org},
}
@TECHREPORT{GliKaz:08:RoleConjunctions:TR,
  author = {Birte Glimm and Yevgeny Kazakov},
  title = {Role Conjunctions in Expressive Description Logics},
  institution = {The University of Oxford},
  year = {2008},
}
@TECHREPORT{KazSatZol:07:RBox,
  author = {Kazakov, Yevgeny and Sattler, Ulrike and Zolin, Evgeny},
  title = {Is Your RBox Safe?},
  type = {Research Report},
  institution = {The University of Manchester},
  address = {Oxford Road, Manchester M13 9PL, UK},
  month = {July},
  year = {2007},
}
@TECHREPORT{GrauHorrKazSatt:07:Modul:TR,
  author = {Cuenca Grau, Bernardo and Horrocks, Ian and Kazakov, Yevgeny and Sattler, Ulrike},
  title = {Extracting Modules from Ontologies: Theory and Practice},
  type = {Research Report},
  institution = {The University of Manchester},
  address = {Oxford Road, Manchester M13 9PL, UK},
  month = {February},
  year = {2007},
}
@TECHREPORT{KazNiv:04:ResGFTG:TR,
  author = {Kazakov, Yevgeny and de Nivelle, Hans},
  title = {Resolution Decision Procedures for the Guarded Fragment with Transitive Guards},
  type = {Research Report},
  institution = {Max-Planck-Institut f{\"u}r Informatik},
  address = {Stuhlsatzenhausweg 85, 66123 Saarbr{\"u}cken, Germany},
  number = {MPI-I-2004-2-001},
  month = {April},
  year = {2004},
  issn = {0946-011X},
}
@TECHREPORT{KazNiv:03:SubsumptionFLzero:TR,
  author = {Kazakov, Yevgeny and de Nivelle, Hans},
  title = {Subsumption of concepts in $DL$ $\mathcal{FL}_0$ for (cyclic) terminologies
with respect to descriptive semantics is {PSPACE}-complete},
  type = {Research Report},
  institution = {Max-Planck-Institut f{\"u}r Informatik},
  address = {Stuhlsatzenhausweg 85, 66123 Saarbr{\"u}cken, Germany},
  number = {MPI-I-2003-2-003},
  month = {April},
  year = {2003},
  issn = {0946-011X},
}
@TECHREPORT{ArtKazShap:99:Knowledge:TR,
  author = {Artemov, S. and Kazakov, E. and Shapiro, D.},
  title = {On logic of knowledge with justifications},
  institution = {Cornell University},
  year = {1999},
  type = {Technical Report},
  number = {CFIS 99-12},
}

Drafts / To Appear

@UNPUBLISHED{Kazakov:04:CombRes,
  author = {Kazakov, Yevgeny},
  title = {Combining Resolution Decision Procedures},
  year = {2004},
}
@UNPUBLISHED{Kazakov:05:Framework,
  author = {Kazakov, Yevgeny},
  title = {A Framework of Refutational Theorem Proving for Saturation-Based Decision Procedures},
  type = {Research Report},
  institution = {Max-Planck-Institut f{\"u}r Informatik},
  address = {Stuhlsatzenhausweg 85, 66123 Saarbr{\"u}cken, Germany},
  number = {MPI-I-2005-2-004},
  month = {August},
  year = {2005},
  note = {Research Report MPI-I-2005-2-004, Max-Planck-Institut f{\"u}r Informatik, on revison},
}

Theses

@PHDTHESIS{Kazakov:06:Phd,
  author = {Kazakov, Yevgeny},
  title = {Saturation-Based Decision Procedures for Extensions of the Guarded Fragment},
  school = {Universit{\"a}t des Saarlandes},
  year = {2006},
  address = {Saarbr{\"u}cken, Germany},
  month = {March},
}

Name

Yevgeny Kazakov

Posts

Research Assistant

Projects

ConDOR, REOL,

Contact Information

+44 (0)1865 283557

Room 307, Wolfson Building, Parks Road
Oxford OX1 3QD

Links

ELK reasoner

CB reasoner

DB reasoner

News

New Positions!

The KRR group has new postdoctoral positions available! Research topic includes Ontology, Knowledge Graph, Semantic Web, Logics, as well as the interdisciplinary between them and machine learning. Send your CV to Ian or Bernardo. [added on 26/11/2019]

In-Use Track Best Student Paper in ISWC'19>

The paper "Knowledge Graph Embedding for Ecotoxicological Effect Prediction" gets In-Use Track Best Student Paper in ISWC'19. The work was done when the first student author Erik B. Myklebust was visiting the KRR group, with Jiaoyan Chen.

3 Paper accepted in AAAI'18

Three papers co-authored by the KRR group have been accepted in AAAI'18:
- "Stream Reasoning in Temporal Datalog" by A. Ronca, M. Kaminski, B. Cuenca Grau, B. Motik, and I. Horrocks;
- "Optimised Maintenance of Datalog Materialisations" by P. Hu, B. Motik, and I. Horrocks; and
- "Goal-Driven Query Answering for Existential Rules with Equality" by M. Benedikt, B. Motik, and E. Tsamoura.

Professor Ian Horrocks is a new honorary doctorate at University of Oslo, Faculty of Mathematics and Natural Sciences

Professor Ian Horrocks received an honorary doctorate from the University of Oslo.

Best paper award at IJCAI'17

The paper entitled "Foundations of Declarative Data Analysis Using Limit Datalog Programs" and authored by M. Kaminski, B. Cuenca Grau, B. Motik, E. V. Kostylev, and I. Horrocks received the best paper award at the 26th International Joint Conference on Artificial Intelligence (IJCAI'17).

3 papers accepted in IJCAI'17

Three papers co-authored by the KRR group have been accepted in IJCAI'17:
- "Query Reformulation: Theory and Practice" by M. Benedikt, E. V. Kostylev, F. Mogavero, and E. Tsamoura;
- "Foundations of Declarative Data Analysis Using Limit Datalog Programs" by M. Kaminski, B. Cuenca Grau, B. Motik, E. V. Kostylev, and I. Horrocks; and
- "The Bag Semantics of Ontology-Based Data Access" by C. Nikolaou, E. V. Kostylev, G. Konstantinidis, M. Kaminski, B. Cuenca Grau, and I. Horrocks.

Paper accepted in PODS'17

The paper entitled "Benchmarking the chase" authored by Michael Benedikt, George Konstantinidis, Giansalvatore Mecca, Boris Motik, Paolo Papotti, Donatello Santoro, and Efthymia Tsamoura has been accepted in PODS'17.

Andrew Bate defends his PhD Thesis

Andrew Bate has successfully defended his PhD Thesis on Consequence Based Reasoning. Congratulations to Dr. Andrew Bate!

Best applications paper award at ISWC'16

Our paper entitled "Semantic Technologies for Data Analysis in Health Care" received the Best Applications Paper Award at the International Semantic Web Conference (ISWC 2016).

4 papers accepted in ISWC'16

Four papers authored by the KRR group have been accepted in the International Semantic Web Conference (ISWC 2016).

Best paper award at ICDT'16

Mark Kaminski and Egor Kostylev received the best paper award at ICDT 2016 for their paper entitled "Beyond Well-Designed SPARQL".