Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Yevgeny Kazakov
@inproceedings{DBLP:conf/dlog/HirschbrunnK23,
author = {Joshua Hirschbrunn and
Yevgeny Kazakov},
editor = {Oliver Kutz and
Carsten Lutz and
Ana Ozaki},
title = {Description Logics Go Second-Order - Extending {EL} with Universally
Quantified Concepts},
booktitle = {Proceedings of the 36th International Workshop on Description Logics
{(DL} 2023) co-located with the 20th International Conference on Principles
of Knowledge Representation and Reasoning and the 21st International
Workshop on Non-Monotonic Reasoning {(KR} 2023 and {NMR} 2023)., Rhodes,
Greece, September 2-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3515},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3515/paper-13.pdf},
timestamp = {Thu, 26 Oct 2023 16:59:55 +0200},
biburl = {https://dblp.org/rec/conf/dlog/HirschbrunnK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-08252,
author = {Joshua Hirschbrunn and
Yevgeny Kazakov},
title = {Description Logics Go Second-Order - Extending {EL} with Universally
Quantified Concepts},
journal = {CoRR},
volume = {abs/2308.08252},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.08252},
doi = {10.48550/ARXIV.2308.08252},
eprinttype = {arXiv},
eprint = {2308.08252},
timestamp = {Thu, 24 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-08252.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GlimmK22,
author = {Birte Glimm and
Yevgeny Kazakov},
editor = {Ofer Arieli and
Martin Homola and
Jean Christoph Jung and
Marie{-}Laure Mugnier},
title = {SAT-Based Axiom Pinpointing Revisited},
booktitle = {Proceedings of the 35th International Workshop on Description Logics
{(DL} 2022) co-located with Federated Logic Conference (FLoC 2022),
Haifa, Israel, August 7th to 10th, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3263},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3263/paper-10.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/GlimmK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GlimmKW22,
author = {Birte Glimm and
Yevgeny Kazakov and
Michael Welt},
editor = {Ofer Arieli and
Martin Homola and
Jean Christoph Jung and
Marie{-}Laure Mugnier},
title = {Concept Abduction for Description Logics},
booktitle = {Proceedings of the 35th International Workshop on Description Logics
{(DL} 2022) co-located with Federated Logic Conference (FLoC 2022),
Haifa, Israel, August 7th to 10th, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3263},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3263/paper-11.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/GlimmKW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rweb/GlimmK19,
author = {Birte Glimm and
Yevgeny Kazakov},
editor = {Markus Kr{\"{o}}tzsch and
Daria Stepanova},
title = {Classical Algorithms for Reasoning and Explanation in Description
Logics},
booktitle = {Reasoning Web. Explainable Artificial Intelligence - 15th International
Summer School 2019, Bolzano, Italy, September 20-24, 2019, Tutorial
Lectures},
series = {Lecture Notes in Computer Science},
volume = {11810},
pages = {1--64},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31423-1\_1},
doi = {10.1007/978-3-030-31423-1\_1},
timestamp = {Thu, 19 Sep 2019 14:00:42 +0200},
biburl = {https://dblp.org/rec/conf/rweb/GlimmK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KazakovS18,
author = {Yevgeny Kazakov and
Peter Skocovsk{\'{y}}},
editor = {Didier Galmiche and
Stephan Schulz and
Roberto Sebastiani},
title = {Enumerating Justifications Using Resolution},
booktitle = {Automated Reasoning - 9th International Joint Conference, {IJCAR}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10900},
pages = {609--626},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94205-6\_40},
doi = {10.1007/978-3-319-94205-6\_40},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/cade/KazakovS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GlimmKT17,
author = {Birte Glimm and
Yevgeny Kazakov and
Trung{-}Kien Tran},
editor = {Satinder Singh and
Shaul Markovitch},
title = {Ontology Materialization by Abstraction Refinement in Horn {SHOIF}},
booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
February 4-9, 2017, San Francisco, California, {USA}},
pages = {1114--1120},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/aaai.v31i1.10691},
doi = {10.1609/AAAI.V31I1.10691},
timestamp = {Mon, 04 Sep 2023 14:40:32 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GlimmKT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KazakovKS17,
author = {Yevgeny Kazakov and
Pavel Klinov and
Alexander Stupnikov},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Towards Reusable Explanation Services in Protege},
booktitle = {Proceedings of the 30th International Workshop on Description Logics,
Montpellier, France, July 18-21, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1879},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1879/paper31.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KazakovKS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KazakovP17,
author = {Yevgeny Kazakov and
Denis K. Ponomaryov},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {On the Complexity of Semantic Integration of {OWL} Ontologies},
booktitle = {Proceedings of the 30th International Workshop on Description Logics,
Montpellier, France, July 18-21, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1879},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1879/paper59.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KazakovP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KazakovS17,
author = {Yevgeny Kazakov and
Peter Skocovsky},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Enumerating Justifications using Resolution},
booktitle = {Proceedings of the 30th International Workshop on Description Logics,
Montpellier, France, July 18-21, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1879},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1879/paper38.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KazakovS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KazakovP17,
author = {Yevgeny Kazakov and
Denis K. Ponomaryov},
title = {On the Complexity of Semantic Integration of {OWL} Ontologies},
journal = {CoRR},
volume = {abs/1705.04719},
year = {2017},
url = {http://arxiv.org/abs/1705.04719},
eprinttype = {arXiv},
eprint = {1705.04719},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KazakovP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GlimmKT16,
author = {Birte Glimm and
Yevgeny Kazakov and
Trung{-}Kien Tran},
editor = {Maurizio Lenzerini and
Rafael Pe{\~{n}}aloza},
title = {Ontology Materialization by Abstraction Refinement in Horn {SHOIF}},
booktitle = {Proceedings of the 29th International Workshop on Description Logics,
Cape Town, South Africa, April 22-25, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1577},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1577/invited\_paper\_1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/GlimmKT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/GlimmKT16,
author = {Birte Glimm and
Yevgeny Kazakov and
Trung{-}Kien Tran},
editor = {Magdalena Ortiz and
Stefan Schlobach},
title = {Scalable Reasoning by Abstraction Beyond DL-Lite},
booktitle = {Web Reasoning and Rule Systems - 10th International Conference, {RR}
2016, Aberdeen, UK, September 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9898},
pages = {77--93},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45276-0\_7},
doi = {10.1007/978-3-319-45276-0\_7},
timestamp = {Mon, 29 Aug 2022 09:33:27 +0200},
biburl = {https://dblp.org/rec/conf/rr/GlimmKT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GlimmKKS15,
author = {Birte Glimm and
Yevgeny Kazakov and
Ilianna Kollia and
Giorgos B. Stamou},
editor = {Blai Bonet and
Sven Koenig},
title = {Lower and Upper Bounds for {SPARQL} Queries over {OWL} Ontologies},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {109--115},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9192},
doi = {10.1609/AAAI.V29I1.9192},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GlimmKKS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GlimmKKS15,
author = {Birte Glimm and
Yevgeny Kazakov and
Ilianna Kollia and
Giorgos B. Stamou},
editor = {Diego Calvanese and
Boris Konev},
title = {Lower and Upper Bounds for {SPARQL} Queries over {OWL} Ontologies},
booktitle = {Proceedings of the 28th International Workshop on Description Logics,
Athens,Greece, June 7-10, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1350},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1350/paper-21.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/GlimmKKS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KazakovK15,
author = {Yevgeny Kazakov and
Pavel Klinov},
editor = {Diego Calvanese and
Boris Konev},
title = {Advancing {ELK:} Not Only Performance Matters},
booktitle = {Proceedings of the 28th International Workshop on Description Logics,
Athens,Greece, June 7-10, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1350},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1350/paper-27.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KazakovK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/KazakovKS14,
author = {Yevgeny Kazakov and
Markus Kr{\"{o}}tzsch and
Frantisek Simancik},
title = {The Incredible {ELK} - From Polynomial Procedures to Efficient Reasoning
with {\(\mathscr{E}\)}{\(\mathscr{L}\)} Ontologies},
journal = {J. Autom. Reason.},
volume = {53},
number = {1},
pages = {1--61},
year = {2014},
url = {https://doi.org/10.1007/s10817-013-9296-3},
doi = {10.1007/S10817-013-9296-3},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/KazakovKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GlimmKLTV14,
author = {Birte Glimm and
Yevgeny Kazakov and
Thorsten Liebig and
Trung{-}Kien Tran and
Vincent Vialard},
editor = {Meghyn Bienvenu and
Magdalena Ortiz and
Riccardo Rosati and
Mantas Simkus},
title = {Abstraction Refinement for Ontology Materialization},
booktitle = {Informal Proceedings of the 27th International Workshop on Description
Logics, Vienna, Austria, July 17-20, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1193},
pages = {185--196},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1193/paper\_6.pdf},
timestamp = {Mon, 26 Jun 2023 20:43:45 +0200},
biburl = {https://dblp.org/rec/conf/dlog/GlimmKLTV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KazakovK14,
author = {Yevgeny Kazakov and
Pavel Klinov},
editor = {Meghyn Bienvenu and
Magdalena Ortiz and
Riccardo Rosati and
Mantas Simkus},
title = {Goal-Directed Tracing of Inferences in {EL} Ontologies},
booktitle = {Informal Proceedings of the 27th International Workshop on Description
Logics, Vienna, Austria, July 17-20, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1193},
pages = {221--232},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1193/paper\_26.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KazakovK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KazakovK14a,
author = {Yevgeny Kazakov and
Pavel Klinov},
editor = {Meghyn Bienvenu and
Magdalena Ortiz and
Riccardo Rosati and
Mantas Simkus},
title = {Bridging the Gap between Tableau and Consequence-Based Reasoning},
booktitle = {Informal Proceedings of the 27th International Workshop on Description
Logics, Vienna, Austria, July 17-20, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1193},
pages = {579--590},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1193/paper\_10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KazakovK14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/GlimmKKS14,
author = {Birte Glimm and
Yevgeny Kazakov and
Ilianna Kollia and
Giorgos B. Stamou},
editor = {C. Maria Keet and
Valentina A. M. Tamma},
title = {{OWL} Query Answering Based on Query Extension},
booktitle = {Proceedings of the 11th International Workshop on {OWL:} Experiences
and Directions {(OWLED} 2014) co-located with 13th International Semantic
Web Conference on {(ISWC} 2014), Riva del Garda, Italy, October 17-18,
2014},
series = {{CEUR} Workshop Proceedings},
volume = {1265},
pages = {1--12},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1265/owled2014\_submission\_1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/owled/GlimmKKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/GlimmKLTV14,
author = {Birte Glimm and
Yevgeny Kazakov and
Thorsten Liebig and
Trung{-}Kien Tran and
Vincent Vialard},
editor = {Peter Mika and
Tania Tudorache and
Abraham Bernstein and
Chris Welty and
Craig A. Knoblock and
Denny Vrandecic and
Paul Groth and
Natasha F. Noy and
Krzysztof Janowicz and
Carole A. Goble},
title = {Abstraction Refinement for Ontology Materialization},
booktitle = {The Semantic Web - {ISWC} 2014 - 13th International Semantic Web Conference,
Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8797},
pages = {180--195},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11915-1\_12},
doi = {10.1007/978-3-319-11915-1\_12},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/GlimmKLTV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/KazakovK14,
author = {Yevgeny Kazakov and
Pavel Klinov},
editor = {Peter Mika and
Tania Tudorache and
Abraham Bernstein and
Chris Welty and
Craig A. Knoblock and
Denny Vrandecic and
Paul Groth and
Natasha F. Noy and
Krzysztof Janowicz and
Carole A. Goble},
title = {Goal-Directed Tracing of Inferences in {EL} Ontologies},
booktitle = {The Semantic Web - {ISWC} 2014 - 13th International Semantic Web Conference,
Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8797},
pages = {196--211},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11915-1\_13},
doi = {10.1007/978-3-319-11915-1\_13},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/KazakovK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GlimmKKS13,
author = {Birte Glimm and
Yevgeny Kazakov and
Ilianna Kollia and
Giorgos B. Stamou},
editor = {Thomas Eiter and
Birte Glimm and
Yevgeny Kazakov and
Markus Kr{\"{o}}tzsch},
title = {Using the TBox to Optimise {SPARQL} Queries},
booktitle = {Informal Proceedings of the 26th International Workshop on Description
Logics, Ulm, Germany, July 23 - 26, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1014},
pages = {181--196},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1014/paper\_80.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/GlimmKKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KazakovK13,
author = {Yevgeny Kazakov and
Pavel Klinov},
editor = {Thomas Eiter and
Birte Glimm and
Yevgeny Kazakov and
Markus Kr{\"{o}}tzsch},
title = {Incremental Reasoning in {EL+} without Bookkeeping},
booktitle = {Informal Proceedings of the 26th International Workshop on Description
Logics, Ulm, Germany, July 23 - 26, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1014},
pages = {294--315},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1014/paper\_33.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KazakovK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ore/GoncalvesBJMPGK13,
author = {Rafael S. Gon{\c{c}}alves and
Samantha Bail and
Ernesto Jim{\'{e}}nez{-}Ruiz and
Nicolas Matentzoglu and
Bijan Parsia and
Birte Glimm and
Yevgeny Kazakov},
editor = {Samantha Bail and
Birte Glimm and
Rafael S. Gon{\c{c}}alves and
Ernesto Jim{\'{e}}nez{-}Ruiz and
Yevgeny Kazakov and
Nicolas Matentzoglu and
Bijan Parsia},
title = {{OWL} Reasoner Evaluation {(ORE)} Workshop 2013 Results: Short Report},
booktitle = {Informal Proceedings of the 2nd International Workshop on {OWL} Reasoner
Evaluation (ORE-2013), Ulm, Germany, July 22, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1015},
pages = {1--18},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1015/ore2013\_report.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/ore/GoncalvesBJMPGK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ore/KazakovK13,
author = {Yevgeny Kazakov and
Pavel Klinov},
editor = {Samantha Bail and
Birte Glimm and
Rafael S. Gon{\c{c}}alves and
Ernesto Jim{\'{e}}nez{-}Ruiz and
Yevgeny Kazakov and
Nicolas Matentzoglu and
Bijan Parsia},
title = {Experimenting with {ELK} Reasoner on Android},
booktitle = {Informal Proceedings of the 2nd International Workshop on {OWL} Reasoner
Evaluation (ORE-2013), Ulm, Germany, July 22, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1015},
pages = {68--74},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1015/paper\_9.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ore/KazakovK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/KazakovK13,
author = {Yevgeny Kazakov and
Pavel Klinov},
editor = {Eva Blomqvist and
Tudor Groza},
title = {The Benefits of Incremental Reasoning in {OWL} {EL}},
booktitle = {Proceedings of the {ISWC} 2013 Posters {\&} Demonstrations Track,
Sydney, Australia, October 23, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1035},
pages = {57--60},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1035/iswc2013\_demo\_15.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:05 +0100},
biburl = {https://dblp.org/rec/conf/semweb/KazakovK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/KazakovK13a,
author = {Yevgeny Kazakov and
Pavel Klinov},
editor = {Harith Alani and
Lalana Kagal and
Achille Fokoue and
Paul Groth and
Chris Biemann and
Josiane Xavier Parreira and
Lora Aroyo and
Natasha F. Noy and
Chris Welty and
Krzysztof Janowicz},
title = {Incremental Reasoning in {OWL} {EL} without Bookkeeping},
booktitle = {The Semantic Web - {ISWC} 2013 - 12th International Semantic Web Conference,
Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8218},
pages = {232--247},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41335-3\_15},
doi = {10.1007/978-3-642-41335-3\_15},
timestamp = {Tue, 07 Sep 2021 13:48:20 +0200},
biburl = {https://dblp.org/rec/conf/semweb/KazakovK13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2013,
editor = {Thomas Eiter and
Birte Glimm and
Yevgeny Kazakov and
Markus Kr{\"{o}}tzsch},
title = {Informal Proceedings of the 26th International Workshop on Description
Logics, Ulm, Germany, July 23 - 26, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1014},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1014},
urn = {urn:nbn:de:0074-1014-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ore/2013,
editor = {Samantha Bail and
Birte Glimm and
Rafael S. Gon{\c{c}}alves and
Ernesto Jim{\'{e}}nez{-}Ruiz and
Yevgeny Kazakov and
Nicolas Matentzoglu and
Bijan Parsia},
title = {Informal Proceedings of the 2nd International Workshop on {OWL} Reasoner
Evaluation (ORE-2013), Ulm, Germany, July 22, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1015},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1015},
urn = {urn:nbn:de:0074-1015-0},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ore/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KazakovKS12,
author = {Yevgeny Kazakov and
Markus Kroetzsch and
Frantisek Simancik},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Practical Reasoning with Nominals in the {EL} Family of Description
Logics},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4540},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/KazakovKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ore/KazakovKS12,
author = {Yevgeny Kazakov and
Markus Kr{\"{o}}tzsch and
Frantisek Simancik},
editor = {Ian Horrocks and
Mikalai Yatskevich and
Ernesto Jim{\'{e}}nez{-}Ruiz},
title = {{ELK} Reasoner: Architecture and Evaluation},
booktitle = {Proceedings of the 1st International Workshop on {OWL} Reasoner Evaluation
(ORE-2012), Manchester, UK, July 1st, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {858},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-858/ore2012\_paper10.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/ore/KazakovKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2012,
editor = {Yevgeny Kazakov and
Domenico Lembo and
Frank Wolter},
title = {Proceedings of the 2012 International Workshop on Description Logics,
DL-2012, Rome, Italy, June 7-10, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {846},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-846},
urn = {urn:nbn:de:0074-846-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/MagkaKH11,
author = {Despoina Magka and
Yevgeny Kazakov and
Ian Horrocks},
title = {Tractable Extensions of the Description Logic {\textdollar}\{{\textbackslash}mathcal\{EL\}\}{\textdollar}
with Numerical Datatypes},
journal = {J. Autom. Reason.},
volume = {47},
number = {4},
pages = {427--450},
year = {2011},
url = {https://doi.org/10.1007/s10817-011-9235-0},
doi = {10.1007/S10817-011-9235-0},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/MagkaKH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GlimmKL11,
author = {Birte Glimm and
Yevgeny Kazakov and
Carsten Lutz},
editor = {Riccardo Rosati and
Sebastian Rudolph and
Michael Zakharyaschev},
title = {Status {QIO:} An Update},
booktitle = {Proceedings of the 24th International Workshop on Description Logics
{(DL} 2011), Barcelona, Spain, July 13-16, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {745},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-745/paper\_44.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/GlimmKL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KazakovKS11,
author = {Yevgeny Kazakov and
Markus Kr{\"{o}}tzsch and
Frantisek Simancik},
editor = {Riccardo Rosati and
Sebastian Rudolph and
Michael Zakharyaschev},
title = {Unchain My {EL} Reasoner},
booktitle = {Proceedings of the 24th International Workshop on Description Logics
{(DL} 2011), Barcelona, Spain, July 13-16, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {745},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-745/paper\_54.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KazakovKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SimancikKH11,
author = {Frantisek Simancik and
Yevgeny Kazakov and
Ian Horrocks},
editor = {Toby Walsh},
title = {Consequence-Based Reasoning beyond Horn Ontologies},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {1093--1098},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-187},
doi = {10.5591/978-1-57735-516-8/IJCAI11-187},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SimancikKH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/KazakovKS11,
author = {Yevgeny Kazakov and
Markus Kr{\"{o}}tzsch and
Frantisek Simancik},
editor = {Lora Aroyo and
Chris Welty and
Harith Alani and
Jamie Taylor and
Abraham Bernstein and
Lalana Kagal and
Natasha Fridman Noy and
Eva Blomqvist},
title = {Concurrent Classification of {EL} Ontologies},
booktitle = {The Semantic Web - {ISWC} 2011 - 10th International Semantic Web Conference,
Bonn, Germany, October 23-27, 2011, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7031},
pages = {305--320},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25073-6\_20},
doi = {10.1007/978-3-642-25073-6\_20},
timestamp = {Tue, 07 Sep 2021 13:47:52 +0200},
biburl = {https://dblp.org/rec/conf/semweb/KazakovKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GrauHKS10,
author = {Bernardo Cuenca Grau and
Christian Halaschek{-}Wiener and
Yevgeny Kazakov and
Boontawee Suntisrivaraporn},
title = {Incremental Classification of Description Logics Ontologies},
journal = {J. Autom. Reason.},
volume = {44},
number = {4},
pages = {337--369},
year = {2010},
url = {https://doi.org/10.1007/s10817-009-9159-0},
doi = {10.1007/S10817-009-9159-0},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/GrauHKS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/MagkaKH10,
author = {Despoina Magka and
Yevgeny Kazakov and
Ian Horrocks},
editor = {J{\"{u}}rgen Giesl and
Reiner H{\"{a}}hnle},
title = {Tractable Extensions of the Description Logic \emph{EL} with Numerical
Datatypes},
booktitle = {Automated Reasoning, 5th International Joint Conference, {IJCAR} 2010,
Edinburgh, UK, July 16-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6173},
pages = {61--75},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14203-1\_6},
doi = {10.1007/978-3-642-14203-1\_6},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/MagkaKH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Kazakov10,
author = {Yevgeny Kazakov},
editor = {J{\"{u}}rgen Giesl and
Reiner H{\"{a}}hnle},
title = {An Extension of Complex Role Inclusion Axioms in the Description Logic
{SROIQ}},
booktitle = {Automated Reasoning, 5th International Joint Conference, {IJCAR} 2010,
Edinburgh, UK, July 16-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6173},
pages = {472--486},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14203-1\_40},
doi = {10.1007/978-3-642-14203-1\_40},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Kazakov10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/MagkaKH10,
author = {Despoina Magka and
Yevgeny Kazakov and
Ian Horrocks},
editor = {Volker Haarslev and
David Toman and
Grant E. Weddell},
title = {Tractable Extensions of the Description Logic {EL} with Numerical
Datatypes},
booktitle = {Proceedings of the 23rd International Workshop on Description Logics
{(DL} 2010), Waterloo, Ontario, Canada, May 4-7, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {573},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-573/paper\_29.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/MagkaKH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Kazakov09,
author = {Yevgeny Kazakov},
editor = {Bernardo Cuenca Grau and
Ian Horrocks and
Boris Motik and
Ulrike Sattler},
title = {An Extension of Regularity Conditions for Complex Role Inclusion Axioms},
booktitle = {Proceedings of the 22nd International Workshop on Description Logics
{(DL} 2009), Oxford, UK, July 27-30, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {477},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-477/paper\_68.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Kazakov09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Kazakov09a,
author = {Yevgeny Kazakov},
editor = {Bernardo Cuenca Grau and
Ian Horrocks and
Boris Motik and
Ulrike Sattler},
title = {Consequence-Driven Reasoning for Horn {SHIQ} Ontologies},
booktitle = {Proceedings of the 22nd International Workshop on Description Logics
{(DL} 2009), Oxford, UK, July 27-30, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {477},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-477/paper\_69.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Kazakov09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GrauMK09,
author = {Bernardo Cuenca Grau and
Boris Motik and
Yevgeny Kazakov},
editor = {Craig Boutilier},
title = {Import-by-Query: Ontology Reasoning under Access Limitations},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {727--732},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/126.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GrauMK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Kazakov09,
author = {Yevgeny Kazakov},
editor = {Craig Boutilier},
title = {Consequence-Driven Reasoning for Horn {SHIQ} Ontologies},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {2040--2045},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/336.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Kazakov09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KazakovP09,
author = {Yevgeny Kazakov and
Ian Pratt{-}Hartmann},
title = {A Note on the Complexity of the Satisfiability Problem for Graded
Modal Logics},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {407--416},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.17},
doi = {10.1109/LICS.2009.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KazakovP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/DelaitreK08,
author = {Vincent Delaitre and
Yevgeny Kazakov},
editor = {Rinke Hoekstra and
Peter F. Patel{-}Schneider},
title = {Classifying {ELH} Ontologies In {SQL} Databases},
booktitle = {Proceedings of the 5th International Workshop on {OWL:} Experiences
and Directions {(OWLED} 2009), Chantilly, VA, United States, October
23-24, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {529},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-529/owled2009\_submission\_44.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:05 +0100},
biburl = {https://dblp.org/rec/conf/semweb/DelaitreK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/GrauHKS09,
author = {Bernardo Cuenca Grau and
Ian Horrocks and
Yevgeny Kazakov and
Ulrike Sattler},
editor = {Heiner Stuckenschmidt and
Christine Parent and
Stefano Spaccapietra},
title = {Extracting Modules from Ontologies: {A} Logic-Based Approach},
booktitle = {Modular Ontologies: Concepts, Theories and Techniques for Knowledge
Modularization},
series = {Lecture Notes in Computer Science},
volume = {5445},
pages = {159--186},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01907-4\_8},
doi = {10.1007/978-3-642-01907-4\_8},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/GrauHKS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0905-3108,
author = {Yevgeny Kazakov and
Ian Pratt{-}Hartmann},
title = {A Note on the Complexity of the Satisfiability Problem for Graded
Modal Logics},
journal = {CoRR},
volume = {abs/0905.3108},
year = {2009},
url = {http://arxiv.org/abs/0905.3108},
eprinttype = {arXiv},
eprint = {0905.3108},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0905-3108.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/GrauHKS08,
author = {Bernardo Cuenca Grau and
Ian Horrocks and
Yevgeny Kazakov and
Ulrike Sattler},
title = {Modular Reuse of Ontologies: Theory and Practice},
journal = {J. Artif. Intell. Res.},
volume = {31},
pages = {273--318},
year = {2008},
url = {https://doi.org/10.1613/jair.2375},
doi = {10.1613/JAIR.2375},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/GrauHKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/KazakovM08,
author = {Yevgeny Kazakov and
Boris Motik},
title = {A Resolution-Based Decision Procedure for \emph{SHOIQ}},
journal = {J. Autom. Reason.},
volume = {40},
number = {2-3},
pages = {89--116},
year = {2008},
url = {https://doi.org/10.1007/s10817-007-9090-1},
doi = {10.1007/S10817-007-9090-1},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/KazakovM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/KazakovM08a,
author = {Yevgeny Kazakov and
Boris Motik},
title = {A Resolution-Based Decision Procedure for \emph{SHOIQ}},
journal = {J. Autom. Reason.},
volume = {40},
number = {4},
pages = {357},
year = {2008},
url = {https://doi.org/10.1007/s10817-008-9100-y},
doi = {10.1007/S10817-008-9100-Y},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/KazakovM08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Kazakov08,
author = {Yevgeny Kazakov},
editor = {Franz Baader and
Carsten Lutz and
Boris Motik},
title = {{SRIQ} and {SROIQ} are Harder than {SHOIQ}},
booktitle = {Proceedings of the 21st International Workshop on Description Logics
(DL2008), Dresden, Germany, May 13-16, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {353},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-353/Kazakov.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Kazakov08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Kazakov08,
author = {Yevgeny Kazakov},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {{RIQ} and {SROIQ} Are Harder than {SHOIQ}},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {274--284},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-027.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Kazakov08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GlimmK08,
author = {Birte Glimm and
Yevgeny Kazakov},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Role Conjunctions in Expressive Description Logics},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {391--405},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_28},
doi = {10.1007/978-3-540-89439-1\_28},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/GlimmK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GrauHKS07,
author = {Bernardo Cuenca Grau and
Ian Horrocks and
Yevgeny Kazakov and
Ulrike Sattler},
editor = {Diego Calvanese and
Enrico Franconi and
Volker Haarslev and
Domenico Lembo and
Boris Motik and
Anni{-}Yasmin Turhan and
Sergio Tessaris},
title = {Ontology Reuse: Better Safe than Sorry},
booktitle = {Proceedings of the 2007 International Workshop on Description Logics
(DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June,
2007},
series = {{CEUR} Workshop Proceedings},
volume = {250},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-250/paper\_27.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/GrauHKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GrauHKS07,
author = {Bernardo Cuenca Grau and
Ian Horrocks and
Yevgeny Kazakov and
Ulrike Sattler},
editor = {Manuela M. Veloso},
title = {A Logical Framework for Modularity of Ontologies},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {298--303},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/046.pdf},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GrauHKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/KazakovSZ07,
author = {Yevgeny Kazakov and
Ulrike Sattler and
Evgeny Zolin},
editor = {Nachum Dershowitz and
Andrei Voronkov},
title = {How Many Legs Do {I} Have? Non-Simple Roles in Number Restrictions
Revisited},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 14th
International Conference, {LPAR} 2007, Yerevan, Armenia, October 15-19,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4790},
pages = {303--317},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75560-9\_23},
doi = {10.1007/978-3-540-75560-9\_23},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/KazakovSZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/GrauHKS07,
author = {Bernardo Cuenca Grau and
Ian Horrocks and
Yevgeny Kazakov and
Ulrike Sattler},
editor = {Christine Golbreich and
Aditya Kalyanpur and
Bijan Parsia},
title = {Extracting Modules from Ontologies: {A} Logic-based Approach},
booktitle = {Proceedings of the {OWLED} 2007 Workshop on {OWL:} Experiences and
Directions, Innsbruck, Austria, June 6-7, 2007},
series = {{CEUR} Workshop Proceedings},
volume = {258},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-258/paper15.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/owled/GrauHKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/GrauHK07,
author = {Bernardo Cuenca Grau and
Christian Halaschek{-}Wiener and
Yevgeny Kazakov},
editor = {Karl Aberer and
Key{-}Sun Choi and
Natasha Fridman Noy and
Dean Allemang and
Kyung{-}Il Lee and
Lyndon J. B. Nixon and
Jennifer Golbeck and
Peter Mika and
Diana Maynard and
Riichiro Mizoguchi and
Guus Schreiber and
Philippe Cudr{\'{e}}{-}Mauroux},
title = {History Matters: Incremental Ontology Reasoning Using Modules},
booktitle = {The Semantic Web, 6th International Semantic Web Conference, 2nd Asian
Semantic Web Conference, {ISWC} 2007 + {ASWC} 2007, Busan, Korea,
November 11-15, 2007},
series = {Lecture Notes in Computer Science},
volume = {4825},
pages = {183--196},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76298-0\_14},
doi = {10.1007/978-3-540-76298-0\_14},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/semweb/GrauHK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/GrauHKS07,
author = {Bernardo Cuenca Grau and
Ian Horrocks and
Yevgeny Kazakov and
Ulrike Sattler},
editor = {Carey L. Williamson and
Mary Ellen Zurko and
Peter F. Patel{-}Schneider and
Prashant J. Shenoy},
title = {Just the right amount: extracting modules from ontologies},
booktitle = {Proceedings of the 16th International Conference on World Wide Web,
{WWW} 2007, Banff, Alberta, Canada, May 8-12, 2007},
pages = {717--726},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1242572.1242669},
doi = {10.1145/1242572.1242669},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/www/GrauHKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KazakovM06,
author = {Yevgeny Kazakov and
Boris Motik},
editor = {Ulrich Furbach and
Natarajan Shankar},
title = {A Resolution-Based Decision Procedure for \emph{SHOIQ}},
booktitle = {Automated Reasoning, Third International Joint Conference, {IJCAR}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4130},
pages = {662--677},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814771\_53},
doi = {10.1007/11814771\_53},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/KazakovM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Kazakov04,
author = {Yevgeny Kazakov},
editor = {Ulrike Sattler},
title = {A Resolution Decision Procedure for the Guarded Fragment with Transitive
Guards},
booktitle = {Contributions to the Doctoral Programme of the 2nd International Joint
Conference on Automated Reasoning, Cork, Ireland, July 4-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {106},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-106/06-kazakov.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/Kazakov04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KazakovN04,
author = {Yevgeny Kazakov and
Hans de Nivelle},
editor = {David A. Basin and
Micha{\"{e}}l Rusinowitch},
title = {A Resolution Decision Procedure for the Guarded Fragment with Transitive
Guards},
booktitle = {Automated Reasoning - Second International Joint Conference, {IJCAR}
2004, Cork, Ireland, July 4-8, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3097},
pages = {122--136},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25984-8\_7},
doi = {10.1007/978-3-540-25984-8\_7},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/KazakovN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Kazakov04,
author = {Yevgeny Kazakov},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Jo{\~{a}}o Alexandre Leite},
title = {A Polynomial Translation from the Two-Variable Guarded Fragment with
Number Restrictions to the Guarded Fragment},
booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3229},
pages = {372--384},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30227-8\_32},
doi = {10.1007/978-3-540-30227-8\_32},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Kazakov04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KazakovN03,
author = {Yevgeny Kazakov and
Hans de Nivelle},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Subsumption of Concepts in FL\({}_{\mbox{0y}}\) for (Cyclic) Terminologies
with Respect to Descriptive Semantics is PSPACE-complete},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/kazakov.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KazakovN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-10-27 22:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
