Yevgeny Kazakov : Publications
Click here to download all publications in a single bibtex file
@article{KazKroSim:11:Concurrent:ISWC, title = "Concurrent Classification of EL Ontologies", author = "Yevgeny Kazakov and Markus Krötzsch and František Simančík", year = "2011", booktitle = "ISWC", note = "To appear", }
@article{MagKazHor:11:Incremental:JAR, title = "Tractable Extensions of the Description Logic {EL} with Numerical Datatypes.", author = "Despoina Magka and Yevgeny Kazakov and Ian Horrocks", year = "2011", journal = "Journal of Automated Reasoning", note = "To appear", }
@inproceedings{SimKazHor:11:BeyondHorn:IJCAI, title = "Consequence-Based Reasoning beyond {H}orn Ontologies", author = "Frantisek Simancik and Yevgeny Kazakov and Ian Horrocks", year = "2011", booktitle = "IJCAI", month = "July 16-22", pages = "1093-1099", url = "http://ijcai.org/papers11/Papers/IJCAI11-187.pdf", }
@inproceedings{GliKazLut:11:QIO:DL, title = "Status QIO: An Update", author = "Birte Glimm and Yevgeny Kazakov and Carsten Lutz", year = "2011", booktitle = "Description Logics", editor = "Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev", publisher = "CEUR-WS.org", series = "CEUR Workshop Proceedings", url = "http://ceur-ws.org/Vol-745/paper_44.pdf", volume = "745", doi = "http://ceur-ws.org/Vol-745/paper_44.pdf", }
@inproceedings{KazKroSim:11:Unchain:DL, title = "Unchain My {EL} Reasoner", author = "Yevgeny Kazakov and Markus Krötzsch and Frantisek Simancik", year = "2011", booktitle = "Description Logics", editor = "Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev", publisher = "CEUR-WS.org", series = "CEUR Workshop Proceedings", url = "http://ceur-ws.org/Vol-745/paper_54.pdf", volume = "745", doi = "http://ceur-ws.org/Vol-745/paper_54.pdf", }
@techreport{KazKroSim:11:Concurrent:TR, title = "Concurrent Classification of EL Ontologies", author = "Yevgeny Kazakov and Markus Krötzsch and František Simančík", year = "2011", }
@article{CueHalKazSun:10:Incremental:JAR, title = "Incremental Classification of Description Logics Ontologies", author = "Cuenca Grau and Bernardo and Halaschek-Wiener, Christian and Kazakov, Yevgeny and Suntisrivaraporn, Boontawee", year = "2010", journal = "Journal of Automated Reasoning", number = "4", pages = "337-369", volume = "44", }
@inproceedings{MagKazHor:10:NDR:DL, title = "Tractable Extensions of the Description Logic {EL} with Numerical Datatypes", author = "Despoina Magka and Yevgeny Kazakov and Ian Horrocks", year = "2010", booktitle = "Description Logics", edition = "Volker Haarslev, David Toman, and Grant Weddell", publisher = "CEUR-WS.org", series = "CEUR Workshop Proceedings", url = "http://CEUR-WS.org/Vol-573/paper_29.pdf", volume = "573", }
@inproceedings{NDR-IJCAR, title = "Tractable Extensions of the Description Logic {EL} with Numerical Datatypes", author = "Despoina Magka and Yevgeny Kazakov and Ian Horrocks", year = "2010", booktitle = "In Proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010)", publisher = "Springer", series = "LNCS", }
@inproceedings{Regularity-IJCAR, title = "An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ", author = "Yevgeny Kazakov", year = "2010", annote = "To appear", booktitle = "Proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010)", publisher = "Springer", series = "LNCS", }
@inproceedings{Kazakov:09:Regular:DL, title = "An Extension of Regularity Conditions for Complex Role Inclusion Axioms", author = "Yevgeny Kazakov", year = "2009", address = "Oxford", booktitle = "Proceedings of the 22nd International Workshop on Description Logics (DL 2009)", editor = "Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler", month = "July", publisher = "CEUR Workshop Proceedings", url = "http://ceur-ws.org/Vol-477/paper_68.pdf", volume = "477", }
@inproceedings{Kazakov:09:CB:DL, title = "Consequence-Driven Reasoning for Horn {SHIQ} Ontologies", author = "Yevgeny Kazakov", year = "2009", address = "Oxford, United Kindgom", booktitle = "Proceedings of the 22nd International Workshop on Description Logics (DL 2009)", editor = "Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler", month = "July", publisher = "CEUR Workshop Proceedings", url = "http://ceur-ws.org/Vol-477/paper_69.pdf", volume = "477", }
@inproceedings{DelKaz:09:SQL:OWLED, title = "Classifying {ELH} Ontologies In {SQL} Databases", author = "Vincent Delaitre and Yevgeny Kazakov", year = "2009", address = "Chantilly, VA, United States", booktitle = "OWL: Experiences and Directions 2009 (OWLED 2009)", month = "October 23--24", }
@inproceedings{GrauMotKaz:09:ImportByQuiery, title = "Import-by-Query: Ontology Reasoning under Access Limitations", author = "Bernardo Cuenca Grau and Boris Motik and Yevgeny Kazakov", year = "2009", booktitle = "Proceedings of the 21st International Conference on Artificial Intelligence (IJCAI 2009)", month = "July 11-17", pages = "727-732", url = "http://ijcai.org/papers09/Papers/IJCAI09-126.pdf", }
@inproceedings{3140, title = "Consequence-Driven Reasoning for Horn {SHIQ} Ontologies", author = "Yevgeny Kazakov", year = "2009", booktitle = "Proceedings of the 21st International Conference on Artificial Intelligence (IJCAI 2009)", month = "July 11-17", pages = "2040-2045", url = "http://ijcai.org/papers09/Papers/IJCAI09-336.pdf", }
@inproceedings{KazPH:09:GML:LICS, title = "A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics", author = "Yevgeny Kazakov and Ian Pratt-Hartmann", year = "2009", booktitle = "Proc. of LICS 2009", isbn = "978-0-7695-3746-7", issn = "1043-6871", month = "August 11-14", pages = "407-416", publisher = "IEEE Computer Society", }
@techreport{DelaitreKazakov_DB_TR, title = "Classifying {ELH} Ontologies in {SQL} Databases", author = "Vincent Delaitre and Yevgeny Kazakov", year = "2009", institution = "The University of Oxford", }
@techreport{3139, title = "A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics", author = "Yevgeny Kazakov and Ian Pratt-Hartmann", year = "2009", institution = "arxiv.org", note = "{\tt arXiv:0905.3108v1}, posted on {\tt http://arxiv.org}", url = "http://arxiv.org/abs/0905.3108", }
@incollection{GraHorKazSat:09:Extracting, title = "Extracting Modules from Ontologies: A Logic-Based Approach", author = "Bernardo Cuenca Grau and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler", year = "2009", booktitle = "Modular Ontologies", editor = "Heiner Stuckenschmidt and Christine Parent and Stefano Spaccapietra", isbn = "978-3-642-01906-7", pages = "159-186", publisher = "Springer", series = "Lecture Notes in Computer Science", url = "http://dx.doi.org/10.1007/978-3-642-01907-4", volume = "5445", }
@article{KazMot:07:SHOIQ_JAR, title = "A Resolution-Based Decision Procedure for {SHOIQ}", author = "Yevgeny Kazakov and Boris Motik", year = "2008", journal = "Journal of Automated Reasoning", number = "2-3", pages = "89-116", url = "http://www.springerlink.com/content/arh7q565w015464p/?p=9bcbcb9db580413e993d40de33e31385&pi=1", volume = "40", }
@article{CueHorKazSat:08:Modularity, title = "Modular Reuse of Ontologies: Theory and Practice", author = "Bernardo Cuenca Grau and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler", year = "2008", journal = "JAIR", pages = "273-318", url = "http://www.jair.org/papers/paper2375.html", volume = "31", }
@inproceedings{GlimmKazakov:08:RoleConjunctions, title = "Role Conjunctions in Expressive Description Logics", author = "Birte Glimm and Yevgeny Kazakov", year = "2008", booktitle = "LPAR", isbn = "978-3-540-89438-4", pages = "391-405", publisher = "Springer", series = "Lecture Notes in Computer Science", url = "http://dx.doi.org/10.1007/978-3-540-89439-1_28", volume = "5330", }
@inproceedings{Kazakov:08:SROIQ:KR, title = "RIQ and SROIQ are Harder than SHOIQ", author = "Yevgeny Kazakov", year = "2008", booktitle = "KR 2008", editor = "Gerhard Brewka and J{\'e}r{\^o}me Lang", isbn = "978-1-57735-384-3", pages = "274-284", publisher = "AAAI Press", }
@inproceedings{Kazakov:08:SROIQ, title = "{SRIQ} and {SROIQ} are Harder than {SHOIQ}", author = "Yevgeny Kazakov", year = "2008", booktitle = "DL 2008", editor = "Franz Baader and Carsten Lutz and Boris Motik", note = "to", publisher = "CEUR-WS.org", series = "CEUR Workshop Proceedings", url = "http://ceur-ws.org/Vol-353/Kazakov.pdf", volume = "353", }
@techreport{TR080616, title = "Role Conjunctions in Expressive Description Logics", author = "Birte Glimm and Yevgeny Kazakov", year = "2008", institution = "The University of Oxford", }
@techreport{KazSatZol:07:RBox, title = "Is Your RBox Safe?", author = "Yevgeny Kazakov and Ulrike Sattler and Evgeny Zolin", year = "2007", address = "Oxford Road, Manchester M13 9PL, UK", institution = "The University of Manchester", month = "July", }
@inproceedings{CueHorKazSat:07:Modularity, title = "Just the Right Amount: Extracting Modules from Ontologies.", author = "Bernardo Cuenca Grau and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler", year = "2007", address = "Banff, Canada", booktitle = "WWW", month = "May", pages = "717--726", publisher = "ACM", url = "http://www2007.org/proceedings.html", }
@techreport{GrauHorrKazSatt:07:Modul:TR, title = "Extracting Modules from Ontologies: Theory and Practice", author = "Cuenca Grau and Bernardo and Horrocks, Ian and Kazakov, Yevgeny and Sattler, Ulrike", year = "2007", address = "Oxford Road, Manchester M13 9PL, UK", institution = "The University of Manchester", month = "February", }
@inproceedings{CueHorKazSat:07:Framework, title = "A Logical Framework for Modularity of Ontologies.", author = "Bernardo Cuenca Grau and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler", year = "2007", booktitle = "IJCAI", pages = "298-303", url = "http://www.ijcai.org/papers07/Papers/IJCAI07-046.pdf", }
@inproceedings{CueHorKazSat:07:Extracting, title = "Extracting Modules From Ontologies: A Logic-based Approach", author = "Bernardo Cuenca Grau and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler", year = "2007", address = "Innsbruck, Austria", booktitle = "OWL: Experiences and Directions 2007 (OWLED 2007)", month = "June 6--7", url = "http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-258/", }
@inproceedings{CueHorKazSat:07:Safe, title = "Ontology Reuse: Better Safe than Sorry.", author = "Bernardo Cuenca Grau and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler", year = "2007", address = "Brixen/Bressanone, Italy", booktitle = "Description Logics", month = "June 8--10", pages = "41--52", publisher = "Bozen/Bolzano University Press", url = "http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-250/", }
@inproceedings{CueHalKaz:07:Incremental, title = "History Matters: Incremental Ontology Reasoning Using Modules", author = "Bernardo Cuenca Grau and Christian Halaschek-Wiener and Yevgeny Kazakov", year = "2007", booktitle = "ISWC/ASWC", pages = "183-196", publisher = "Springer", series = "Lecture Notes in Computer Science", volume = "4825", doi = "10.1007/978-3-540-76298-0_14", }
@inproceedings{KazSatZol:07:NonSimple, title = "How Many Legs Do {I} Have? Non-Simple Roles in Number Restrictions Revisited", author = "Yevgeny Kazakov and Ulrike Sattler and Evgeny Zolin", year = "2007", booktitle = "LPAR", pages = "303-317", publisher = "Springer", series = "Lecture Notes in Computer Science", volume = "4790", doi = "10.1007/978-3-540-75560-9_23", }
@phdthesis{Kazakov:06:Phd, title = "Saturation-Based Decision Procedures for Extensions of the Guarded Fragment", author = "Yevgeny Kazakov", year = "2006", address = "Saarbr{\"u}cken, Germany", month = "March", school = "Universit{\"a}t des Saarlandes", }
@inproceedings{KazakovMotik:06:SHOIQ, title = "A Resolution-Based Decision Procedure for {SHOIQ}.", author = "Yevgeny Kazakov and Boris Motik", year = "2006", booktitle = "IJCAR", pages = "662-677", publisher = "Springer", series = "Lecture Notes in Computer Science", url = "http://www.springerlink.com/content/v83lg14337264048/", volume = "4130", doi = "10.1007/11814771_53", }
@unpublished{Kazakov:05:Framework, title = "A Framework of Refutational Theorem Proving for Saturation-Based Decision Procedures", author = "Yevgeny Kazakov", year = "2005", address = "Stuhlsatzenhausweg 85, 66123 Saarbr{\"u}cken, Germany", institution = "Max-Planck-Institut f{\"u}r Informatik", month = "August", note = "Research Report MPI-I-2005-2-004, Max-Planck-Institut f{\"u}r Informatik, on revison", number = "MPI-I-2005-2-004", }
@techreport{KazNiv:04:ResGFTG:TR, title = "Resolution Decision Procedures for the Guarded Fragment with Transitive Guards", author = "Yevgeny Kazakov and Hans de Nivelle", year = "2004", address = "Stuhlsatzenhausweg 85, 66123 Saarbr{\"u}cken, Germany", institution = "Max-Planck-Institut f{\"u}r Informatik", issn = "0946-011X", month = "April", number = "MPI-I-2004-2-001", }
@inproceedings{Kazakov:04:ResGFTG:DP, title = "A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.", author = "Yevgeny Kazakov", year = "2004", booktitle = "IJCAR Doctoral Programme", series = "CEUR Workshop Proceedings", url = "http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-106/06-kazakov.pdf", volume = "106", }
@inproceedings{KazNiv:04:ResGFTG, title = "A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.", author = "Yevgeny Kazakov and Hans de Nivelle", year = "2004", booktitle = "IJCAR", pages = "122-136", publisher = "Springer", series = "Lecture Notes in Computer Science", url = "http://springerlink.metapress.com/content/h3eh98tm043qtm1d/?p=b00e744c6c994444aca26ff1110b45dc&pi=6", volume = "3097", }
@inproceedings{Kazakov:04:GF2N, title = "A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment.", author = "Yevgeny Kazakov", year = "2004", booktitle = "JELIA", pages = "372-384", publisher = "Springer", series = "Lecture Notes in Computer Science", url = "http://springerlink.metapress.com/content/mf9qwrdae400ce36/?p=13074e546716423e8572164c5fc128de&pi=0", volume = "3229", }
@unpublished{Kazakov:04:CombRes, title = "Combining Resolution Decision Procedures", author = "Yevgeny Kazakov", year = "2004", note = "unpublished manuscript, available from \url{http://web.comlab.ox.ac.uk/oucl/work/yevgeny.kazakov/publications/}", }
@techreport{KazNiv:03:SubsumptionFLzero:TR, title = "Subsumption of concepts in $DL$ $\mathcal{FL}_0$ for (cyclic) terminologies with respect to descriptive semantics is {PSPACE}-complete", author = "Yevgeny Kazakov and Hans de Nivelle", year = "2003", address = "Stuhlsatzenhausweg 85, 66123 Saarbr{\"u}cken, Germany", institution = "Max-Planck-Institut f{\"u}r Informatik", issn = "0946-011X", month = "April", number = "MPI-I-2003-2-003", }
@inproceedings{Kazakov:03:SubsumptionFLzero, title = "Subsumption of Concepts in {$\mathcal{FL}_0$} for (Cyclic) Terminologies with Respect to Descriptive Semantics is {PSPACE}-complete.", author = "Yevgeny Kazakov and Hans de Nivelle", year = "2003", booktitle = "Description Logics", series = "CEUR Workshop Proceedings", url = "http://SunSITE.Informatik.RWTH-Aachen.de/Publications/CEUR-WS/Vol-81/kazakov.pdf", volume = "81", }
@inproceedings{Kazakov:02:RecResML, title = "Recursive resolution for modal logic", author = "Yevgeny Kazakov", year = "2002", address = "Saarbr{\"u}cken, Germany", booktitle = "Proceedings of the Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi", month = "March", organization = "International Max Planck Research School for Computer Science (IMPRS)", pages = "11--15", publisher = "Max-Planck-Institut f{\"u}r Informatik", series = "Max-Planck-Institut f{\"u}r Informatik Research Report", volume = "MPI-I-2002-2-007", }
@techreport{ArtKazShap:99:Knowledge:TR, title = "On logic of knowledge with justifications", author = "Artemov, S. and Kazakov, E. and Shapiro, D.", year = "1999", institution = "Cornell University", number = "CFIS 99-12", }