|
|
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 |
1 | 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.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
Query inseparability for ALC ontologies.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev |
Model Comparison Games for Horn Description Logics.  |
CoRR  |
2019 |
DBLP BibTeX RDF |
|
1 | Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
Query Inseparability for ALC Ontologies.  |
CoRR  |
2019 |
DBLP BibTeX RDF |
|
1 | Carsten Lutz, Inanç Seylan, Frank Wolter |
The Data Complexity of Ontology-Mediated Queries with Closed Predicates.  |
Logical Methods in Computer Science  |
2019 |
DBLP BibTeX RDF |
|
1 | Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev |
Model Comparison Games for Horn Description Logics.  |
LICS  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter |
A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction.  |
Description Logic, Theory Combination, and All That  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Carsten 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  |
Description Logic, Theory Combination, and All That  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter |
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract).  |
Description Logics  |
2019 |
DBLP BibTeX RDF |
|
1 | Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
A Note on DL-Lite with Boolean Role Inclusions.  |
Description Logics  |
2019 |
DBLP BibTeX RDF |
|
1 | Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev |
Model Comparison Games for Horn Description Logics: A Summary.  |
Description Logics  |
2019 |
DBLP BibTeX RDF |
|
1 | Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter |
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?.  |
IJCAI  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Anneke Bötcher, Carsten Lutz, Frank Wolter |
Ontology Approximation in Horn Description Logics.  |
IJCAI  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter |
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment.  |
CoRR  |
2018 |
DBLP BibTeX RDF |
|
1 | Carsten Lutz, Inanç Seylan, Frank Wolter |
The Data Complexity of Ontology-Mediated Queries with Closed Predicates.  |
CoRR  |
2018 |
DBLP BibTeX RDF |
|
1 | Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey.  |
CoRR  |
2018 |
DBLP BibTeX RDF |
|
1 | Stanislav Kikot, Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
On Strictly Positive Modal Logics with S4.3 Frames.  |
Advances in Modal Logic  |
2018 |
DBLP BibTeX RDF |
|
1 | Michael 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.  |
KR  |
2018 |
DBLP BibTeX RDF |
|
1 | Cristina Feier, Carsten Lutz, Frank Wolter |
From Conjunctive Queries to SPARQL Queries in Ontology-Mediated Querying.  |
Description Logics  |
2018 |
DBLP BibTeX RDF |
|
1 | Anneke Bötcher, Carsten Lutz, Frank Wolter |
Complete Approximations of Horn DL Ontologies.  |
Description Logics  |
2018 |
DBLP BibTeX RDF |
|
1 | Fabio Papacchini, Frank Wolter |
A Van Benthem Theorem for Horn Description and Modal Logic.  |
Description Logics  |
2018 |
DBLP BibTeX RDF |
|
1 | Cristina Feier, Carsten Lutz, Frank Wolter |
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying.  |
IJCAI  |
2018 |
DBLP DOI BibTeX RDF |
|
1 | André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter |
Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying.  |
IJCAI  |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter |
Exact Learning of Lightweight Description Logic Ontologies.  |
J. Mach. Learn. Res.  |
2017 |
DBLP BibTeX RDF |
|
1 | Stanislav Kikot, Ágnes Kurucz, Yoshihito Tanaka, Frank Wolter, Michael Zakharyaschev |
Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators.  |
CoRR  |
2017 |
DBLP BibTeX RDF |
|
1 | Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter |
Exact Learning of Lightweight Description Logic Ontologies.  |
CoRR  |
2017 |
DBLP BibTeX RDF |
|
1 | Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider 0002, Frank Wolter |
Conservative Extensions in Guarded and Two-Variable Fragments.  |
CoRR  |
2017 |
DBLP BibTeX RDF |
|
1 | Carsten Lutz, Frank Wolter |
The Data Complexity of Description Logic Ontologies.  |
Logical Methods in Computer Science  |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider 0002, Frank Wolter |
Conservative Extensions in Guarded and Two-Variable Fragments.  |
ICALP  |
2017 |
DBLP DOI BibTeX RDF |
|
1 | André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter |
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment.  |
PODS  |
2017 |
DBLP DOI BibTeX RDF |
|
1 | André Hernich, Julio Lemos, Frank Wolter |
Query Answering in DL-Lite with Datatypes: A Non-Uniform Approach.  |
AAAI  |
2017 |
DBLP BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter |
Horn Rewritability vs PTime Query Answering for Description Logic TBoxes.  |
Description Logics  |
2017 |
DBLP BibTeX RDF |
|
1 | Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
Games for query inseparability of description logic knowledge bases.  |
Artif. Intell.  |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter |
Query and Predicate Emptiness in Ontology-Based Data Access.  |
J. Artif. Intell. Res.  |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
Query-Based Entailment and Inseparability for ALC Ontologies (Full Version).  |
CoRR  |
2016 |
DBLP BibTeX RDF |
|
1 | Carsten Lutz, Frank Wolter |
The Data Complexity of Description Logic Ontologies.  |
CoRR  |
2016 |
DBLP BibTeX RDF |
|
1 | Frank Wolter |
Automata for Ontologies.  |
LATA  |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Boris Konev, Ana Ozaki, Frank Wolter |
A Model for Learning Description Logic Ontologies Based on Exact Learning.  |
AAAI  |
2016 |
DBLP BibTeX RDF |
|
1 | Chitta 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.  |
KR  |
2016 |
DBLP BibTeX RDF |
|
1 | Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
When is Query Inseparability for ALC Ontologies Decidable?  |
Description Logics  |
2016 |
DBLP BibTeX RDF |
|
1 | André Hernich, Julio Lemos, Frank Wolter |
Constraint Patterns for Tractable Ontology-Mediated Queries with Datatypes.  |
Description Logics  |
2016 |
DBLP BibTeX RDF |
|
1 | Meghyn Bienvenu, Peter Hansen 0002, Carsten Lutz, Frank Wolter |
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics.  |
Description Logics  |
2016 |
DBLP BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
Query-Based Entailment and Inseparability for ALC Ontologies.  |
IJCAI  |
2016 |
DBLP BibTeX RDF |
|
1 | Meghyn Bienvenu, Peter Hansen 0002, Carsten Lutz, Frank Wolter |
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics.  |
IJCAI  |
2016 |
DBLP BibTeX RDF |
|
1 | Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
Conservative Rewritability of Description Logic TBoxes.  |
IJCAI  |
2016 |
DBLP BibTeX RDF |
|
1 | Leszek Gasieniec, Russell Martin, Frank Wolter, Prudence W. H. Wong |
Fundamentals of Computation Theory.  |
Theor. Comput. Sci.  |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Piero A. Bonatti, Marco Faella, Carsten Lutz, Luigi Sauro, Frank Wolter |
Decidability of Circumscribed Description Logics Revisited.  |
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation  |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Lutz, Frank Wolter |
On the Relationship between Consistent Query Answering and Constraint Satisfaction Problems.  |
ICDT  |
2015 |
DBLP DOI BibTeX RDF |
|
1 | André Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter |
Schema.org as a Description Logic.  |
Description Logics  |
2015 |
DBLP BibTeX RDF |
|
1 | Boris Konev, Ana Ozaki, Frank Wolter |
Exact Learning Description Logic Ontologies from Data Retrieval Examples.  |
Description Logics  |
2015 |
DBLP BibTeX RDF |
|
1 | Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
Conservative Rewritability of Description Logic TBoxes: First Results.  |
Description Logics  |
2015 |
DBLP BibTeX RDF |
|
1 | Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
When Are Description Logic Knowledge Bases Indistinguishable?  |
IJCAI  |
2015 |
DBLP BibTeX RDF |
|
1 | André Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter |
Schema.org as a Description Logic.  |
IJCAI  |
2015 |
DBLP BibTeX RDF |
|
1 | Peter Hansen 0002, Carsten Lutz, Inanç Seylan, Frank Wolter |
Efficient Query Rewriting in the Description Logic EL and Beyond.  |
IJCAI  |
2015 |
DBLP BibTeX RDF |
|
1 | Carsten Lutz, Inanç Seylan, Frank Wolter |
Ontology-Mediated Queries with Closed Predicates.  |
IJCAI  |
2015 |
DBLP BibTeX RDF |
|
1 | Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
First-Order Rewritability of Temporal Ontology-Mediated Queries.  |
IJCAI  |
2015 |
DBLP BibTeX RDF |
|
1 | Boris Konev, Michel Ludwig, Dirk Walther 0002, Frank Wolter |
The Logical Difference for the Lightweight Description Logic EL.  |
CoRR  |
2014 |
DBLP BibTeX RDF |
|
1 | Piero A. Bonatti, Carsten Lutz, Frank Wolter |
The Complexity of Circumscription in DLs.  |
CoRR  |
2014 |
DBLP BibTeX RDF |
|
1 | Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter |
Ontology-Based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP.  |
ACM Trans. Database Syst.  |
2014 |
DBLP DOI BibTeX RDF |
|
1 | William Gatens, Boris Konev, Frank Wolter |
Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies.  |
ECAI  |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
Query Inseparability for Description Logic Knowledge Bases.  |
KR  |
2014 |
DBLP BibTeX RDF |
|
1 | Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter |
Exact Learning of Lightweight Description Logic Ontologies.  |
KR  |
2014 |
DBLP BibTeX RDF |
|
1 | Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
Temporal OBDA with LTL and DL-Lite.  |
Description Logics  |
2014 |
DBLP BibTeX RDF |
|
1 | Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
Query Inseparability by Games.  |
Description Logics  |
2014 |
DBLP BibTeX RDF |
|
1 | William Gatens, Boris Konev, Frank Wolter |
Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies.  |
Description Logics  |
2014 |
DBLP BibTeX RDF |
|
1 | Peter Hansen 0002, Carsten Lutz, Inanç Seylan, Frank Wolter |
Query Rewriting under EL TBoxes: Efficient Algorithms.  |
Description Logics  |
2014 |
DBLP BibTeX RDF |
|
1 | Boris Konev, Carsten Lutz, Dirk Walther 0002, Frank Wolter |
Model-theoretic inseparability and modularity of description logic ontologies.  |
Artif. Intell.  |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter |
Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP  |
CoRR  |
2013 |
DBLP BibTeX RDF |
|
1 | Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev |
Temporal Description Logic for Ontology-Based Data Access (Extended Version)  |
CoRR  |
2013 |
DBLP BibTeX RDF |
|
1 | Carsten Lutz, Inanç Seylan, David Toman, Frank Wolter |
The Combined Approach to OBDA: Taming Role Hierarchies Using Filters.  |
International Semantic Web Conference (1)  |
2013 |
DBLP DOI BibTeX RDF |
|
1 | William Gatens, Boris Konev, Frank Wolter |
Module Extraction for Acyclic Ontologies.  |
WoMO  |
2013 |
DBLP BibTeX RDF |
|
1 | Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter |
Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP.  |
PODS  |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Leszek Gasieniec, Frank Wolter (eds.) |
Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings  |
FCT  |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev |
Temporalising OWL 2 QL.  |
Description Logics  |
2013 |
DBLP BibTeX RDF |
|
1 | Boris Konev, Carsten Lutz, Frank Wolter |
Exact Learning of TBoxes in EL and DL-Lite.  |
Description Logics  |
2013 |
DBLP BibTeX RDF |
|
1 | Carsten Lutz, Inanç Seylan, Frank Wolter |
Ontology-Based Data Access with Closed Predicates is Inherently Intractable(Sometimes).  |
IJCAI  |
2013 |
DBLP BibTeX RDF |
|
1 | Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev |
Temporal Description Logic for Ontology-Based Data Access.  |
IJCAI  |
2013 |
DBLP BibTeX RDF |
|
1 | Meghyn Bienvenu, Carsten Lutz, Frank Wolter |
First-Order Rewritability of Atomic Queries in Horn Description Logics.  |
IJCAI  |
2013 |
DBLP BibTeX RDF |
|
1 | Boris Konev, Michel Ludwig, Dirk Walther 0002, Frank Wolter |
The Logical Difference for the Lightweight Description Logic EL.  |
J. Artif. Intell. Res.  |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Frank Wolter |
Book Reviews.  |
Studia Logica  |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Lutz, Inanç Seylan, David Toman, Frank Wolter |
The Combined Approach to OBDA: Taming Role Hierarchies using Filters.  |
SSWS+HPCSW@ISWC  |
2012 |
DBLP BibTeX RDF |
|
1 | Boris Konev, Michel Ludwig, Frank Wolter |
Logical Difference Computation with CEX2.5.  |
IJCAR  |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Meghyn Bienvenu, Carsten Lutz, Frank Wolter |
Query Containment in Description Logics Reconsidered.  |
KR  |
2012 |
DBLP BibTeX RDF |
|
1 | Carsten Lutz, Frank Wolter |
Non-Uniform Data Complexity of Query Answering in Description Logics.  |
KR  |
2012 |
DBLP BibTeX RDF |
|
1 | Carsten Lutz, Inanç Seylan, Frank Wolter |
An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL.  |
KR  |
2012 |
DBLP BibTeX RDF |
|
1 | Meghyn Bienvenu, Carsten Lutz, Frank Wolter |
Deciding FO-Rewritability in EL.  |
Description Logics  |
2012 |
DBLP BibTeX RDF |
|
1 | Yevgeny Kazakov, Domenico Lembo, Frank Wolter (eds.) |
Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012  |
Description Logics  |
2012 |
DBLP BibTeX RDF |
|
1 | Carsten Lutz, Inanç Seylan, Frank Wolter |
Mixing Open and Closed World Assumptionin Ontology-Based Data Access: Non-Uniform Data Complexity.  |
Description Logics  |
2012 |
DBLP BibTeX RDF |
|
1 | Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter |
Foundations of instance level updates in expressive description logics.  |
Artif. Intell.  |
2011 |
DBLP DOI BibTeX RDF |
|
1 | David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
1 | Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter |
Fusions of Description Logics and Abstract Description Systems  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
1 | Carsten Lutz, Frank Wolter |
Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
1 | Carsten Lutz, Robert Piro, Frank Wolter |
Description Logic TBoxes: Model-theoretic Characterizations and Rewritability  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
1 | Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider 0002, Frank Wolter, Michael Zakharyaschev |
Conjunctive Query Inseparability of OWL 2 QL TBoxes.  |
AAAI  |
2011 |
DBLP BibTeX RDF |
|
1 | Carlo Combi, Martin Leucker, Frank Wolter (eds.) |
Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011  |
TIME  |
2011 |
DBLP BibTeX RDF |
|
1 | Frank Wolter |
Ontology-Based Data Access and Constraint Satisfaction.  |
CSL  |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Lutz, Frank Wolter |
Non-Uniform Data Complexity of Query Answering in Description Logics.  |
Description Logics  |
2011 |
DBLP BibTeX RDF |
|
1 | Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider 0002, Frank Wolter, Michael Zakharyaschev |
Module Extraction via Query Inseparability in OWL 2 QL.  |
Description Logics  |
2011 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 238 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ >>] |
|