Data and Knowledge Group

― Knowledge Representation and Reasoning

KRR People

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

ConDOR, REOL,

Contact Information

+44 (0)1865 283557

Room 307, Wolfson Building, Parks Road
Oxford OX1 3QD

Links

ELK reasoner

CB reasoner

DB reasoner

News

New Positions!

The KRR group has new postdoctoral positions available! Research topic includes Ontology, Knowledge Graph, Semantic Web, Logics, as well as the interdisciplinary between them and machine learning. Send your CV to Ian or Bernardo. [added on 26/11/2019]

In-Use Track Best Student Paper in ISWC'19>

The paper "Knowledge Graph Embedding for Ecotoxicological Effect Prediction" gets In-Use Track Best Student Paper in ISWC'19. The work was done when the first student author Erik B. Myklebust was visiting the KRR group, with Jiaoyan Chen.

3 Paper accepted in AAAI'18

Three papers co-authored by the KRR group have been accepted in AAAI'18:
- "Stream Reasoning in Temporal Datalog" by A. Ronca, M. Kaminski, B. Cuenca Grau, B. Motik, and I. Horrocks;
- "Optimised Maintenance of Datalog Materialisations" by P. Hu, B. Motik, and I. Horrocks; and
- "Goal-Driven Query Answering for Existential Rules with Equality" by M. Benedikt, B. Motik, and E. Tsamoura.

Professor Ian Horrocks is a new honorary doctorate at University of Oslo, Faculty of Mathematics and Natural Sciences

Professor Ian Horrocks received an honorary doctorate from the University of Oslo.

Best paper award at IJCAI'17

The paper entitled "Foundations of Declarative Data Analysis Using Limit Datalog Programs" and authored by M. Kaminski, B. Cuenca Grau, B. Motik, E. V. Kostylev, and I. Horrocks received the best paper award at the 26th International Joint Conference on Artificial Intelligence (IJCAI'17).

3 papers accepted in IJCAI'17

Three papers co-authored by the KRR group have been accepted in IJCAI'17:
- "Query Reformulation: Theory and Practice" by M. Benedikt, E. V. Kostylev, F. Mogavero, and E. Tsamoura;
- "Foundations of Declarative Data Analysis Using Limit Datalog Programs" by M. Kaminski, B. Cuenca Grau, B. Motik, E. V. Kostylev, and I. Horrocks; and
- "The Bag Semantics of Ontology-Based Data Access" by C. Nikolaou, E. V. Kostylev, G. Konstantinidis, M. Kaminski, B. Cuenca Grau, and I. Horrocks.

Paper accepted in PODS'17

The paper entitled "Benchmarking the chase" authored by Michael Benedikt, George Konstantinidis, Giansalvatore Mecca, Boris Motik, Paolo Papotti, Donatello Santoro, and Efthymia Tsamoura has been accepted in PODS'17.

Andrew Bate defends his PhD Thesis

Andrew Bate has successfully defended his PhD Thesis on Consequence Based Reasoning. Congratulations to Dr. Andrew Bate!

Best applications paper award at ISWC'16

Our paper entitled "Semantic Technologies for Data Analysis in Health Care" received the Best Applications Paper Award at the International Semantic Web Conference (ISWC 2016).

4 papers accepted in ISWC'16

Four papers authored by the KRR group have been accepted in the International Semantic Web Conference (ISWC 2016).

Best paper award at ICDT'16

Mark Kaminski and Egor Kostylev received the best paper award at ICDT 2016 for their paper entitled "Beyond Well-Designed SPARQL".