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",
}