Maurice Funk

I am a PhD student in the knowledge representation group at Leipzig University under supervision of Carsten Lutz.

I am interested in exact learning, querying under background knowledge, and description logic ontologies.

News

• I have 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
  SIGMOD record column (2024) with Balder ten Cate, Jean Christoph Jung and Carsten Lutz
  10.1145/3641832.3641834
• On the non-efficient PAC learnability of conjunctive queries
  Information Processing Letters (2024) with Balder ten Cate, Jean Christoph Jung and Carsten Lutz
  10.1016/j.ipl.2023.106431
• Extremal fitting CQs do not generalize
  Research note (2023) with Balder ten Cate, Jean Christoph Jung and Carsten Lutz
  arXiv
• Towards ontology construction with language models
  KBC-LM 23: with Simon Hosemann, Jean Christoph Jung and Carsten Lutz
  arXiv
• SAT-Based PAC learning of description logic concepts
  IJCAI 2023 with Balder ten Cate, Jean Christoph Jung and Carsten Lutz
  10.24963/ijcai.2023/373 • arXiv (long version)
• Extremal fitting problems for conjunctive queries
  PODS 2023 with Balder ten Cate, Victor Dalmau and Carsten Lutz
  10.1145/3584372.3588655 • arXiv (long version)
• Exact learning of ELI queries in the presence of DL-Lite-Horn ontologies
  DL 2022 with Jean Christoph Jung and Carsten Lutz
  ceur-ws • pdf (long version)
• Frontiers and exact learning of ELI queries under DL-Lite ontologies
  IJCAI-ECAI 2022 with Jean Christoph Jung and Carsten Lutz
  10.24963/ijcai.2022/364 • arXiv (long version)
• Actively learning ELI queries under DL-Lite ontologies
  DL 2021 with Jean Christoph Jung and Carsten Lutz
  ceur-ws • pdf (long version)
• Actively learning concepts and conjunctive Queries under ELr-ontologies
  IJCAI 2021 with Jean Christoph Jung and Carsten Lutz
  10.24963/ijcai.2021/260 • arXiv (long version) • bib
• Learning description logic concepts: when can positive and negative examples be separated?
  IJCAI 2019 with Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, and Frank Wolter
  10.24963/ijcai.2019/233 • bib
• See the group's publication list or dblp for more

Theses

• Learning queries under description logic ontologies
  my PhD thesis
  pdf
• Concept-by-Example in EL Knowledge Bases
  my master's thesis
  pdf • bib

Teaching

• 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)

Software

• SPELL (SAT-based PAC EL Concept Learner)

Contact

Visitors

Room P812, Paulinum, Leipzig University

Email

mfunk [ÄT] informatik.uni-leipzig.de

Online

LinkedIn • ORCiD • google scholar

last updated on 2025-02-24