Wolter, Frank

1. Ontology-based Data Access: A Study through Disjunctive Datalog, CSP,\n and MMSNP
   2013/01/28 by Meghyn Bienvenu, Bienvenu, Meghyn, Balder ten Cate +5 · 5 citations
   Computer Science · #Semantic Web and Ontologies #Logic, Reasoning, and Knowledge #Advanced Database Systems and Queries
2. Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics
   2011/04/14 by Carsten Lutz, Frank Wolter, Lutz, Carsten +1 · 4 citations
   Computer Science · #Semantic Web and Ontologies #Logic, Reasoning, and Knowledge #Natural Language Processing Techniques
3. Logical Separability of Labeled Data Examples under Ontologies
   2020/07/03 by Jean Christoph Jung, Carsten Lutz, Jung, Jean Christoph +5 · 7 citations
   Computer Science · #Advanced Database Systems and Queries #Artificial Intelligence (cs.AI) #F.4.1 #FOS: Computer and information sciences #I.2.4 #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
4. Description Logic TBoxes: Model-theoretic Characterizations and Rewritability
   2011/04/14 by Lutz, Carsten, Piro, Robert, Wolter, Frank · 3 citations
   #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
5. Separating Data Examples by Description Logic Concepts with Restricted\n Signatures
   2021/07/12 by Jean Christoph Jung, Carsten Lutz, Jung, Jean Christoph +5 · 6 citations
   Computer Science · #03B70 #Advanced Database Systems and Queries #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Natural Language Processing Techniques #Semantic Web and Ontologies
6. On Free Description Logics with Definite Descriptions
   2021/06/29 by Artale, Alessandro, Mazzullo, Andrea, Ozaki, Ana +1 · 4 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
7. Living Without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
   2020/07/06 by Alessandro Artale, Jean Christoph Jung, Artale, Alessandro +7 · 5 citations
   Computer Science · #03B70 #Advanced Algebra and Logic #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
8. Exact Learning of Lightweight Description Logic Ontologies
   2017/09/20 by Konev, Boris, Lutz, Carsten, Ozaki, Ana +1 · 2 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
9. Interpolants and Explicit Definitions in Extensions of the Description Logic EL
   2022/02/15 by Marie Fortin, Boris Konev, Fortin, Marie +3 · 3 citations
   Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Semantic Web and Ontologies
10. First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries
    2021/11/12 by Artale, Alessandro, Kontchakov, Roman, Kovtunova, Alisa +3 · 1 citation
    #Databases (cs.DB) #FOS: Computer and information sciences #I.2.4 #Logic in Computer Science (cs.LO)
11. First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics
    2020/11/19 by Bienvenu, Meghyn, Hansen, Peter, Lutz, Carsten +1 · 1 citation
    #Artificial Intelligence (cs.AI) #Databases (cs.DB) #FOS: Computer and information sciences
12. The interpolant existence problem for weak K4 and difference logic
    2024/03/17 by Kurucz, Agi, Wolter, Frank, Zakharyaschev, Michael · 2 citations
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
13. Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting
    2025/04/29 by Louwe B. Kuijer, Kuijer, Louwe, Tony Tan +5 · 4 citations
    Computer Science · #03B45 (Primary) 03C40 (Secondary) #Advanced Algebra and Logic #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
14. A non-uniform view of Craig interpolation in modal logics with linear frames
    2023/12/10 by Kurucz, Agi, Wolter, Frank, Zakharyaschev, Michael · 2 citations
    #03B45 (Primary) 03C40 (Secondary) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
15. From Interpolating Formulas to Separating Languages and Back Again
    2025/08/18 by Agi Kurucz, Frank Wolter, Kurucz, Agi +3 · 1 citation
    Mathematics · #History and Theory of Mathematics
16. Interpolation in Classical Propositional Logic
    2025/08/15 by Koopmann, Patrick, Wernhard, Christoph, Wolter, Frank · 2 citations
    #03B05 (Primary) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)