2 citations · 3 across the 6 of their papers we have counts for
12 papers
Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies
Maurice Funk, Jean Christoph Jung, Carsten Lutz
We study ELI queries (ELIQs) in the presence of ontologies formulated in the description logic DL-Lite. For the dialect DL-LiteH, we show that ELIQs have a frontier (set of least g…
Conservative Extensions for Existential Rules
Jean Christoph Jung, Carsten Lutz, Jerzy Marcinkowski
We study the problem to decide, given sets T1,T2 of tuple-generating dependencies (TGDs), also called existential rules, whether T2 is a conservative extension of T1. We consider t…
Separating Data Examples by Description Logic Concepts with Restricted Signatures
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini +1
We study the separation of positive and negative data examples in terms of description logic concepts in the presence of an ontology. In contrast to previous work, we add a signatu…
Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies
Maurice Funk, Jean Christoph Jung, Carsten Lutz
We consider the problem to learn a concept or a query in the presence of an ontology formulated in the description logic ELr, in Angluin's framework of active learning that allows…
Conservative Extensions in Horn Description Logics with Inverse Roles
Jean Christoph Jung, Carsten Lutz, Mauricio Martel +1
We investigate the decidability and computational complexity of conservative extensions and the related notions of inseparability and entailment in Horn description logics (DLs) wi…
Answering Regular Path Queries Over SQ Ontologies
Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung
We study query answering in the description logic supporting qualified number restrictions on both transitive and non-transitive roles. Our main contributions are a…