Information Systems Group

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},
}