Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies
Abstract
We introduce the query-by-example (QBE) paradigm for query answering in the presence of ontologies. Intuitively, QBE permits non-expert users to explore the data by providing examples of the information they (do not) want, which the system then generalizes into a query. Formally, we study the following question: given a knowledge base and sets of positive and negative examples, is there a query that returns all positive but none of the negative examples? We focus on description logic knowledge bases with ontologies formulated in Horn-ALCI and (unions of) conjunctive queries. Our main contributions are characterizations, algorithms and tight complexity bounds for QBE.
Cite
Text
Gutiérrez-Basulto et al. "Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies." International Joint Conference on Artificial Intelligence, 2018. doi:10.24963/IJCAI.2018/255Markdown
[Gutiérrez-Basulto et al. "Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies." International Joint Conference on Artificial Intelligence, 2018.](https://mlanthology.org/ijcai/2018/gutierrezbasulto2018ijcai-reverse/) doi:10.24963/IJCAI.2018/255BibTeX
@inproceedings{gutierrezbasulto2018ijcai-reverse,
title = {{Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies}},
author = {Gutiérrez-Basulto, Víctor and Jung, Jean Christoph and Sabellek, Leif},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2018},
pages = {1847-1853},
doi = {10.24963/IJCAI.2018/255},
url = {https://mlanthology.org/ijcai/2018/gutierrezbasulto2018ijcai-reverse/}
}