OXFORD UNIVERSITY  COMPUTING LABORATORY

Journal Articles

@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{KazSatZol:07:NonSimple,
  author = {Yevgeny Kazakov and Ulrike Sattler and Evgeny Zolin},
  title = {How Many Legs Do {I} Have? Non-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:Modularity,
  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 {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},
}

Selected Technical Reports

@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:08:SROIQ,
  author = {Yevgeny Kazakov},
  title = {{SRIQ} and {SROIQ} are Harder than {SHOIQ}},
  xbooktitle = {},
  year = {2008},
  xaddress = {},
  xmonth = {},
  xpublisher = {},
  xpages = {},
  note = {submitted}
}
@UNPUBLISHED{KazMot:07:SHOIQ_JAR,
  author = {Yevgeny Kazakov and Boris Motik},
  title = {A Resolution-Based Decision Procedure for {SHOIQ}},
  journal = {Journal of Automated Reasoning},
  year = {2008},
  xvolume = {},
  xnumber = {},
  xpages = {},
  note = {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},
}
Random Image
Random Image
Random Image