
Michael Zakharyaschev
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
- 2020
- [c125]Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev:
Recognising FO-rewritability of Ontology-Mediated Queries in Linear Temporal Logic. Description Logics 2020 - [c124]Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev:
A Data Complexity and Rewritability Tetrachotomy of Ontology-Mediated Queries with a Covering Axiom. KR 2020: 403-413 - [c123]Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Boolean Role Inclusions in DL-Lite With and Without Time. KR 2020: 582-591 - [c122]Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev:
Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course. Reasoning Web 2020: 109-148 - [i24]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) - [i23]Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev:
A data complexity and rewritability tetrachotomy of ontology-mediated queries with a covering axiom. CoRR abs/2006.04167 (2020)
2010 – 2019
- 2019
- [j51]Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query inseparability for ALC ontologies. Artif. Intell. 272: 1-51 (2019) - [j50]Elem Güzel Kalayci
, Sebastian Brandt, Diego Calvanese, Vladislav Ryzhikov, Guohui Xiao
, Michael Zakharyaschev:
Ontology-based access to temporal data with Ontop: A framework proposal. Int. J. Appl. Math. Comput. Sci. 29(1): 17-30 (2019) - [j49]Stanislav Kikot, Agi Kurucz, Yoshihito Tanaka, Frank Wolter, Michael Zakharyaschev:
Kripke Completeness of strictly positive Modal Logics over Meet-Semilattices with operators. J. Symb. Log. 84(2): 533-588 (2019) - [c121]Olga Gerasimova, Stanislav Kikot, Michael Zakharyaschev:
Checking the Data Complexity of Ontology-Mediated Queries: A Case Study with Non-uniform CSPs and Polyanna. Description Logic, Theory Combination, and All That 2019: 329-351 - [c120]Jean Christoph Jung
, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev:
Model Comparison Games for Horn Description Logics: A Summary. Description Logics 2019 - [c119]Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
A Note on DL-Lite with Boolean Role Inclusions. Description Logics 2019 - [c118]Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev:
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics. IJCAI 2019: 1851-1857 - [c117]Jean Christoph Jung
, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev:
Model Comparison Games for Horn Description Logics. LICS 2019: 1-14 - [c116]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 - [i22]Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query Inseparability for ALC Ontologies. CoRR abs/1902.00014 (2019) - [i21]Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev:
Model Comparison Games for Horn Description Logics. CoRR abs/1904.06919 (2019) - [i20]Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev:
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version). CoRR abs/1905.12990 (2019) - 2018
- [j48]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) - [j47]Sebastian Brandt, Elem Güzel Kalayci
, Vladislav Ryzhikov, Guohui Xiao
, Michael Zakharyaschev:
Querying Log Data with Metric Temporal Logic. J. Artif. Intell. Res. 62: 829-877 (2018) - [c115]Stanislav Kikot, Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
On Strictly Positive Modal Logics with S4.3 Frames. Advances in Modal Logic 2018: 427-446 - [c114]Stanislav Kikot, Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev:
On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words. Description Logics 2018 - [c113]Michael Zakharyaschev, Stanislav Kikot, Olga Gerasimova:
Towards a Data Complexity Classification of Ontology-Mediated Queries with Covering. Description Logics 2018 - [c112]Guohui Xiao, Diego Calvanese, Roman Kontchakov, Domenico Lembo, Antonella Poggi, Riccardo Rosati, Michael Zakharyaschev:
Ontology-Based Data Access: A Survey. IJCAI 2018: 5511-5519 - [c111]Stanislav Kikot, Roman Kontchakov, Salvatore Rapisarda, Michael Zakharyaschev:
STypeS: Nonrecursive Datalog Rewriter for Linear TGDs and Conjunctive Queries. OTM Conferences (2) 2018: 441-460 - [i19]Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. CoRR abs/1804.07805 (2018) - 2017
- [j46]Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco
, Michael Zakharyaschev:
Horn Fragments of the Halpern-Shoham Interval Temporal Logic. ACM Trans. Comput. Log. 18(3): 22:1-22:39 (2017) - [c110]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 - [c109]Sebastian Brandt, Elem Güzel Kalayci
, Vladislav Ryzhikov, Guohui Xiao
, Michael Zakharyaschev:
A Framework for Temporal Ontology-Based Data Access: A Proposal. ADBIS (Short Papers and Workshops) 2017: 161-173 - [c108]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 - [c107]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 - [c106]Olga Gerasimova, Stanislav Kikot, Vladimir V. Podolskii, Michael Zakharyaschev:
On the Data Complexity of Ontology-Mediated Queries with a Covering Axiom. Description Logics 2017 - [c105]Olga Gerasimova, Stanislav Kikot, Vladimir V. Podolskii, Michael Zakharyaschev:
More on the Data Complexity of Answering Ontology-Mediated Queries with a Covering Axiom. KESW 2017: 143-158 - [c104]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 - [c103]Dag Hovland
, Roman Kontchakov, Martin G. Skjæveland, Arild Waaler, Michael Zakharyaschev:
Ontology-Based Data Access to Slegge. International Semantic Web Conference (2) 2017: 120-129 - [c102]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 - [i18]Diego Calvanese, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev:
Metric Temporal Logic for Ontology-Based Data Access over Log Data. CoRR abs/1701.00976 (2017) - [i17]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) - [i16]Sebastian Brandt, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev:
Querying Log Data with Metric Temporal Logic. CoRR abs/1703.08982 (2017) - [i15]Stanislav Kikot, Ágnes Kurucz, Yoshihito Tanaka, Frank Wolter, Michael Zakharyaschev:
Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators. CoRR abs/1708.03403 (2017) - 2016
- [j45]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) - [c101]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 - [c100]Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
When is Query Inseparability for ALC Ontologies Decidable? Description Logics 2016 - [c99]Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query-Based Entailment and Inseparability for ALC Ontologies. IJCAI 2016: 1001-1007 - [c98]Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Conservative Rewritability of Description Logic TBoxes. IJCAI 2016: 1153-1159 - [c97]Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, Michael Zakharyaschev:
Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic. IJCAI 2016: 1160-1166 - [c96]Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. Reasoning Web 2016: 27-89 - [i14]Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev:
Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report). CoRR abs/1604.03515 (2016) - [i13]Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query-Based Entailment and Inseparability for ALC Ontologies (Full Version). CoRR abs/1604.04164 (2016) - [i12]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) - [i11]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
- [c95]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Tractable Interval Temporal Propositional and Description Logics. AAAI 2015: 1417-1423 - [c94]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Interval Temporal Description Logics. Description Logics 2015 - [c93]Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Conservative Rewritability of Description Logic TBoxes: First Results. Description Logics 2015 - [c92]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
First-Order Rewritability of Temporal Ontology-Mediated Queries. IJCAI 2015: 2706-2712 - [c91]Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
When Are Description Logic Knowledge Bases Indistinguishable? IJCAI 2015: 4240-4246 - 2014
- [j44]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) - [j43]Roman Kontchakov
, Ian Pratt-Hartmann, Michael Zakharyaschev:
Spatial reasoning with RCC8 and connectedness constraints in Euclidean spaces. Artif. Intell. 217: 43-75 (2014) - [j42]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) - [c90]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 - [c89]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Temporal OBDA with LTL and DL-Lite. Description Logics 2014: 21-32 - [c88]Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query Inseparability by Games. Description Logics 2014: 83-95 - [c87]Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query Inseparability for Description Logic Knowledge Bases. KR 2014 - [c86]Roman Kontchakov, Michael Zakharyaschev:
An Introduction to Description Logics and Query Rewriting. Reasoning Web 2014: 195-244 - [c85]Roman Kontchakov, Martin Rezk, Mariano Rodriguez-Muro, Guohui Xiao, Michael Zakharyaschev:
Answering SPARQL Queries over Databases under OWL 2 QL Entailment Regime. International Semantic Web Conference (1) 2014: 552-567 - [i10]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
The DL-Lite Family and Relations. CoRR abs/1401.3487 (2014) - [i9]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
- [j41]Milenko Mosurovic, Nenad Krdzavac, Henson Graves, Michael Zakharyaschev:
A Decidable Extension of SROIQ with Complex Role Chains and Unions. J. Artif. Intell. Res. 47: 809-851 (2013) - [j40]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) - [c84]Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Temporalising OWL 2 QL. Description Logics 2013: 17-28 - [c83]Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev:
Query Rewriting over Shallow Ontologies. Description Logics 2013: 316-327 - [c82]Stanislav Kikot, Dmitry Tsarkov, Michael Zakharyaschev, Evgeny Zolin:
Query Answering via Modal Definability with FaCT++: First Blood. Description Logics 2013: 328-340 - [c81]Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Conjunctive Query Inseparability in OWL 2 QL is ExpTime-hard. Description Logics 2013: 353-363 - [c80]Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev:
Query Rewriting and Optimisation with Database Dependencies in Ontop. Description Logics 2013: 917-929 - [c79]Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Temporal Description Logic for Ontology-Based Data Access. IJCAI 2013: 711-717 - [c78]Alessandro Artale, Roman Kontchakov
, Vladislav Ryzhikov, Michael Zakharyaschev:
The Complexity of Clausal Fragments of LTL. LPAR 2013: 35-52 - [c77]Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev:
OBDA with Ontop. ORE 2013: 101-106 - [c76]Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev:
Ontop at Work. OWLED 2013 - [c75]Roman Kontchakov
, Mariano Rodriguez-Muro, Michael Zakharyaschev:
Ontology-Based Data Access with Databases: A Short Course. Reasoning Web 2013: 194-229 - [c74]Mariano Rodriguez-Muro, Roman Kontchakov
, Michael Zakharyaschev:
Ontology-Based Data Access: Ontop of Databases. International Semantic Web Conference (1) 2013: 558-573 - [i8]Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Temporal Description Logic for Ontology-Based Data Access (Extended Version). CoRR abs/1304.5185 (2013) - [i7]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
The Complexity of Clausal Fragments of LTL. CoRR abs/1306.5088 (2013) - 2012
- [c73]Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev:
Long Rewritings, Short Rewritings. Description Logics 2012 - [c72]Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev:
Exponential Lower Bounds and Separation for Query Rewriting. ICALP (2) 2012: 263-274 - [c71]Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev:
Conjunctive Query Answering with OWL 2 QL. KR 2012 - [i6]Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev:
Exponential Lower Bounds and Separation for Query Rewriting. CoRR abs/1202.4193 (2012) - [i5]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
A Cookbook for Temporal Conceptual Data Modelling with Description Logics. CoRR abs/1209.5571 (2012) - 2011
- [c70]Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev:
Conjunctive Query Inseparability of OWL 2 QL TBoxes. AAAI 2011 - [c69]Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev:
On (In)Tractability of OBDA with OWL 2 QL. Description Logics 2011 - [c68]Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev:
Module Extraction via Query Inseparability in OWL 2 QL. Description Logics 2011 - [c67]Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
On P/NP Dichotomies for EL Subsumption under Relational Constraints. Description Logics 2011 - [c66]Alessandro Artale, Roman Kontchakov
, Vladislav Ryzhikov, Michael Zakharyaschev:
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models. FroCoS 2011: 1-11 - [c65]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 - [c64]Roman Kontchakov
, Carsten Lutz
, David Toman, Frank Wolter, Michael Zakharyaschev:
The Combined Approach to Ontology-Based Data Access. IJCAI 2011: 2656-2661 - [c63]Stanislav Kikot, Roman Kontchakov
, Michael Zakharyaschev:
Polynomial Conjunctive Query Rewriting under Unary Inclusion Dependencies. RR 2011: 124-138 - [c62]Michael Zakharyaschev:
Logic in the Time of WWW: An OWL View. WoLLIC 2011: 6-7 - [c61]Michael Zakharyaschev:
Query Inseparability and Module Extraction in OWL 2 QL. WoMO 2011: 10-11 - [e5]Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev:
Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011. CEUR Workshop Proceedings 745, CEUR-WS.org 2011 [contents] - [i4]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) - [i3]David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity. CoRR abs/1110.2726 (2011) - [i2]Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev:
Topological Logics with Connectedness over Euclidean Spaces. CoRR abs/1110.4034 (2011) - 2010
- [j39]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) - [j38]Mikhail Sheremet
, Frank Wolter, Michael Zakharyaschev:
A modal logic framework for reasoning about comparative distances and topology. Ann. Pure Appl. Log. 161(4): 534-559 (2010) - [j37]Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev:
Spatial logics with connectedness predicates. Log. Methods Comput. Sci. 6(3) (2010) - [c60]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Past and Future of DL-Lite. AAAI 2010 - [c59]Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description Logic EL. Advances in Modal Logic 2010: 271-291 - [c58]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Temporal Conceptual Modelling with DL-Lite. Description Logics 2010 - [c57]Alessandro Artale, Roman Kontchakov
, Vladislav Ryzhikov, Michael Zakharyaschev:
Complexity of Reasoning over Temporal Data Models. ER 2010: 174-187 - [c56]Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev:
The Combined Approach to Query Answering in DL-Lite. KR 2010 - [c55]Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev:
Interpreting Topological Logics over Euclidean Spaces. KR 2010
2000 – 2009
- 2009
- [j36]Alessandro Artale, Diego Calvanese
, Roman Kontchakov
, Michael Zakharyaschev:
The DL-Lite Family and Relations. J. Artif. Intell. Res. 36: 1-69 (2009) - [c54]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
Adding Weight to DL-Lite. Description Logics 2009 - [c53]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
DL-Lite without UNA. Description Logics 2009 - [c52]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Extending DL-Lite Sometime in the Future. Description Logics 2009 - [c51]Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev:
Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. Description Logics 2009 - [c50]Ulrike Sattler, Thomas Schneider, Michael Zakharyaschev:
Which Kind of Module Should I Extract? Description Logics 2009 - [c49]Alessandro Artale, Roman Kontchakov
, Vladislav Ryzhikov, Michael Zakharyaschev:
DL-Lite with Temporalised Concepts, Rigid Axioms and Roles. FroCoS 2009: 133-148 - [c48]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
- [j35]Frank Wolter, Michael Zakharyaschev:
Undecidability of the unification and admissibility problems for modal and description logics. ACM Trans. Comput. Log. 9(4): 25:1-25:20 (2008) - [c47]Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev:
Topology, connectedness, and modal logic. Advances in Modal Logic 2008: 151-176 - [c46]Roman Kontchakov
, Michael Zakharyaschev:
DL-Lite and Role Inclusions. ASWC 2008: 16-30 - [c45]Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Checking DL-Lite Modularity with QBF Solvers. Description Logics 2008 - [c44]Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Can You Tell the Difference Between DL-Lite Ontologies?. KR 2008: 285-295 - [c43]Roman Kontchakov
, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev:
On the Computational Complexity of Spatial Logics with Connectedness Constraints. LPAR 2008: 574-589 - [c42]Carsten Lutz
, Frank Wolter, Michael Zakharyaschev:
Temporal Description Logics: A Survey. TIME 2008: 3-14 - 2007
- [j34]Mikhail Sheremet
, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev:
A Logic for Concepts and Similarity. J. Log. Comput. 17(3): 415-452 (2007) - [c41]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
DL-Lite in the Light of First-Order Logic. AAAI 2007: 361-366 - [c40]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Complexity of Reasoning in Entity Relationship Models. Description Logics 2007 - [c39]Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Modularity in DL-Lite. Description Logics 2007 - [c38]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Reasoning over Extended ER Models. ER 2007: 277-292 - [c37]Michael Zakharyaschev:
Temporalising Logics: Fifteen Years After. FroCoS 2007: 72 - [c36]