Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Yevgeny Kazakov
2010 – today
- 2013
[c35]Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou: Using the TBox to Optimise SPARQL Queries. Description Logics 2013: 181-196- [c34]Yevgeny Kazakov, Pavel Klinov: Incremental Reasoning in EL+ without Bookkeeping. Description Logics 2013: 294-315
- [c33]Rafael S. Gonçalves, Samantha Bail, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Birte Glimm, Yevgeny Kazakov: OWL Reasoner Evaluation (ORE) Workshop 2013 Results: Short Report. ORE 2013: 1-18
- [c32]
- [c31]Yevgeny Kazakov, Pavel Klinov: The Benefits of Incremental Reasoning in OWL EL. International Semantic Web Conference (Posters & Demos) 2013: 57-60
- [c30]Yevgeny Kazakov, Pavel Klinov: Incremental Reasoning in OWL EL without Bookkeeping. International Semantic Web Conference (1) 2013: 232-247
- [e3]Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch (Eds.): Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013. CEUR Workshop Proceedings 1014, CEUR-WS.org 2013
- [e2]Samantha Bail, Birte Glimm, Rafael S. Gonçalves, Ernesto Jiménez-Ruiz, Yevgeny Kazakov, Nicolas Matentzoglu, Bijan Parsia (Eds.): Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013. CEUR Workshop Proceedings 1015, CEUR-WS.org 2013
- 2012
- [c29]Yevgeny Kazakov, Markus Kroetzsch, Frantisek Simancik: Practical Reasoning with Nominals in the EL Family of Description Logics. KR 2012
- [c28]Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik: ELK Reasoner: Architecture and Evaluation. ORE 2012
- [e1]Yevgeny Kazakov, Domenico Lembo, Frank Wolter (Eds.): Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012. CEUR Workshop Proceedings 846, CEUR-WS.org 2012
- 2011
- [j5]Despoina Magka, Yevgeny Kazakov, Ian Horrocks: Tractable Extensions of the Description Logic ${\mathcal{EL}}$ with Numerical Datatypes. J. Autom. Reasoning 47(4): 427-450 (2011)
- [c27]
- [c26]Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik: Unchain My EL Reasoner. Description Logics 2011
- [c25]Frantisek Simancik, Yevgeny Kazakov, Ian Horrocks: Consequence-Based Reasoning beyond Horn Ontologies. IJCAI 2011: 1093-1098
- [c24]Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik: Concurrent Classification of EL Ontologies. International Semantic Web Conference (1) 2011: 305-320
- 2010
- [j4]Bernardo Cuenca Grau, Christian Halaschek-Wiener, Yevgeny Kazakov, Boontawee Suntisrivaraporn: Incremental Classification of Description Logics Ontologies. J. Autom. Reasoning 44(4): 337-369 (2010)
- [c23]Despoina Magka, Yevgeny Kazakov, Ian Horrocks: Tractable Extensions of the Description Logic EL with Numerical Datatypes. IJCAR 2010: 61-75
- [c22]Yevgeny Kazakov: An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ. IJCAR 2010: 472-486
- [c21]Despoina Magka, Yevgeny Kazakov, Ian Horrocks: Tractable Extensions of the Description Logic EL with Numerical Datatypes. Description Logics 2010
2000 – 2009
- 2009
- [c20]Yevgeny Kazakov: An Extension of Regularity Conditions for Complex Role Inclusion Axioms. Description Logics 2009
- [c19]
- [c18]Bernardo Cuenca Grau, Boris Motik, Yevgeny Kazakov: Import-by-Query: Ontology Reasoning under Access Limitations. IJCAI 2009: 727-732
- [c17]
- [c16]Yevgeny Kazakov, Ian Pratt-Hartmann: A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics. LICS 2009: 407-416
- [c15]
- [p1]Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Extracting Modules from Ontologies: A Logic-Based Approach. Modular Ontologies 2009: 159-186
- [i1]Yevgeny Kazakov, Ian Pratt-Hartmann: A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics. CoRR abs/0905.3108 (2009)
- 2008
- [j3]Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Modular Reuse of Ontologies: Theory and Practice. J. Artif. Intell. Res. (JAIR) 31: 273-318 (2008)
- [j2]Yevgeny Kazakov, Boris Motik: A Resolution-Based Decision Procedure for SHOIQ. J. Autom. Reasoning 40(2-3): 89-116 (2008)
- [j1]Yevgeny Kazakov, Boris Motik: A Resolution-Based Decision Procedure for SHOIQ. J. Autom. Reasoning 40(4): 357 (2008)
- [c14]
- [c13]
- [c12]Birte Glimm, Yevgeny Kazakov: Role Conjunctions in Expressive Description Logics. LPAR 2008: 391-405
- 2007
- [c11]Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Ontology Reuse: Better Safe than Sorry. Description Logics 2007
- [c10]Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: A Logical Framework for Modularity of Ontologies. IJCAI 2007: 298-303
- [c9]Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin: How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited. LPAR 2007: 303-317
- [c8]Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Extracting Modules from Ontologies: A Logic-based Approach. OWLED 2007
- [c7]Bernardo Cuenca Grau, Christian Halaschek-Wiener, Yevgeny Kazakov: History Matters: Incremental Ontology Reasoning Using Modules. ISWC/ASWC 2007: 183-196
- [c6]Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Just the right amount: extracting modules from ontologies. WWW 2007: 717-726
- 2006
- [c5]
- 2004
- [c4]Yevgeny Kazakov: A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. IJCAR Doctoral Programme 2004
- [c3]Yevgeny Kazakov, Hans de Nivelle: A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. IJCAR 2004: 122-136
- [c2]Yevgeny Kazakov: A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment. JELIA 2004: 372-384
- 2003
- [c1]Yevgeny Kazakov, Hans de Nivelle: Subsumption of Concepts in FL0y for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete. Description Logics 2003
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16 21:28 CEST by the dblp team