The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Michael Zakharyaschev" ( http://dblp.L3S.de/Authors/Michael_Zakharyaschev )

URL (Homepage):  http://www.dcs.bbk.ac.uk/~michael/  Author page on DBLP  Author page in RDF  Community of Michael Zakharyaschev in ASPL-2

Publication years (Num. hits)
1987-1998 (18) 1999-2001 (16) 2002-2003 (20) 2004-2006 (19) 2007-2008 (17) 2009-2010 (17) 2011-2012 (19) 2013 (15) 2014-2015 (16) 2016-2017 (25) 2018-2019 (20)
Publication types (Num. hits)
article(73) book(1) incollection(2) inproceedings(121) proceedings(5)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 17 occurrences of 13 keywords

Results
Found 203 publication records. Showing 202 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Elem Güzel Kalayci, Sebastian Brandt 0001, Diego Calvanese, Vladislav Ryzhikov, Guohui Xiao 0001, Michael Zakharyaschev Ontology-based access to temporal data with Ontop: A framework proposal. Search on Bibsonomy Applied Mathematics and Computer Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stanislav Kikot, Agi Kurucz, Yoshihito Tanaka, Frank Wolter, Michael Zakharyaschev Kripke Completeness of strictly positive Modal Logics over Meet-Semilattices with operators. Search on Bibsonomy J. Symb. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev Query inseparability for ALC ontologies. Search on Bibsonomy Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev Model Comparison Games for Horn Description Logics. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Vladislav 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). Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev Query Inseparability for ALC Ontologies. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev Model Comparison Games for Horn Description Logics. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Olga Gerasimova, Stanislav Kikot, Michael Zakharyaschev Checking the Data Complexity of Ontology-Mediated Queries: A Case Study with Non-uniform CSPs and Polyanna. Search on Bibsonomy Description Logic, Theory Combination, and All That The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sebastian Brandt 0001, Diego Calvanese, Elem Güzel Kalayci, Roman Kontchakov, Benjamin Mörzinger, Vladislav Ryzhikov, Guohui Xiao 0001, Michael Zakharyaschev Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases. Search on Bibsonomy TIME The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev A Note on DL-Lite with Boolean Role Inclusions. Search on Bibsonomy Description Logics The full citation details ... 2019 DBLP  BibTeX  RDF
1Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev Model Comparison Games for Horn Description Logics: A Summary. Search on Bibsonomy Description Logics The full citation details ... 2019 DBLP  BibTeX  RDF
1Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity. Search on Bibsonomy J. ACM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sebastian Brandt 0001, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao 0001, Michael Zakharyaschev Querying Log Data with Metric Temporal Logic. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Stanislav Kikot, Roman Kontchakov, Salvatore Rapisarda, Michael Zakharyaschev STypeS: Nonrecursive Datalog Rewriter for Linear TGDs and Conjunctive Queries. Search on Bibsonomy OTM Conferences (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stanislav Kikot, Agi Kurucz, Frank Wolter, Michael Zakharyaschev On Strictly Positive Modal Logics with S4.3 Frames. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Michael Zakharyaschev, Stanislav Kikot, Olga Gerasimova Towards a Data Complexity Classification of Ontology-Mediated Queries with Covering. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Stanislav Kikot, Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Guohui Xiao 0001, Diego Calvanese, Roman Kontchakov, Domenico Lembo, Antonella Poggi, Riccardo Rosati, Michael Zakharyaschev Ontology-Based Data Access: A Survey. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev Horn Fragments of the Halpern-Shoham Interval Temporal Logic. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stanislav Kikot, Ágnes Kurucz, Yoshihito Tanaka, Frank Wolter, Michael Zakharyaschev Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Diego Calvanese, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao 0001, Michael Zakharyaschev Metric Temporal Logic for Ontology-Based Data Access over Log Data. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Meghyn 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. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Sebastian Brandt 0001, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao 0001, Michael Zakharyaschev Querying Log Data with Metric Temporal Logic. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Dag Hovland, Roman Kontchakov, Martin G. Skjæveland, Arild Waaler, Michael Zakharyaschev Ontology-Based Data Access to Slegge. Search on Bibsonomy International Semantic Web Conference (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Olga Gerasimova, Stanislav Kikot, Vladimir V. Podolskii, Michael Zakharyaschev More on the Data Complexity of Answering Ontology-Mediated Queries with a Covering Axiom. Search on Bibsonomy KESW The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Meghyn 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. Search on Bibsonomy PODS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sebastian Brandt 0001, Elem Güzel Kalayci, Roman Kontchakov, Vladislav Ryzhikov, Guohui Xiao 0001, Michael Zakharyaschev Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk). Search on Bibsonomy TIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sebastian Brandt 0001, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao 0001, Michael Zakharyaschev A Framework for Temporal Ontology-Based Data Access: A Proposal. Search on Bibsonomy ADBIS (Short Papers and Workshops) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Olga Gerasimova, Stanislav Kikot, Vladimir V. Podolskii, Michael Zakharyaschev On the Data Complexity of Ontology-Mediated Queries with a Covering Axiom. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev On the Parametrised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev Games for query inseparability of description logic knowledge bases. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev Query-Based Entailment and Inseparability for ALC Ontologies (Full Version). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev When is Query Inseparability for ALC Ontologies Decidable? Search on Bibsonomy Description Logics The full citation details ... 2016 DBLP  BibTeX  RDF
1Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries. Search on Bibsonomy Description Logics The full citation details ... 2016 DBLP  BibTeX  RDF
1Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. Search on Bibsonomy Reasoning Web The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev Query-Based Entailment and Inseparability for ALC Ontologies. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev Conservative Rewritability of Description Logic TBoxes. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, Michael Zakharyaschev Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev Tractable Interval Temporal Propositional and Description Logics. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev Interval Temporal Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2015 DBLP  BibTeX  RDF
1Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev Conservative Rewritability of Description Logic TBoxes: First Results. Search on Bibsonomy Description Logics The full citation details ... 2015 DBLP  BibTeX  RDF
1Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev When Are Description Logic Knowledge Bases Indistinguishable? Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev First-Order Rewritability of Temporal Ontology-Mediated Queries. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev A Cookbook for Temporal Conceptual Data Modelling with Description Logics. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Thomas Schwentick, Michael Zakharyaschev The price of query rewriting in ontology-based data access. Search on Bibsonomy Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev Spatial reasoning with RCC8 and connectedness constraints in Euclidean spaces. Search on Bibsonomy Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev The DL-Lite Family and Relations. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev On the Succinctness of Query Rewriting over OWL 2 QL Ontologies with Shallow Chases. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Roman Kontchakov, Martin Rezk, Mariano Rodriguez-Muro, Guohui Xiao 0001, Michael Zakharyaschev Answering SPARQL Queries over Databases under OWL 2 QL Entailment Regime. Search on Bibsonomy International Semantic Web Conference (1) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev Query Inseparability for Description Logic Knowledge Bases. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev On the succinctness of query rewriting over shallow ontologies. Search on Bibsonomy CSL-LICS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev Temporal OBDA with LTL and DL-Lite. Search on Bibsonomy Description Logics The full citation details ... 2014 DBLP  BibTeX  RDF
1Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev Query Inseparability by Games. Search on Bibsonomy Description Logics The full citation details ... 2014 DBLP  BibTeX  RDF
1Roman Kontchakov, Michael Zakharyaschev An Introduction to Description Logics and Query Rewriting. Search on Bibsonomy Reasoning Web The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev Topological Logics with Connectedness over Euclidean Spaces. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Milenko Mosurovic, Nenad Krdzavac, Henson Graves, Michael Zakharyaschev A Decidable Extension of SROIQ with Complex Role Chains and Unions. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev Temporal Description Logic for Ontology-Based Data Access (Extended Version) Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev The Complexity of Clausal Fragments of LTL. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev The Complexity of Clausal Fragments of LTL. Search on Bibsonomy LPAR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev Ontology-Based Data Access: Ontop of Databases. Search on Bibsonomy International Semantic Web Conference (1) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev Ontop at Work. Search on Bibsonomy OWLED The full citation details ... 2013 DBLP  BibTeX  RDF
1Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev OBDA with Ontop. Search on Bibsonomy ORE The full citation details ... 2013 DBLP  BibTeX  RDF
1Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev Query Rewriting over Shallow Ontologies. Search on Bibsonomy Description Logics The full citation details ... 2013 DBLP  BibTeX  RDF
1Stanislav Kikot, Dmitry Tsarkov, Michael Zakharyaschev, Evgeny Zolin Query Answering via Modal Definability with FaCT++: First Blood. Search on Bibsonomy Description Logics The full citation details ... 2013 DBLP  BibTeX  RDF
1Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev Conjunctive Query Inseparability in OWL 2 QL is ExpTime-hard. Search on Bibsonomy Description Logics The full citation details ... 2013 DBLP  BibTeX  RDF
1Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev Query Rewriting and Optimisation with Database Dependencies in Ontop. Search on Bibsonomy Description Logics The full citation details ... 2013 DBLP  BibTeX  RDF
1Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev Temporalising OWL 2 QL. Search on Bibsonomy Description Logics The full citation details ... 2013 DBLP  BibTeX  RDF
1Roman Kontchakov, Mariano Rodriguez-Muro, Michael Zakharyaschev Ontology-Based Data Access with Databases: A Short Course. Search on Bibsonomy Reasoning Web The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev Temporal Description Logic for Ontology-Based Data Access. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev Exponential Lower Bounds and Separation for Query Rewriting Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev A Cookbook for Temporal Conceptual Data Modelling with Description Logics Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev Exponential Lower Bounds and Separation for Query Rewriting. Search on Bibsonomy ICALP (2) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev Conjunctive Query Answering with OWL 2 QL. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev Long Rewritings, Short Rewritings. Search on Bibsonomy Description Logics The full citation details ... 2012 DBLP  BibTeX  RDF
1David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev Combining Spatial and Temporal Logics: Expressiveness vs. Complexity Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev Topological Logics with Connectedness over Euclidean Spaces Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Michael Zakharyaschev Logic in the Time of WWW: An OWL View. Search on Bibsonomy WoLLIC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael Zakharyaschev Query Inseparability and Module Extraction in OWL 2 QL. Search on Bibsonomy WoMO The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider 0002, Frank Wolter, Michael Zakharyaschev Conjunctive Query Inseparability of OWL 2 QL TBoxes. Search on Bibsonomy AAAI The full citation details ... 2011 DBLP  BibTeX  RDF
1Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev On (In)Tractability of OBDA with OWL 2 QL. Search on Bibsonomy Description Logics The full citation details ... 2011 DBLP  BibTeX  RDF
1Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev (eds.) Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 Search on Bibsonomy Description Logics The full citation details ... 2011 DBLP  BibTeX  RDF
1Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider 0002, Frank Wolter, Michael Zakharyaschev Module Extraction via Query Inseparability in OWL 2 QL. Search on Bibsonomy Description Logics The full citation details ... 2011 DBLP  BibTeX  RDF
1Agi Kurucz, Frank Wolter, Michael Zakharyaschev On P/NP Dichotomies for EL Subsumption under Relational Constraints. Search on Bibsonomy Description Logics The full citation details ... 2011 DBLP  BibTeX  RDF
1Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models. Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev The Combined Approach to Ontology-Based Data Access. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev Polynomial Conjunctive Query Rewriting under Unary Inclusion Dependencies. Search on Bibsonomy RR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Roman Kontchakov, Frank Wolter, Michael Zakharyaschev Logic-based ontology comparison and module extraction, with an application to DL-Lite. Search on Bibsonomy Artif. Intell. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev Spatial logics with connectedness predicates Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2010 DBLP  BibTeX  RDF
1Mikhail Sheremet, Frank Wolter, Michael Zakharyaschev A modal logic framework for reasoning about comparative distances and topology. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev Complexity of Reasoning over Temporal Data Models. Search on Bibsonomy ER The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev Past and Future of DL-Lite. Search on Bibsonomy AAAI The full citation details ... 2010 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 202 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license