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…