default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRoman Kontchakov
Person information
- affiliation: Birkbeck, University of London, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c81]Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter:
An Update on Non-Rigid Designators in Modalised Description Logics (Extended Abstract). Description Logics 2024- [i16]Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter:
Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version). CoRR abs/2405.07656 (2024) - 2022
- [j17]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter
, Michael Zakharyaschev:
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries. J. Artif. Intell. Res. 75: 1223-1291 (2022) - [c80]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract). IJCAI 2022: 5703-5707 - 2021
- [j16]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
First-order rewritability of ontology-mediated queries in linear temporal logic. Artif. Intell. 299: 103536 (2021) - [i15]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries. CoRR abs/2111.06806 (2021) - 2020
- [c79]Guohui Xiao, Davide Lanti, Roman Kontchakov, Sarah Komla-Ebri, Elem Güzel Kalayci, Linfang Ding, Julien Corman, Benjamin Cogrel, Diego Calvanese, Elena Botoeva:
The Virtual Knowledge Graph System Ontop (Extended Abstract). Description Logics 2020 - [c78]Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Boolean Role Inclusions in DL-Lite With and Without Time. KR 2020: 582-591 - [c77]Guohui Xiao, Davide Lanti, Roman Kontchakov, Sarah Komla-Ebri, Elem Güzel Kalayci, Linfang Ding, Julien Corman, Benjamin Cogrel, Diego Calvanese, Elena Botoeva:
The Virtual Knowledge Graph System Ontop. ISWC (2) 2020: 259-277 - [i14]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic. CoRR abs/2004.07221 (2020)
2010 – 2019
- 2019
- [c76]Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
A Note on DL-Lite with Boolean Role Inclusions. Description Logics 2019 - [c75]Sebastian Brandt, Diego Calvanese, Elem Güzel Kalayci, Roman Kontchakov, Benjamin Mörzinger, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev:
Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases. TIME 2019: 7:1-7:15 - 2018
- [j15]Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev:
Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity. J. ACM 65(5): 28:1-28:51 (2018) - [c74]Guohui Xiao, Diego Calvanese, Roman Kontchakov, Domenico Lembo, Antonella Poggi, Riccardo Rosati, Michael Zakharyaschev:
Ontology-Based Data Access: A Survey. IJCAI 2018: 5511-5519 - [c73]Stanislav Kikot, Roman Kontchakov, Salvatore Rapisarda, Michael Zakharyaschev:
STypeS: Nonrecursive Datalog Rewriter for Linear TGDs and Conjunctive Queries. OTM Conferences (2) 2018: 441-460 - [c72]Guohui Xiao, Roman Kontchakov, Benjamin Cogrel, Diego Calvanese, Elena Botoeva:
Efficient Handling of SPARQL OPTIONAL for OBDA. ISWC (1) 2018: 354-373 - [i13]Guohui Xiao, Roman Kontchakov, Benjamin Cogrel, Diego Calvanese, Elena Botoeva:
Efficient Handling of SPARQL OPTIONAL for OBDA (Extended Version). CoRR abs/1806.05918 (2018) - 2017
- [j14]Diego Calvanese, Benjamin Cogrel, Sarah Komla-Ebri, Roman Kontchakov, Davide Lanti, Martin Rezk, Mariano Rodriguez-Muro, Guohui Xiao:
Ontop: Answering SPARQL queries over relational databases. Semantic Web 8(3): 471-487 (2017) - [c71]Sebastian Brandt, Elem Güzel Kalayci, Roman Kontchakov, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev:
Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic. AAAI 2017: 1070-1076 - [c70]Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
On the Parametrised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL. Description Logics 2017 - [c69]Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries. Description Logics 2017 - [c68]Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Vladislav Ryzhikov, Michael Zakharyaschev:
The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries. PODS 2017: 201-216 - [c67]Dag Hovland, Roman Kontchakov, Martin G. Skjæveland, Arild Waaler, Michael Zakharyaschev:
Ontology-Based Data Access to Slegge. ISWC (2) 2017: 120-129 - [c66]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk). TIME 2017: 1:1-1:37 - [e4]Alessandro Artale, Birte Glimm, Roman Kontchakov:
Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017. CEUR Workshop Proceedings 1879, CEUR-WS.org 2017 [contents] - [e3]Nick Bassiliades, Antonis Bikakis, Stefania Costantini, Enrico Franconi, Adrian Giurca, Roman Kontchakov, Theodore Patkos, Fariba Sadri, William Van Woensel:
Proceedings of the Doctoral Consortium, Challenge, Industry Track, Tutorials and Posters @ RuleML+RR 2017 hosted by International Joint Conference on Rules and Reasoning 2017 (RuleML+RR 2017), London, UK, July 11-15, 2017. CEUR Workshop Proceedings 1875, CEUR-WS.org 2017 [contents] - [e2]Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman:
Rules and Reasoning - International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings. Lecture Notes in Computer Science 10364, Springer 2017, ISBN 978-3-319-61251-5 [contents] - [i12]Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Vladislav Ryzhikov, Michael Zakharyaschev:
The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries. CoRR abs/1702.03358 (2017) - 2016
- [j13]Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Games for query inseparability of description logic knowledge bases. Artif. Intell. 234: 78-119 (2016) - [c65]Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev:
Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries. Description Logics 2016 - [c64]Víctor Gutiérrez-Basulto, Jean Christoph Jung, Roman Kontchakov:
On Decidability and Tractability of Querying in Temporal EL. Description Logics 2016 - [c63]Víctor Gutiérrez-Basulto, Jean Christoph Jung, Roman Kontchakov:
Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries. IJCAI 2016: 1102-1108 - [c62]Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, Michael Zakharyaschev:
Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic. IJCAI 2016: 1160-1166 - [c61]Roman Kontchakov, Egor V. Kostylev:
On Expressibility of Non-Monotone Operators in SPARQL. KR 2016: 369-379 - [i11]Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev:
Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries. CoRR abs/1604.05258 (2016) - [i10]Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev:
Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity. CoRR abs/1605.01207 (2016) - 2015
- [j12]Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Roman Kontchakov, Egor V. Kostylev:
Queries with negation and inequalities over lightweight ontologies. J. Web Semant. 35: 184-202 (2015) - [c60]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Tractable Interval Temporal Propositional and Description Logics. AAAI 2015: 1417-1423 - [c59]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Interval Temporal Description Logics. Description Logics 2015 - [c58]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
First-Order Rewritability of Temporal Ontology-Mediated Queries. IJCAI 2015: 2706-2712 - [c57]Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
When Are Description Logic Knowledge Bases Indistinguishable? IJCAI 2015: 4240-4246 - [c56]Diego Calvanese, Benjamin Cogrel, Elem Guzel Kalayci, Sarah Komla-Ebri, Roman Kontchakov, Davide Lanti, Martin Rezk, Mariano Rodriguez-Muro, Guohui Xiao:
OBDA with the Ontop Framework. SEBD 2015: 296-303 - 2014
- [j11]Georg Gottlob, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Thomas Schwentick, Michael Zakharyaschev:
The price of query rewriting in ontology-based data access. Artif. Intell. 213: 42-59 (2014) - [j10]Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev:
Spatial reasoning with RCC8 and connectedness constraints in Euclidean spaces. Artif. Intell. 217: 43-75 (2014) - [j9]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
A Cookbook for Temporal Conceptual Data Modelling with Description Logics. ACM Trans. Comput. Log. 15(3): 25:1-25:50 (2014) - [c55]Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev:
On the succinctness of query rewriting over shallow ontologies. CSL-LICS 2014: 57:1-57:10 - [c54]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Temporal OBDA with LTL and DL-Lite. Description Logics 2014: 21-32 - [c53]Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query Inseparability by Games. Description Logics 2014: 83-95 - [c52]Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query Inseparability for Description Logic Knowledge Bases. KR 2014 - [c51]Roman Kontchakov, Michael Zakharyaschev:
An Introduction to Description Logics and Query Rewriting. Reasoning Web 2014: 195-244 - [c50]Roman Kontchakov, Martin Rezk, Mariano Rodriguez-Muro, Guohui Xiao, Michael Zakharyaschev:
Answering SPARQL Queries over Databases under OWL 2 QL Entailment Regime. ISWC (1) 2014: 552-567 - [e1]Roman Kontchakov, Marie-Laure Mugnier:
Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings. Lecture Notes in Computer Science 8741, Springer 2014, ISBN 978-3-319-11112-4 [contents] - [i9]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
The DL-Lite Family and Relations. CoRR abs/1401.3487 (2014) - [i8]Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev:
On the Succinctness of Query Rewriting over OWL 2 QL Ontologies with Shallow Chases. CoRR abs/1401.4420 (2014) - 2013
- [j8]Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev:
Topological Logics with Connectedness over Euclidean Spaces. ACM Trans. Comput. Log. 14(2): 13:1-13:48 (2013) - [c49]Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Temporalising OWL 2 QL. Description Logics 2013: 17-28 - [c48]Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev:
Query Rewriting over Shallow Ontologies. Description Logics 2013: 316-327 - [c47]Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Conjunctive Query Inseparability in OWL 2 QL is ExpTime-hard. Description Logics 2013: 353-363 - [c46]Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev:
Query Rewriting and Optimisation with Database Dependencies in Ontop. Description Logics 2013: 917-929 - [c45]Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Temporal Description Logic for Ontology-Based Data Access. IJCAI 2013: 711-717 - [c44]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
The Complexity of Clausal Fragments of LTL. LPAR 2013: 35-52 - [c43]Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev:
OBDA with Ontop. ORE 2013: 101-106 - [c42]Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev:
Ontop at Work. OWLED 2013 - [c41]Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Roman Kontchakov, Egor V. Kostylev:
Conjunctive Queries with Negation over DL-Lite: A Closer Look. RR 2013: 109-122 - [c40]Roman Kontchakov, Mariano Rodriguez-Muro, Michael Zakharyaschev:
Ontology-Based Data Access with Databases: A Short Course. Reasoning Web 2013: 194-229 - [c39]Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev:
Ontology-Based Data Access: Ontop of Databases. ISWC (1) 2013: 558-573 - [i7]Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Temporal Description Logic for Ontology-Based Data Access (Extended Version). CoRR abs/1304.5185 (2013) - [i6]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
The Complexity of Clausal Fragments of LTL. CoRR abs/1306.5088 (2013) - 2012
- [c38]Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev:
Long Rewritings, Short Rewritings. Description Logics 2012 - [c37]Alessandro Artale, Vladislav Ryzhikov, Roman Kontchakov:
DL-Lite with Attributes and Datatypes. ECAI 2012: 61-66 - [c36]Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev:
Exponential Lower Bounds and Separation for Query Rewriting. ICALP (2) 2012: 263-274 - [c35]Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev:
Conjunctive Query Answering with OWL 2 QL. KR 2012 - [c34]Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Roman Kontchakov:
An Update on Query Answering with Restricted Forms of Negation. RR 2012: 75-89 - [i5]Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev:
Exponential Lower Bounds and Separation for Query Rewriting. CoRR abs/1202.4193 (2012) - [i4]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
A Cookbook for Temporal Conceptual Data Modelling with Description Logics. CoRR abs/1209.5571 (2012) - 2011
- [c33]Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev:
Conjunctive Query Inseparability of OWL 2 QL TBoxes. AAAI 2011: 221-226 - [c32]Alessandro Artale, Yazmín Angélica Ibáñez-García, Roman Kontchakov, Vladislav Ryzhikov:
DL-Lite with Attributes and Sub-Roles (Extended Abstract). Description Logics 2011 - [c31]Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev:
On (In)Tractability of OBDA with OWL 2 QL. Description Logics 2011 - [c30]Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev:
Module Extraction via Query Inseparability in OWL 2 QL. Description Logics 2011 - [c29]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models. FroCoS 2011: 1-11 - [c28]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 - [c27]Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev:
The Combined Approach to Ontology-Based Data Access. IJCAI 2011: 2656-2661 - [c26]Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev:
Polynomial Conjunctive Query Rewriting under Unary Inclusion Dependencies. RR 2011: 124-138 - [i3]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) - [i2]David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity. CoRR abs/1110.2726 (2011) - [i1]Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev:
Topological Logics with Connectedness over Euclidean Spaces. CoRR abs/1110.4034 (2011) - 2010
- [j7]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) - [j6]Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev:
Spatial logics with connectedness predicates. Log. Methods Comput. Sci. 6(3) (2010) - [c25]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Past and Future of DL-Lite. AAAI 2010: 243-248 - [c24]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Temporal Conceptual Modelling with DL-Lite. Description Logics 2010 - [c23]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Complexity of Reasoning over Temporal Data Models. ER 2010: 174-187 - [c22]Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev:
The Combined Approach to Query Answering in DL-Lite. KR 2010 - [c21]Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev:
Interpreting Topological Logics over Euclidean Spaces. KR 2010
2000 – 2009
- 2009
- [j5]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
The DL-Lite Family and Relations. J. Artif. Intell. Res. 36: 1-69 (2009) - [c20]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
Adding Weight to DL-Lite. Description Logics 2009 - [c19]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
DL-Lite without UNA. Description Logics 2009 - [c18]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Extending DL-Lite Sometime in the Future. Description Logics 2009 - [c17]Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev:
Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. Description Logics 2009 - [c16]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
DL-Lite with Temporalised Concepts, Rigid Axioms and Roles. FroCoS 2009: 133-148 - [c15]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 - 2008
- [c14]Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev:
Topology, connectedness, and modal logic. Advances in Modal Logic 2008: 151-176 - [c13]Roman Kontchakov, Michael Zakharyaschev:
DL-Lite and Role Inclusions. ASWC 2008: 16-30 - [c12]Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Checking DL-Lite Modularity with QBF Solvers. Description Logics 2008 - [c11]Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Can You Tell the Difference Between DL-Lite Ontologies?. KR 2008: 285-295 - [c10]Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev:
On the Computational Complexity of Spatial Logics with Connectedness Constraints. LPAR 2008: 574-589 - 2007
- [c9]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
DL-Lite in the Light of First-Order Logic. AAAI 2007: 361-366 - [c8]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Complexity of Reasoning in Entity Relationship Models. Description Logics 2007 - [c7]Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Modularity in DL-Lite. Description Logics 2007 - [c6]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Reasoning over Extended ER Models. ER 2007: 277-292 - [c5]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
Query Answering in Expressive Variants of DL-Lite. SEBD 2007: 250-257 - [c4]Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Temporalising Tractable Description Logics. TIME 2007: 11-22 - [p1]Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
Spatial Logic + Temporal Logic = ?. Handbook of Spatial Logics 2007: 497-564 - 2006
- [j4]Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
On Dynamic Topological and Metric Logics. Stud Logica 84(1): 129-160 (2006) - [c3]Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Dynamic topological logics over spaces with continuous functions. Advances in Modal Logic 2006: 299-318 - 2005
- [j3]Roman Kontchakov, Agi Kurucz, Michael Zakharyaschev:
Undecidability of first-order intuitionistic and modal logics with two variables. Bull. Symb. Log. 11(3): 428- (2005) - [j2]David Gabelaia, Roman Kontchakov, Ágnes Kurucz, Frank Wolter, Michael Zakharyaschev:
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity. J. Artif. Intell. Res. 23: 167-243 (2005) - 2004
- [b1]Roman Kontchakov:
Monodic first-order temporal logics : complexity, tableaux, and applications. King's College London, UK, 2004 - [j1]Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Temporalising Tableaux. Stud Logica 76(1): 91-134 (2004) - 2003
- [c2]David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
On the Computational Complexity of Spatio-Temporal Logics. FLAIRS 2003: 460-464 - [c1]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