Yevgeny Kazakov

	2012
35		Yevgeny Kazakov, Domenico Lembo, Frank Wolter: Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012 CEUR-WS.org 2012
	2011
34		Birte Glimm, Yevgeny Kazakov, Carsten Lutz: Status QIO: An Update. Description Logics 2011
33		Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik: Unchain My EL Reasoner. Description Logics 2011
32		Frantisek Simancik, Yevgeny Kazakov, Ian Horrocks: Consequence-Based Reasoning beyond Horn Ontologies. IJCAI 2011: 1093-1098
31		Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik: Concurrent Classification of EL Ontologies. International Semantic Web Conference (1) 2011: 305-320
30		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)
	2010
29		Despoina Magka, Yevgeny Kazakov, Ian Horrocks: Tractable Extensions of the Description Logic EL with Numerical Datatypes. Description Logics 2010
28		Yevgeny Kazakov: An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ. IJCAR 2010: 472-486
27		Despoina Magka, Yevgeny Kazakov, Ian Horrocks: Tractable Extensions of the Description Logic EL with Numerical Datatypes. IJCAR 2010: 61-75
26		Bernardo Cuenca Grau, Christian Halaschek-Wiener, Yevgeny Kazakov, Boontawee Suntisrivaraporn: Incremental Classification of Description Logics Ontologies. J. Autom. Reasoning 44(4): 337-369 (2010)
	2009
25		Yevgeny Kazakov: An Extension of Regularity Conditions for Complex Role Inclusion Axioms. Description Logics 2009
24		Yevgeny Kazakov: Consequence-Driven Reasoning for Horn SHIQ Ontologies. Description Logics 2009
23		Yevgeny Kazakov: Consequence-Driven Reasoning for Horn SHIQ Ontologies. IJCAI 2009: 2040-2045
22		Bernardo Cuenca Grau, Boris Motik, Yevgeny Kazakov: Import-by-Query: Ontology Reasoning under Access Limitations. IJCAI 2009: 727-732
21		Yevgeny Kazakov, Ian Pratt-Hartmann: A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics. LICS 2009: 407-416
20		Vincent Delaitre, Yevgeny Kazakov: Classifying ELH Ontologies In SQL Databases. OWLED 2009
19		Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Extracting Modules from Ontologies: A Logic-Based Approach. Modular Ontologies 2009: 159-186
18		Yevgeny Kazakov, Ian Pratt-Hartmann: A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics CoRR abs/0905.3108: (2009)
	2008
17		Yevgeny Kazakov: SRIQ and SROIQ are Harder than SHOIQ. Description Logics 2008
16		Yevgeny Kazakov: RIQ and SROIQ Are Harder than SHOIQ. KR 2008: 274-284
15		Birte Glimm, Yevgeny Kazakov: Role Conjunctions in Expressive Description Logics. LPAR 2008: 391-405
14		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)
13		Yevgeny Kazakov, Boris Motik: A Resolution-Based Decision Procedure for SHOIQ. J. Autom. Reasoning 40(2-3): 89-116 (2008)
12		Yevgeny Kazakov, Boris Motik: A Resolution-Based Decision Procedure for SHOIQ. J. Autom. Reasoning 40(4): 357 (2008)
	2007
11		Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Ontology Reuse: Better Safe than Sorry. Description Logics 2007
10		Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: A Logical Framework for Modularity of Ontologies. IJCAI 2007: 298-303
9		Bernardo Cuenca Grau, Christian Halaschek-Wiener, Yevgeny Kazakov: History Matters: Incremental Ontology Reasoning Using Modules. ISWC/ASWC 2007: 183-196
8		Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin: How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited. LPAR 2007: 303-317
7		Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Extracting Modules from Ontologies: A Logic-based Approach. OWLED 2007
6		Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Just the right amount: extracting modules from ontologies. WWW 2007: 717-726
	2006
5		Yevgeny Kazakov, Boris Motik: A Resolution-Based Decision Procedure for SHOIQ. IJCAR 2006: 662-677
	2004
4		Yevgeny Kazakov, Hans de Nivelle: A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. IJCAR 2004: 122-136
3		Yevgeny Kazakov: A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. IJCAR Doctoral Programme 2004
2		Yevgeny Kazakov: A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment. JELIA 2004: 372-384
	2003
1		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

1	Vincent Delaitre	[20]
2	Birte Glimm	[15] [34]
3	Bernardo Cuenca Grau	[6] [7] [9] [10] [11] [14] [19] [22] [26]
4	Christian Halaschek-Wiener (Chris Halaschek)	[9] [26]
5	Ian Horrocks	[6] [7] [10] [11] [14] [19] [27] [29] [30] [32]
6	Markus Krötzsch (Markus Kroetzsch)	[31] [33]
7	Domenico Lembo	[35]
8	Carsten Lutz	[34]
9	Despoina Magka	[27] [29] [30]
10	Boris Motik	[5] [12] [13] [22]
11	Hans de Nivelle	[1] [4]
12	Ian Pratt-Hartmann (Ian E. Pratt)	[18] [21]
13	Ulrike Sattler	[6] [7] [8] [10] [11] [14] [19]
14	Frantisek Simancik	[31] [32] [33]
15	Boontawee Suntisrivaraporn	[26]
16	Frank Wolter	[35]
17	Evgeny Zolin (Evgeni E. Zolin)	[8]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page