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
[j17] [c80] [j16] [i15] [c78] [i14] [c76] [c75] [j15] [c74] [c73] [c71] [c70] [c69] [c68] [c67] [c66] [i12] [j13] [c65] [c62] [i11] [i10] [c60] [c59] [c58] [c57] [j11] [j10] [j9] [c55] [c54] [c53] [c52] [c51] [c50] [i9] [i8] [j8] [c49] [c48] [c47] [c46] [c45] [c44] [c43] [c42] [c40] [c39] [i7] [i6] [c38] [c36] [c35] [i5] [i4] [c33] [c31] [c30] [c29] [c28] [c27] [c26] [i3] [i2] [i1] [j7] [j6] [c25] [c24] [c23] [c22] [c21] [j5] [c20] [c19] [c18] [c17] [c16] [c15] [c14] [c13] [c12] [c11] [c10] [c9] [c8] [c7] [c6] [c5] [c4] [p1] [j4] [c3] [j3] [j2] [j1] [c2] [c1]
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:25 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:
