Yevgeny Kazakov : Publications
|
[1] |
Concurrent Classification of EL Ontologies Yevgeny Kazakov‚ Markus Krötzsch and František Simančík 2011. To appear |
|
[2] |
Tractable Extensions of the Description Logic EL with Numerical Datatypes. Despoina Magka‚ Yevgeny Kazakov and Ian Horrocks In Journal of Automated Reasoning. 2011. To appear |
|
[3] |
Consequence−Based Reasoning beyond Horn Ontologies Frantisek Simancik‚ Yevgeny Kazakov and Ian Horrocks In IJCAI. Pages 1093−1099. , 2011. |
|
[4] |
Status QIO: An Update Birte Glimm‚ Yevgeny Kazakov and Carsten Lutz In Riccardo Rosati‚ Sebastian Rudolph and Michael Zakharyaschev, editors, Description Logics. Vol. 745 of CEUR Workshop Proceedings. CEUR−WS.org. 2011. Details | BibTeX | DOI (http://ceur-ws.org/Vol-745/paper_44.pdf) |
|
[5] |
Unchain My EL Reasoner Yevgeny Kazakov‚ Markus Krötzsch and Frantisek Simancik In Riccardo Rosati‚ Sebastian Rudolph and Michael Zakharyaschev, editors, Description Logics. Vol. 745 of CEUR Workshop Proceedings. CEUR−WS.org. 2011. Details | BibTeX | Download | DOI (http://ceur-ws.org/Vol-745/paper_54.pdf) |
|
[6] |
Concurrent Classification of EL Ontologies Yevgeny Kazakov‚ Markus Krötzsch and František Simančík 2011. |
|
[7] |
Incremental Classification of Description Logics Ontologies Cuenca Grau‚ Bernardo‚ Christian Halaschek−Wiener‚ Yevgeny Kazakov and Boontawee Suntisrivaraporn In Journal of Automated Reasoning. Vol. 44. No. 4. Pages 337−369. 2010. |
|
[8] |
Tractable Extensions of the Description Logic EL with Numerical Datatypes Despoina Magka‚ Yevgeny Kazakov and Ian Horrocks In Description Logics. Vol. 573 of CEUR Workshop Proceedings. CEUR−WS.org. 2010. |
|
[9] |
Tractable Extensions of the Description Logic EL with Numerical Datatypes Despoina Magka‚ Yevgeny Kazakov and Ian Horrocks In In Proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010). Springer. 2010. |
|
[10] |
An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ Yevgeny Kazakov In Proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010). Springer. 2010. |
|
[11] |
An Extension of Regularity Conditions for Complex Role Inclusion Axioms Yevgeny Kazakov In Bernardo Cuenca Grau‚ Ian Horrocks‚ Boris Motik and Ulrike Sattler, editors, Proceedings of the 22nd International Workshop on Description Logics (DL 2009). Vol. 477. Oxford. July, 2009. CEUR Workshop Proceedings. |
|
[12] |
Consequence−Driven Reasoning for Horn SHIQ Ontologies Yevgeny Kazakov In Bernardo Cuenca Grau‚ Ian Horrocks‚ Boris Motik and Ulrike Sattler, editors, Proceedings of the 22nd International Workshop on Description Logics (DL 2009). Vol. 477. Oxford‚ United Kindgom. July, 2009. CEUR Workshop Proceedings. |
|
[13] |
Classifying ELH Ontologies In SQL Databases Vincent Delaitre and Yevgeny Kazakov In OWL: Experiences and Directions 2009 (OWLED 2009). Chantilly‚ VA‚ United States. , 2009. |
|
[14] |
Import−by−Query: Ontology Reasoning under Access Limitations Bernardo Cuenca Grau‚ Boris Motik and Yevgeny Kazakov In Proceedings of the 21st International Conference on Artificial Intelligence (IJCAI 2009). Pages 727−732. , 2009. |
|
[15] |
Consequence−Driven Reasoning for Horn SHIQ Ontologies Yevgeny Kazakov In Proceedings of the 21st International Conference on Artificial Intelligence (IJCAI 2009). Pages 2040−2045. , 2009. |
|
[16] |
A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics Yevgeny Kazakov and Ian Pratt−Hartmann In Proc. of LICS 2009. Pages 407−416. IEEE Computer Society. , 2009. |
|
[17] |
Classifying ELH Ontologies in SQL Databases Vincent Delaitre and Yevgeny Kazakov The University of Oxford. 2009. |
|
[18] |
A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics Yevgeny Kazakov and Ian Pratt−Hartmann arxiv.org. 2009. arXiv:0905.3108v1‚ posted on http://arxiv.org |
|
[19] |
Extracting Modules from Ontologies: A Logic−Based Approach Bernardo Cuenca Grau‚ Ian Horrocks‚ Yevgeny Kazakov and Ulrike Sattler In Heiner Stuckenschmidt‚ Christine Parent and Stefano Spaccapietra, editors, Modular Ontologies. Vol. 5445 of Lecture Notes in Computer Science. Pages 159−186. Springer. 2009. |
|
[20] |
A Resolution−Based Decision Procedure for SHOIQ Yevgeny Kazakov and Boris Motik In Journal of Automated Reasoning. Vol. 40. No. 2−3. Pages 89−116. 2008. |
|
[21] |
Modular Reuse of Ontologies: Theory and Practice Bernardo Cuenca Grau‚ Ian Horrocks‚ Yevgeny Kazakov and Ulrike Sattler In JAIR. Vol. 31. Pages 273−318. 2008. |
|
[22] |
Role Conjunctions in Expressive Description Logics Birte Glimm and Yevgeny Kazakov In LPAR. Vol. 5330 of Lecture Notes in Computer Science. Pages 391−405. Springer. 2008. |
|
[23] |
RIQ and SROIQ are Harder than SHOIQ Yevgeny Kazakov In Gerhard Brewka and Jérôme Lang, editors, KR 2008. Pages 274−284. AAAI Press. 2008. |
|
[24] |
SRIQ and SROIQ are Harder than SHOIQ Yevgeny Kazakov In Franz Baader‚ Carsten Lutz and Boris Motik, editors, DL 2008. Vol. 353 of CEUR Workshop Proceedings. CEUR−WS.org. 2008. to |
|
[25] |
Role Conjunctions in Expressive Description Logics Birte Glimm and Yevgeny Kazakov The University of Oxford. 2008. |
|
[26] |
Is Your RBox Safe? Yevgeny Kazakov‚ Ulrike Sattler and Evgeny Zolin The University of Manchester. Oxford Road‚ Manchester M13 9PL‚ UK. July, 2007. |
|
[27] |
Just the Right Amount: Extracting Modules from Ontologies. Bernardo Cuenca Grau‚ Ian Horrocks‚ Yevgeny Kazakov and Ulrike Sattler In WWW. Pages 717–726. Banff‚ Canada. May, 2007. ACM. |
|
[28] |
Extracting Modules from Ontologies: Theory and Practice Cuenca Grau‚ Bernardo‚ Ian Horrocks‚ Yevgeny Kazakov and Ulrike Sattler The University of Manchester. Oxford Road‚ Manchester M13 9PL‚ UK. February, 2007. |
|
[29] |
A Logical Framework for Modularity of Ontologies. Bernardo Cuenca Grau‚ Ian Horrocks‚ Yevgeny Kazakov and Ulrike Sattler In IJCAI. Pages 298−303. 2007. |
|
[30] |
Extracting Modules From Ontologies: A Logic−based Approach Bernardo Cuenca Grau‚ Ian Horrocks‚ Yevgeny Kazakov and Ulrike Sattler In OWL: Experiences and Directions 2007 (OWLED 2007). Innsbruck‚ Austria. , 2007. |
|
[31] |
Ontology Reuse: Better Safe than Sorry. Bernardo Cuenca Grau‚ Ian Horrocks‚ Yevgeny Kazakov and Ulrike Sattler In Description Logics. Pages 41–52. Brixen/Bressanone‚ Italy. , 2007. Bozen/Bolzano University Press. |
|
[32] |
History Matters: Incremental Ontology Reasoning Using Modules Bernardo Cuenca Grau‚ Christian Halaschek−Wiener and Yevgeny Kazakov In ISWC/ASWC. Vol. 4825 of Lecture Notes in Computer Science. Pages 183−196. Springer. 2007. |
|
[33] |
How Many Legs Do I Have? Non−Simple Roles in Number Restrictions Revisited Yevgeny Kazakov‚ Ulrike Sattler and Evgeny Zolin In LPAR. Vol. 4790 of Lecture Notes in Computer Science. Pages 303−317. Springer. 2007. |
|
[34] |
Saturation−Based Decision Procedures for Extensions of the Guarded Fragment Yevgeny Kazakov PhD Thesis Universität des Saarlandes. Saarbrücken‚ Germany. March, 2006. |
|
[35] |
A Resolution−Based Decision Procedure for SHOIQ. Yevgeny Kazakov and Boris Motik In IJCAR. Vol. 4130 of Lecture Notes in Computer Science. Pages 662−677. Springer. 2006. |
|
[36] |
A Framework of Refutational Theorem Proving for Saturation−Based Decision Procedures Yevgeny Kazakov August, 2005. Research Report MPI−I−2005−2−004‚ Max−Planck−Institut für Informatik‚ on revison |
|
[37] |
Resolution Decision Procedures for the Guarded Fragment with Transitive Guards Yevgeny Kazakov and Hans de Nivelle No. MPI−I−2004−2−001. Max−Planck−Institut für Informatik. Stuhlsatzenhausweg 85‚ 66123 Saarbrücken‚ Germany. April, 2004. |
|
[38] |
A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. Yevgeny Kazakov In IJCAR Doctoral Programme. Vol. 106 of CEUR Workshop Proceedings. 2004. |
|
[39] |
A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. Yevgeny Kazakov and Hans de Nivelle In IJCAR. Vol. 3097 of Lecture Notes in Computer Science. Pages 122−136. Springer. 2004. |
|
[40] |
A Polynomial Translation from the Two−Variable Guarded Fragment with Number Restrictions to the Guarded Fragment. Yevgeny Kazakov In JELIA. Vol. 3229 of Lecture Notes in Computer Science. Pages 372−384. Springer. 2004. |
|
[41] |
Combining Resolution Decision Procedures Yevgeny Kazakov 2004. unpublished manuscript‚ available from http://web.comlab.ox.ac.uk/oucl/work/yevgeny.kazakov/publications/ |
|
[42] |
Subsumption of concepts in DL FL0 for (cyclic) terminologies with respect to descriptive semantics is PSPACE−complete Yevgeny Kazakov and Hans de Nivelle No. MPI−I−2003−2−003. Max−Planck−Institut für Informatik. Stuhlsatzenhausweg 85‚ 66123 Saarbrücken‚ Germany. April, 2003. |
|
[43] |
Subsumption of Concepts in FL0 for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE−complete. Yevgeny Kazakov and Hans de Nivelle In Description Logics. Vol. 81 of CEUR Workshop Proceedings. 2003. |
|
[44] |
Recursive resolution for modal logic Yevgeny Kazakov In Proceedings of the Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi. Vol. MPI−I−2002−2−007 of Max−Planck−Institut für Informatik 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. |
|
[45] |
On logic of knowledge with justifications S. Artemov‚ E. Kazakov and D. Shapiro No. CFIS 99−12. Cornell University. 1999. |