{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T08:41:29Z","timestamp":1758271289534},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,7]]},"abstract":"<jats:p>We introduce the query-by-example (QBE) paradigm for query answering\u00a0in the presence of ontologies. Intuitively, QBE permits non-expert\u00a0users to explore the data by providing examples of the information\u00a0they (do not) want, which the system then generalizes into a query.\u00a0Formally, we study the following question: given a knowledge base and\u00a0sets of positive and negative examples, is there a\u00a0query that returns all positive but none of the negative examples? \u00a0We\u00a0focus on description logic knowledge bases with ontologies\u00a0formulated in Horn-ALCI and (unions of) conjunctive queries. Our main\u00a0contributions are characterizations, algorithms and tight complexity bounds for\u00a0QBE. \u00a0<\/jats:p>","DOI":"10.24963\/ijcai.2018\/255","type":"proceedings-article","created":{"date-parts":[[2018,7,5]],"date-time":"2018-07-05T05:49:10Z","timestamp":1530769750000},"page":"1847-1853","source":"Crossref","is-referenced-by-count":6,"title":["Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies"],"prefix":"10.24963","author":[{"given":"V\u00edctor","family":"Guti\u00e9rrez-Basulto","sequence":"first","affiliation":[{"name":"Cardiff University, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean Christoph","family":"Jung","sequence":"additional","affiliation":[{"name":"University of Bremen, Germany"},{"name":"KU Leuven, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leif","family":"Sabellek","sequence":"additional","affiliation":[{"name":"University of Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"10584","event":{"number":"27","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"acronym":"IJCAI-2018","name":"Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}","start":{"date-parts":[[2018,7,13]]},"theme":"Artificial Intelligence","location":"Stockholm, Sweden","end":{"date-parts":[[2018,7,19]]}},"container-title":["Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2018,7,5]],"date-time":"2018-07-05T05:51:18Z","timestamp":1530769878000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2018\/255"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2018,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2018\/255","relation":{},"subject":[],"published":{"date-parts":[[2018,7]]}}}