no code implementations • 18 Sep 2023 • Maurice Funk, Simon Hosemann, Jean Christoph Jung, Carsten Lutz
We present a method for automatically constructing a concept hierarchy for a given domain by querying a large language model.
1 code implementation • 15 May 2023 • Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
We propose bounded fitting as a scheme for learning description logic concepts in the presence of ontologies.
no code implementations • 22 Aug 2022 • Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
This note serves three purposes: (i) we provide a self-contained exposition of the fact that conjunctive queries are not efficiently learnable in the Probably-Approximately-Correct (PAC) model, paying clear attention to the complicating fact that this concept class lacks the polynomial-size fitting property, a property that is tacitly assumed in much of the computational learning theory literature; (ii) we establish a strong negative PAC learnability result that applies to many restricted classes of conjunctive queries (CQs), including acyclic CQs for a wide range of notions of "acyclicity"; (iii) we show that CQs (and UCQs) are efficiently PAC learnable with membership queries.
no code implementations • 29 Apr 2022 • Maurice Funk, Jean Christoph Jung, Carsten Lutz
We study ELI queries (ELIQs) in the presence of ontologies formulated in the description logic DL-Lite.
no code implementations • 18 May 2021 • Maurice Funk, Jean Christoph Jung, Carsten Lutz
We also show that EL-concepts are not polynomial query learnable in the presence of ELI-ontologies.