Maurice Funk
I am a postdoctoral researcher in the
knowledge representation group at
Leipzig University
headed by
Carsten Lutz.
I am interested in learning of formal representations from examples, description logic (and related logics), and querying under background knowledge.
News
- I succesfully defended my PhD thesis!
- My paper SAT-Based PAC Learning of Description Logic Concepts won a distinguished paper award at IJCAI 2023
- The paper Extremal Fitting Problems for Conjunctive Queries won the best paper award at PODS 2023
- I talked about exact learning of concepts in a KR 2023 tutorial
- My paper Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies is a honorable mention for distinguished paper at IJCAI 2021
Publications
- Fitting algorithms for conjunctive queries
2024 • Balder ten Cate, Maurice Funk, Jean Christoph Jung, and Carsten Lutz • SIGMOD record column • 10.1145/3641832.3641834 - On the non-efficient PAC learnability of conjunctive queries
2024 • Balder ten Cate, Maurice Funk, Jean Christoph Jung, and Carsten Lutz • Information Processing Letters • 10.1016/j.ipl.2023.106431 - Extremal fitting CQs do not generalize
2023 • Balder ten Cate, Maurice Funk, Jean Christoph Jung, and Carsten Lutz • Research note • arXiv - Towards ontology construction with language models
2023 • Maurice Funk, Simon Hosemann, Jean Christoph Jung, and Carsten Lutz • KBC-LM • arXiv - SAT-Based PAC learning of description logic concepts
2023 • Balder ten Cate, Maurice Funk, Jean Christoph Jung, and Carsten Lutz • IJCAI • 10.24963/ijcai.2023/373 • arXiv (long version) - Extremal fitting problems for conjunctive queries
2023 • Balder ten Cate, Victor Dalmau, Maurice Funk, and Carsten Lutz • PODS • 10.1145/3584372.3588655 • arXiv (long version) - Exact learning of ELI queries in the presence of DL-Lite-Horn ontologies
2022 • Maurice Funk, Jean Christoph Jung, and Carsten Lutz • DL • ceur-ws • pdf (long version) - Frontiers and exact learning of ELI queries under DL-Lite ontologies
2022 • Maurice Funk, Jean Christoph Jung, and Carsten Lutz • IJCAI-ECAI • 10.24963/ijcai.2022/364 • arXiv (long version) - Actively learning ELI queries under DL-Lite ontologies
2021 • Maurice Funk, Jean Christoph Jung, and Carsten Lutz • DL • ceur-ws • pdf (long version) - Actively learning concepts and conjunctive queries under ELr-ontologies
2021 • Maurice Funk, Jean Christoph Jung, and Carsten Lutz • IJCAI • 10.24963/ijcai.2021/260 • arXiv (long version) • bib - Learning description logic concepts: when can positive and negative examples be separated?
2019 • Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, and Frank Wolter • IJCAI • 10.24963/ijcai.2019/233 • bib - See the group's publication list or dblp for more
Theses
Teaching
I gave the following lectures:- Algorithmic learning theory (winter semester 2024/25)
- Description logic (summer semester 2025)
- Logic (summer semester 2022, 2023 and 2023)
- Automata and Formal Languages (winter semester 2021/22, 2022/23, 2023/24)
- Theoretical Computer Science 2: Computability and Complexity (summer semester 2019 and 2021)
- Mathematics 1: Logic, Combinatorics, and Linear Algebra (winter semester 2020/21)
- Mathematics for Computer Scientists 2 (summer semester 2020)
Talks
I gave the following non-conference talks:- PhD Defense: Learning Queries under Description Logic Ontologies • slides
- Learning Conjunctive Queries under Description Logic Ontologies • DL online seminar 2024
- Learning description logic concepts and ontologies • ScaDS.AI KR meets the real work Session 2023
- Concept learning in description logics • KR 2023 tutorial
- Active learning of queries under ontologies • KR 2021 doctoral consortium
Software
- SPELL (SAT-based PAC EL Concept Learner)
Contact
- Visitors
- Room P812, Paulinum, Leipzig University
- mfunk [ÄT] informatik.uni-leipzig.de
- Find me online
- LinkedIn • ORCiD • google scholar • dblp