Information Systems Group

Yevgeny Kazakov: Publications

Journal Articles

Despoina Magka, Yevgeny Kazakov, and Ian Horrocks.
Tractable Extensions of the Description Logic EL with Numerical Datatypes.
JAR, 2011.
To appear.
[ BibTeX-Entry | Pdf (387K) | Abstract ]

Bernardo Cuenca-Grau, Christian Halaschek-Wiener, Yevgeny Kazakov, and Boontawee Suntisrivaraporn.
Incremental Classification of Description Logics Ontologies.
JAR, 44(4):337-369, 2010.
[ BibTeX-Entry | Pdf (454K) | Abstract ]

Yevgeny Kazakov and Boris Motik.
A Resolution-Based Decision Procedure for SHOIQ.
JAR, 40(2-3):89-116, 2008.
[ BibTeX-Entry | Pdf (321K) | Abstract ]

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

Frantisek Simancik, Yevgeny Kazakov, and Ian Horrocks.
Consequence-Based Reasoning beyond Horn Ontologies.
In IJCAI, pages 1093-1099, July 16-22 2011.
[ BibTeX-Entry | Pdf | Pdf (224K) | Abstract ]

Yevgeny Kazakov, Markus Krötzsch, and Frantisek Simancik.
Concurrent Classification of EL Ontologies.
In ISWC, 2011.
To appear.
[ BibTeX-Entry | Pdf (621K) | Abstract ]

Yevgeny Kazakov, Markus Krötzsch, and Frantisek Simancik.
Unchain My EL Reasoner.
In Riccardo Rosati, Sebastian Rudolph, and Michael Zakharyaschev, editors, Description Logics, volume 745 of CEUR Workshop Proceedings. CEUR-WS.org, 2011.
[ BibTeX-Entry | Pdf | Pdf (397K) | Abstract ]

Birte Glimm, Yevgeny Kazakov, and Carsten Lutz.
Status QIO: An Update.
In Riccardo Rosati, Sebastian Rudolph, and Michael Zakharyaschev, editors, Description Logics, volume 745 of CEUR Workshop Proceedings. CEUR-WS.org, 2011.
[ BibTeX-Entry | Pdf | Pdf (300K) | Abstract ]

Yevgeny Kazakov, Markus Krötzsch, and Frantisek Simancik.
Concurrent Classification of EL Ontologies.
2011.
[ BibTeX-Entry | Pdf (646K) | Abstract ]

Despoina Magka, Yevgeny Kazakov, and Ian Horrocks.
Tractable Extensions of the Description Logic EL with Numerical Datatypes.
In IJCAR, volume 6173 of Lecture Notes in Computer Science, pages 61-75. Springer, 2010.
[ BibTeX-Entry | Pdf (231K) | Abstract ]

Yevgeny Kazakov.
An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ.
In IJCAR, volume 6173 of Lecture Notes in Computer Science, pages 472-486. Springer, 2010.
[ BibTeX-Entry | Pdf (353K) | Abstract ]

Despoina Magka, Yevgeny Kazakov, and Ian Horrocks.
Tractable Extensions of the Description Logic EL with Numerical Datatypes.
In Volker Haarslev, David Toman, and Grant Weddell, editors, Description Logics, volume 573 of CEUR Workshop Proceedings. CEUR-WS.org, 2010.
[ BibTeX-Entry | Pdf | Pdf (359K) ]

Vincent Delaitre and Yevgeny Kazakov.
Classifying ELH Ontologies In SQL Databases.
In OWL: Experiences and Directions 2009 (OWLED 2009), Chantilly, VA, United States, October 23-24 2009.
[ BibTeX-Entry | Pdf | Pdf (308K) | Abstract ]

Yevgeny Kazakov and Ian Pratt-Hartmann.
A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics.
In LICS, pages 407-416. IEEE Computer Society, August 11-14 2009.
[ BibTeX-Entry | Pdf (288K) | Abstract ]

Yevgeny Kazakov.
Consequence-Driven Reasoning for Horn SHIQ Ontologies.
In IJCAI, pages 2040-2045, July 11-17 2009.
[ BibTeX-Entry | Pdf (191K) | Abstract ]

Bernardo Cuenca-Grau, Boris Motik, and Yevgeny Kazakov.
Import-by-Query: Ontology Reasoning under Access Limitations.
In IJCAI, pages 727-732, July 11-17 2009.
[ BibTeX-Entry | Pdf | Abstract ]

Yevgeny Kazakov.
An Extension of Regularity Conditions for Complex Role Inclusion Axioms.
In Bernardo Cuenca-Grau, Ian Horrocks, Boris Motik, and Ulrike Sattler, editors, Description Logics, volume 477 of CEUR Workshop Proceedings. CEUR-WS.org, 2009.
[ BibTeX-Entry | Pdf | Pdf (192K) ]

Yevgeny Kazakov.
Consequence-Driven Reasoning for Horn SHIQ Ontologies.
In Bernardo Cuenca-Grau, Ian Horrocks, Boris Motik, and Ulrike Sattler, editors, Description Logics, volume 477 of CEUR Workshop Proceedings. CEUR-WS.org, 2009.
[ BibTeX-Entry | Pdf | Pdf (197K) ]

Birte Glimm and Yevgeny Kazakov.
Role Conjunctions in Expressive Description Logics.
In LPAR, volume 5330 of Lecture Notes in Computer Science, pages 391-405. Springer, 2008.
[ BibTeX-Entry | Pdf (1.9M) | Abstract ]

Yevgeny Kazakov.
RIQ and SROIQ Are Harder than SHOIQ.
In KR, pages 274-284. AAAI Press, 2008.
[ BibTeX-Entry | Pdf (2.6M) | Abstract ]

Yevgeny Kazakov.
SRIQ and SROIQ are Harder than SHOIQ.
In Description Logics, volume 353 of CEUR Workshop Proceedings. CEUR-WS.org, 2008.
[ BibTeX-Entry | Pdf (370K) | Abstract ]

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 (380K) | 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 (266K) | 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 (203K) | 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] (98K) | 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 (154K) | 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

Frantisek Simancik, Yevgeny Kazakov, and Ian Horrocks.
Consequence-Based Reasoning beyond Horn Ontologies.
Technical report, Oxford University, 2011.
[ BibTeX-Entry | Pdf (250K) | Abstract ]

Despoina Magka, Yevgeny Kazakov, and Ian Horrocks.
Tractable Extensions of the Description Logic EL with Numerical Datatypes.
Technical report, Oxford University, 2010.
[ BibTeX-Entry | Pdf (262K) | Abstract ]

Vincent Delaitre and Yevgeny Kazakov.
Classifying ELH Ontologies in SQL Databases.
Technical report, Oxford University, 2009.
[ BibTeX-Entry | Pdf (186K) | Abstract ]

Yevgeny Kazakov and Ian Pratt-Hartmann.
A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics.
Technical report, arxiv.org, 2009.
arXiv:0905.3108v1, posted on http://arxiv.org.
[ BibTeX-Entry | URL | Pdf (319K) | Abstract ]

Birte Glimm and Yevgeny Kazakov.
Role Conjunctions in Expressive Description Logics.
Technical report, The University of Oxford, 2008.
[ BibTeX-Entry | Pdf (2.3M) | Abstract ]

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] (249K) | 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 (134K) | 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] (65K) ]

Drafts / To Appear

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 (1.3M) | 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] (119K) | Pdf (254K) | 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 (3.0M) | Abstract ]