Roman Kontchakov

	2012
45		Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev: Exponential Lower Bounds and Separation for Query Rewriting CoRR abs/1202.4193: (2012)
	2011
44		Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev: Conjunctive Query Inseparability of OWL 2 QL TBoxes. AAAI 2011
43		Alessandro Artale, Yazmin Angélica Ibáñez-García, Roman Kontchakov, Vladislav Ryzhikov: DL-Lite with Attributes and Sub-Roles (Extended Abstract). Description Logics 2011
42		Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev: Module Extraction via Query Inseparability in OWL 2 QL. Description Logics 2011
41		Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev: On (In)Tractability of OBDA with OWL 2 QL. Description Logics 2011
40		Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models. FroCos 2011: 1-11
39		Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev: The Combined Approach to Ontology-Based Data Access. IJCAI 2011: 2656-2661
38		Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev: On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces. IJCAI 2011: 957-962
37		Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev: Polynomial Conjunctive Query Rewriting under Unary Inclusion Dependencies. RR 2011: 124-138
36		Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev: On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces CoRR abs/1104.0219: (2011)
35		David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Combining Spatial and Temporal Logics: Expressiveness vs. Complexity CoRR abs/1110.2726: (2011)
34		Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev: Topological Logics with Connectedness over Euclidean Spaces CoRR abs/1110.4034: (2011)
	2010
33		Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: Past and Future of DL-Lite. AAAI 2010
32		Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: Temporal Conceptual Modelling with DL-Lite. Description Logics 2010
31		Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: Complexity of Reasoning over Temporal Data Models. ER 2010: 174-187
30		Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev: Interpreting Topological Logics over Euclidean Spaces. KR 2010
29		Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev: The Combined Approach to Query Answering in DL-Lite. KR 2010
28		Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Logic-based ontology comparison and module extraction, with an application to DL-Lite. Artif. Intell. 174(15): 1093-1141 (2010)
27		Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev: Spatial logics with connectedness predicates Logical Methods in Computer Science 6(3): (2010)
	2009
26		Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev: Adding Weight to DL-Lite. Description Logics 2009
25		Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev: Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. Description Logics 2009
24		Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev: DL-Lite without UNA. Description Logics 2009
23		Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: Extending DL-Lite Sometime in the Future. Description Logics 2009
22		Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: DL-Lite with Temporalised Concepts, Rigid Axioms and Roles. FroCos 2009: 133-148
21		Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev: Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. IJCAI 2009: 836-841
20		Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev: The DL-Lite Family and Relations. J. Artif. Intell. Res. (JAIR) 36: 1-69 (2009)
	2008
19		Roman Kontchakov, Michael Zakharyaschev: DL-Lite and Role Inclusions. ASWC 2008: 16-30
18		Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev: Topology, connectedness, and modal logic. Advances in Modal Logic 2008: 151-176
17		Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev: Checking DL-Lite Modularity with QBF Solvers. Description Logics 2008
16		Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Can You Tell the Difference Between DL-Lite Ontologies?. KR 2008: 285-295
15		Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev: On the Computational Complexity of Spatial Logics with Connectedness Constraints. LPAR 2008: 574-589
	2007
14		Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev: DL-Lite in the Light of First-Order Logic. AAAI 2007: 361-366
13		Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: Complexity of Reasoning in Entity Relationship Models. Description Logics 2007
12		Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Modularity in DL-Lite. Description Logics 2007
11		Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: Reasoning over Extended ER Models. ER 2007: 277-292
10		Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev: Query Answering in Expressive Variants of DL-Lite. SEBD 2007: 250-257
9		Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Temporalising Tractable Description Logics. TIME 2007: 11-22
8		Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Spatial Logic + Temporal Logic = ?. Handbook of Spatial Logics 2007: 497-564
	2006
7		Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Dynamic topological logics over spaces with continuous functions. Advances in Modal Logic 2006: 299-318
6		Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: On Dynamic Topological and Metric Logics. Studia Logica 84(1): 129-160 (2006)
	2005
5		Roman Kontchakov, Agi Kurucz, Michael Zakharyaschev: Undecidability of first-order intuitionistic and modal logics with two variables. Bulletin of Symbolic Logic 11(3): 428- (2005)
4		David Gabelaia, Roman Kontchakov, Ágnes Kurucz, Frank Wolter, Michael Zakharyaschev: Combining Spatial and Temporal Logics: Expressiveness vs. Complexity. J. Artif. Intell. Res. (JAIR) 23: 167-243 (2005)
	2004
3		Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Temporalising Tableaux. Studia Logica 76(1): 91-134 (2004)
	2003
2		David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: On the Computational Complexity of Spatio-Temporal Logics. FLAIRS Conference 2003: 460-464
1		Ian M. Hodkinson, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics. TIME 2003: 91-98

Coauthor Index

1	Alessandro Artale	[9] [10] [11] [13] [14] [20] [22] [23] [24] [26] [31] [32] [33] [40] [43]
2	Diego Calvanese	[10] [11] [13] [14] [20] [24] [26]
3	David Gabelaia	[2] [4] [35]
4	Ian M. Hodkinson	[1]
5	Yazmin Angélica Ibáñez-García	[43]
6	Stanislav Kikot	[37] [41] [45]
7	Boris Konev	[6] [7] [42] [44]
8	Ágnes Kurucz (Agi Kurucz)	[1] [2] [4] [5] [8] [35]
9	Michel Ludwig	[42] [44]
10	Carsten Lutz	[3] [9] [25] [29] [39]
11	Yavor Nenov	[34] [36] [38]
12	Vladimir V. Podolskii	[45]
13	Ian Pratt-Hartmann (Ian E. Pratt)	[15] [18] [27] [30] [34] [36] [38]
14	Luca Pulina	[21]
15	Vladislav Ryzhikov	[11] [13] [17] [22] [23] [31] [32] [33] [40] [43]
16	Ulrike Sattler	[21]
17	Thomas Schneider	[21] [42] [44]
18	Petra Selmer	[21]
19	David Toman	[25] [29] [39]
20	Frank Wolter	[1] [2] [3] [4] [6] [7] [8] [9] [12] [15] [16] [17] [18] [21] [25] [27] [28] [29] [35] [39] [42] [44]
21	Michael Zakharyaschev	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [44] [45]

Last update Wed May 16 23:21:41 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page