Information Systems Group
― Knowledge Representation and Reasoning
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 FL0 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 FL0 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 ]
Name
Yevgeny Kazakov
Posts
Research Assistant
Projects
Contact Information
Room 307, Wolfson Building,
Parks Road
Oxford OX1
3QD
Links
News
OWL Reasoner Evaluation Workshop (ORE 2013)
The KRR group co-organises the 2nd edition of the OWL Reasoner Evaluation Workshop (ORE), collocated with DL 2013 workshop.
Best paper prize at SWAT4LS'12
Doctoral Student Despoina Magka's paper entitled 'Ontology-Based Classification of Molecules: a Logic Programming Approach' has received the best paper prize at the 2012 Semantic Web Applications and Tools for Life Sciences workshop [more information].
Boris Motik awarded EPSRC Early Career Fellowship
Boris Motik was recently successful in gaining an EPSRC Early Career Fellowship. The 5 year project, MaSI3: A Massively Scalable Intelligent Information Infrastructure, focuses on Ontology-based Data Management Systems (ODMSs). These are a new kind of data management system specifically designed to deal with complex data, by using natural language queries often across multiple relevant sources [more information].
KRR member wins 'doctoral award' from University of Manchester
Yavor Nenov's PhD thesis "Computability of Euclidean Spatial Logics" has been awarded the Best Thesis Prize of the School of Computer Science at the University of Manchester [more information].
Ian Horrocks (KRR group leader) elected to Academia Europaea
Ian Horrocks has been elected to join Academia Europæa, an eminent organization for European scholars. Academia Europæa was founded in 1988 and has over 2000 members, including around 40 Nobel Laureates [more information].
KRR member wins 'doctoral award' from Spanish university
The Jaume I University of Castellon (Spain) has awarded a "Premio extraordinario de doctorado" (roughly translated as a Extraordinary Doctoral Award) to Ernesto Jimenez-Ruiz who is now a postdoctoral researcher at Oxford's Department of Computer Science [more information].
OAEI 2012: Matching Large Biomedical Ontologies
The KRR group organises the Large Biomedical Ontologies track within the Ontology Alignment Evaluation Initiative.