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