Journal Articles

Bernardo Cuenca-Grau, Ian Horrocks, Yevgeny Kazakov, and Ulrike Sattler.
Modular Reuse of Ontologies: Theory and Practice.
JAIR, 31:273-318, 2008.
[ BibTeX-Entry | URL | Pdf (605K) | Abstract ]

Selected Conference and Workshop Publications

Bernardo Cuenca-Grau, Ian Horrocks, Yevgeny Kazakov, and Ulrike Sattler.
Ontology Reuse: Better Safe than Sorry.
In Description Logics, pages 41-52, Brixen/Bressanone, Italy, June 8-10 2007. Bozen/Bolzano University Press.
[ BibTeX-Entry | URL | Pdf (181K) ]

Bernardo Cuenca-Grau, Ian Horrocks, Yevgeny Kazakov, and Ulrike Sattler.
Extracting Modules From Ontologies: A Logic-based Approach.
In OWL: Experiences and Directions 2007 (OWLED 2007), Innsbruck, Austria, June 6-7 2007.
[ BibTeX-Entry | URL | Pdf (168K) ]

Bernardo Cuenca-Grau, Ian Horrocks, Yevgeny Kazakov, and Ulrike Sattler.
Just the Right Amount: Extracting Modules from Ontologies.
In WWW, pages 717-726, Banff, Canada, May 2007. ACM.
[ BibTeX-Entry | URL | Pdf (379K) | Abstract ]

Yevgeny Kazakov, Ulrike Sattler, and Evgeny Zolin.
How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited.
In LPAR, volume 4790 of Lecture Notes in Computer Science, pages 303-317. Springer, 2007.
[ BibTeX-Entry | Pdf (265K) | Abstract ]

Bernardo Cuenca-Grau, Christian Halaschek-Wiener, and Yevgeny Kazakov.
History Matters: Incremental Ontology Reasoning Using Modules.
In ISWC/ASWC, volume 4825 of Lecture Notes in Computer Science, pages 183-196. Springer, 2007.
[ BibTeX-Entry | Pdf (207K) | Abstract ]

Bernardo Cuenca-Grau, Ian Horrocks, Yevgeny Kazakov, and Ulrike Sattler.
A Logical Framework for Modularity of Ontologies.
In IJCAI, pages 298-303, 2007.
[ BibTeX-Entry | Pdf | Pdf (131K) | Abstract ]

Yevgeny Kazakov and Boris Motik.
A Resolution-Based Decision Procedure for SHOIQ.
In IJCAR, volume 4130 of Lecture Notes in Computer Science, pages 662-677. Springer, 2006.
[ BibTeX-Entry | URL | Pdf (230K) | Abstract ]

Yevgeny Kazakov.
A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment.
In JELIA, volume 3229 of Lecture Notes in Computer Science, pages 372-384. Springer, 2004.
[ BibTeX-Entry | URL | PostScript [g-zip'd] (108K) | Pdf (202K) | Abstract ]

Yevgeny Kazakov and Hans de Nivelle.
A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.
In IJCAR, volume 3097 of Lecture Notes in Computer Science, pages 122-136. Springer, 2004.
[ BibTeX-Entry | URL | PostScript [g-zip'd] (97K) | Pdf (224K) | Abstract ]

Yevgeny Kazakov.
A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.
In IJCAR Doctoral Programme, volume 106 of CEUR Workshop Proceedings, 2004.
[ BibTeX-Entry | Abstract ]

Yevgeny Kazakov and Hans de Nivelle.
Subsumption of Concepts in FL₀ for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete.
In Description Logics, volume 81 of CEUR Workshop Proceedings, 2003.
[ BibTeX-Entry | PostScript [g-zip'd] (83K) | Pdf (153K) | Abstract ]

Yevgeny Kazakov.
Recursive resolution for modal logic.
In Proceedings of the Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, volume MPI-I-2002-2-007 of MPI Research Report, pages 11-15, Saarbrücken, Germany, March 2002. International Max Planck Research School for Computer Science (IMPRS), Max-Planck-Institut für Informatik.
[ BibTeX-Entry | PostScript [g-zip'd] (47K) | Abstract ]

Selected Technical Reports

Yevgeny Kazakov, Ulrike Sattler, and Evgeny Zolin.
Is Your RBox Safe?
Research report, The University of Manchester, Oxford Road, Manchester M13 9PL, UK, July 2007.
[ BibTeX-Entry | Pdf (361K) | Abstract ]

Bernardo Cuenca-Grau, Ian Horrocks, Yevgeny Kazakov, and Ulrike Sattler.
Extracting Modules from Ontologies: Theory and Practice.
Research report, The University of Manchester, Oxford Road, Manchester M13 9PL, UK, February 2007.
[ BibTeX-Entry | Pdf (329K) | Abstract ]

Yevgeny Kazakov and Hans de Nivelle.
Resolution Decision Procedures for the Guarded Fragment with Transitive Guards.
Research Report MPI-I-2004-2-001, Max-Planck-Institut für Informatik, Stuhlsatzenhausweg 85, 66123 Saarbrücken, Germany, April 2004.
[ BibTeX-Entry | PostScript [g-zip'd] (248K) | Pdf (269K) | Abstract ]

Yevgeny Kazakov and Hans de Nivelle.
Subsumption of concepts in DL FL₀ for (cyclic) terminologies with respect to descriptive semantics is PSPACE-complete.
Research Report MPI-I-2003-2-003, Max-Planck-Institut für Informatik, Stuhlsatzenhausweg 85, 66123 Saarbrücken, Germany, April 2003.
[ BibTeX-Entry | PostScript [g-zip'd] (137K) | Pdf (133K) | Abstract ]

S. Artemov, E. Kazakov, and D. Shapiro.
On logic of knowledge with justifications.
Technical Report CFIS 99-12, Cornell University, 1999.
[ BibTeX-Entry | PostScript [g-zip'd] (64K) ]

Drafts / To Appear

Yevgeny Kazakov.
SRIQ and SROIQ are Harder than SHOIQ.
submitted, 2008.
[ BibTeX-Entry | Pdf (365K) ]

Yevgeny Kazakov and Boris Motik.
A Resolution-Based Decision Procedure for SHOIQ.
To appear, 2008.
[ BibTeX-Entry | Pdf (321K) | Abstract ]

Yevgeny Kazakov.
A Framework of Refutational Theorem Proving for Saturation-Based Decision Procedures.
Research Report MPI-I-2005-2-004, Max-Planck-Institut für Informatik, on revison, August 2005.
[ BibTeX-Entry | Pdf (1M) | Abstract ]

Yevgeny Kazakov.
Combining Resolution Decision Procedures.
unpublished manuscript, available from http://web.comlab.ox.ac.uk/oucl/work/yevgeny.kazakov/publications/, 2004.
[ BibTeX-Entry | PostScript [g-zip'd] (118K) | Pdf (253K) | Abstract ]

Theses

Yevgeny Kazakov.
Saturation-Based Decision Procedures for Extensions of the Guarded Fragment.
PhD thesis, Universität des Saarlandes, Saarbrücken, Germany, March 2006.
[ BibTeX-Entry | Pdf (2M) | Abstract ]