2 citations · 3 across the 6 of their papers we have counts for
5 papers · 1 filter
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…
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…
Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of 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 (DL) concepts and formulas of decidable FO fragments, in the presence of an ontology. I…
Quantified Markov Logic Networks
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Ondrej Kuzelka
Markov Logic Networks (MLNs) are well-suited for expressing statistics such as "with high probability a smoker knows another smoker" but not for expressing statements such as "ther…