IJCAI 2022poster18 citations
Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies
Maurice Funk, Jean Christoph Jung, Carsten Lutz
Abstract
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 general generalizations) that is of polynomial size and can be computed in polynomial time. In the dialect DL-LiteF, in contrast, frontiers may be infinite. We identify a natural syntactic restriction that enables the same positive results as for DL-LiteH. We use our results on frontiers to show that ELIQs are learnable in polynomial time in the presence of a DL-LiteH / restricted DL-LiteF ontology in Angluin's framework of exact learning with only membership queries.
Knowledge Representation and Reasoning: Description Logics and Ontologies
BibTeX
@inproceedings{ijcai2022p364,
title = {Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies},
author = {Funk, Maurice and Jung, Jean Christoph and Lutz, Carsten},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI-22}},
publisher = {International Joint Conferences on Artificial Intelligence Organization},
editor = {Lud De Raedt},
pages = {2627--2633},
year = {2022},
month = {7},
note = {Main Track},
doi = {10.24963/ijcai.2022/364},
url = {https://doi.org/10.24963/ijcai.2022/364},
}