The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Frank Wolter" ( http://dblp.L3S.de/Authors/Frank_Wolter )

URL (Homepage):  http://www.csc.liv.ac.uk/~frank/  Author page on DBLP  Author page in RDF  Community of Frank Wolter in ASPL-2

Publication years (Num. hits)
1991-1998 (18) 1999-2001 (20) 2002-2003 (24) 2004-2005 (15) 2006 (16) 2007-2008 (22) 2009-2010 (19) 2011-2012 (24) 2013-2014 (22) 2015-2016 (25) 2017-2018 (20) 2019 (13)
Publication types (Num. hits)
article(84) book(1) incollection(4) inproceedings(138) proceedings(11)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 21 occurrences of 16 keywords

Results
Found 239 publication records. Showing 238 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
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
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
1Carsten Lutz, Inanç Seylan, Frank Wolter The Data Complexity of Ontology-Mediated Queries with Closed Predicates. Search on Bibsonomy Logical Methods in Computer Science 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
1Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction. Search on Bibsonomy Description Logic, Theory Combination, and All That The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter (eds.) Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday Search on Bibsonomy Description Logic, Theory Combination, and All That The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract). Search on Bibsonomy Description Logics The full citation details ... 2019 DBLP  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
1Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Anneke Bötcher, Carsten Lutz, Frank Wolter Ontology Approximation in Horn Description Logics. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Carsten Lutz, Inanç Seylan, Frank Wolter The Data Complexity of Ontology-Mediated Queries with Closed Predicates. Search on Bibsonomy CoRR The full citation details ... 2018 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 CoRR The full citation details ... 2018 DBLP  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 Thielscher, Francesca Toni, Frank Wolter (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Cristina Feier, Carsten Lutz, Frank Wolter From Conjunctive Queries to SPARQL Queries in Ontology-Mediated Querying. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Anneke Bötcher, Carsten Lutz, Frank Wolter Complete Approximations of Horn DL Ontologies. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Fabio Papacchini, Frank Wolter A Van Benthem Theorem for Horn Description and Modal Logic. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Cristina Feier, Carsten Lutz, Frank Wolter From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter Exact Learning of Lightweight Description Logic Ontologies. Search on Bibsonomy J. Mach. Learn. Res. The full citation details ... 2017 DBLP  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
1Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter Exact Learning of Lightweight Description Logic Ontologies. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider 0002, Frank Wolter Conservative Extensions in Guarded and Two-Variable Fragments. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Carsten Lutz, Frank Wolter The Data Complexity of Description Logic Ontologies. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider 0002, Frank Wolter Conservative Extensions in Guarded and Two-Variable Fragments. Search on Bibsonomy ICALP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. Search on Bibsonomy PODS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1André Hernich, Julio Lemos, Frank Wolter Query Answering in DL-Lite with Datatypes: A Non-Uniform Approach. 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
1André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter Horn Rewritability vs PTime Query Answering for Description Logic TBoxes. 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
1Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter Query and Predicate Emptiness in Ontology-Based Data Access. Search on Bibsonomy J. Artif. Intell. Res. 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
1Carsten Lutz, Frank Wolter The Data Complexity of Description Logic Ontologies. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Frank Wolter Automata for Ontologies. Search on Bibsonomy LATA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Boris Konev, Ana Ozaki, Frank Wolter A Model for Learning Description Logic Ontologies Based on Exact Learning. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Chitta Baral, James P. Delgrande, Frank Wolter (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016. Search on Bibsonomy KR 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
1André Hernich, Julio Lemos, Frank Wolter Constraint Patterns for Tractable Ontology-Mediated Queries with Datatypes. Search on Bibsonomy Description Logics The full citation details ... 2016 DBLP  BibTeX  RDF
1Meghyn Bienvenu, Peter Hansen 0002, Carsten Lutz, Frank Wolter First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. 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
1Meghyn Bienvenu, Peter Hansen 0002, Carsten Lutz, Frank Wolter First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. 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
1Leszek Gasieniec, Russell Martin, Frank Wolter, Prudence W. H. Wong Fundamentals of Computation Theory. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Marco Faella, Carsten Lutz, Luigi Sauro, Frank Wolter Decidability of Circumscribed Description Logics Revisited. Search on Bibsonomy Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Carsten Lutz, Frank Wolter On the Relationship between Consistent Query Answering and Constraint Satisfaction Problems. Search on Bibsonomy ICDT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1André Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter Schema.org as a Description Logic. Search on Bibsonomy Description Logics The full citation details ... 2015 DBLP  BibTeX  RDF
1Boris Konev, Ana Ozaki, Frank Wolter Exact Learning Description Logic Ontologies from Data Retrieval Examples. 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
1André Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter Schema.org as a Description Logic. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Peter Hansen 0002, Carsten Lutz, Inanç Seylan, Frank Wolter Efficient Query Rewriting in the Description Logic EL and Beyond. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Carsten Lutz, Inanç Seylan, Frank Wolter Ontology-Mediated Queries with Closed Predicates. 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
1Boris Konev, Michel Ludwig, Dirk Walther 0002, Frank Wolter The Logical Difference for the Lightweight Description Logic EL. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Piero A. Bonatti, Carsten Lutz, Frank Wolter The Complexity of Circumscription in DLs. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter Ontology-Based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1William Gatens, Boris Konev, Frank Wolter Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies. Search on Bibsonomy ECAI 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
1Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter Exact Learning of Lightweight Description Logic Ontologies. Search on Bibsonomy KR The full citation details ... 2014 DBLP  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
1William Gatens, Boris Konev, Frank Wolter Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies. Search on Bibsonomy Description Logics The full citation details ... 2014 DBLP  BibTeX  RDF
1Peter Hansen 0002, Carsten Lutz, Inanç Seylan, Frank Wolter Query Rewriting under EL TBoxes: Efficient Algorithms. Search on Bibsonomy Description Logics The full citation details ... 2014 DBLP  BibTeX  RDF
1Boris Konev, Carsten Lutz, Dirk Walther 0002, Frank Wolter Model-theoretic inseparability and modularity of description logic ontologies. Search on Bibsonomy Artif. Intell. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  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
1Carsten Lutz, Inanç Seylan, David Toman, Frank Wolter The Combined Approach to OBDA: Taming Role Hierarchies Using Filters. Search on Bibsonomy International Semantic Web Conference (1) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1William Gatens, Boris Konev, Frank Wolter Module Extraction for Acyclic Ontologies. Search on Bibsonomy WoMO The full citation details ... 2013 DBLP  BibTeX  RDF
1Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP. Search on Bibsonomy PODS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Leszek Gasieniec, Frank Wolter (eds.) Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings Search on Bibsonomy FCT The full citation details ... 2013 DBLP  DOI  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
1Boris Konev, Carsten Lutz, Frank Wolter Exact Learning of TBoxes in EL and DL-Lite. Search on Bibsonomy Description Logics The full citation details ... 2013 DBLP  BibTeX  RDF
1Carsten Lutz, Inanç Seylan, Frank Wolter Ontology-Based Data Access with Closed Predicates is Inherently Intractable(Sometimes). Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  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
1Meghyn Bienvenu, Carsten Lutz, Frank Wolter First-Order Rewritability of Atomic Queries in Horn Description Logics. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Boris Konev, Michel Ludwig, Dirk Walther 0002, Frank Wolter The Logical Difference for the Lightweight Description Logic EL. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Frank Wolter Book Reviews. Search on Bibsonomy Studia Logica The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Carsten Lutz, Inanç Seylan, David Toman, Frank Wolter The Combined Approach to OBDA: Taming Role Hierarchies using Filters. Search on Bibsonomy SSWS+HPCSW@ISWC The full citation details ... 2012 DBLP  BibTeX  RDF
1Boris Konev, Michel Ludwig, Frank Wolter Logical Difference Computation with CEX2.5. Search on Bibsonomy IJCAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Meghyn Bienvenu, Carsten Lutz, Frank Wolter Query Containment in Description Logics Reconsidered. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Carsten Lutz, Frank Wolter Non-Uniform Data Complexity of Query Answering in Description Logics. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Carsten Lutz, Inanç Seylan, Frank Wolter An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Meghyn Bienvenu, Carsten Lutz, Frank Wolter Deciding FO-Rewritability in EL. Search on Bibsonomy Description Logics The full citation details ... 2012 DBLP  BibTeX  RDF
1Yevgeny Kazakov, Domenico Lembo, Frank Wolter (eds.) Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012 Search on Bibsonomy Description Logics The full citation details ... 2012 DBLP  BibTeX  RDF
1Carsten Lutz, Inanç Seylan, Frank Wolter Mixing Open and Closed World Assumptionin Ontology-Based Data Access: Non-Uniform Data Complexity. Search on Bibsonomy Description Logics The full citation details ... 2012 DBLP  BibTeX  RDF
1Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter Foundations of instance level updates in expressive description logics. Search on Bibsonomy Artif. Intell. The full citation details ... 2011 DBLP  DOI  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
1Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter Fusions of Description Logics and Abstract Description Systems Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Carsten Lutz, Frank Wolter Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Carsten Lutz, Robert Piro, Frank Wolter Description Logic TBoxes: Model-theoretic Characterizations and Rewritability Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  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
1Carlo Combi, Martin Leucker, Frank Wolter (eds.) Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011 Search on Bibsonomy TIME The full citation details ... 2011 DBLP  BibTeX  RDF
1Frank Wolter Ontology-Based Data Access and Constraint Satisfaction. Search on Bibsonomy CSL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Carsten Lutz, Frank Wolter Non-Uniform Data Complexity of Query Answering in Description Logics. 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
Displaying result #1 - #100 of 238 (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