Reverse engineering queries in ontology-enriched systems: the case of expressive horn description logic ontologies

Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Jung, Jean Christoph and Sabellek, Leif 2018. Reverse engineering queries in ontology-enriched systems: the case of expressive horn description logic ontologies. Presented at: IJCAI-ECAI 2018, Stockholm, Sweden, 13-19 July 2018. Published in: Lang, Jerome ed. IJCAI'18: Proceedings of the 27th International Joint Conference on Artificial Intelligence. AAAI Press,

Preview

PDF - Accepted Post-Print Version Download (283kB) | Preview

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.

Item Type:	Conference or Workshop Item (Paper)
Date Type:	Publication
Status:	Published
Schools:	Computer Science & Informatics
Publisher:	AAAI Press
ISBN:	9780999241127
Funders:	Horizon 2020 programme
Date of First Compliant Deposit:	4 June 2018
Last Modified:	23 Oct 2022 13:51
URI:	https://orca.cardiff.ac.uk/id/eprint/111937

Citation Data

Cited 27 times in Scopus. View in Scopus. Powered By Scopus® Data

Actions (repository staff only)

Edit Item