{"type":"ScholarlyArticle","title":"First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics","authors":[{"name":"Meghyn Bienvenu","slug":"meghyn-bienvenu","given":"Meghyn","family":"Bienvenu","affiliation":""},{"name":"Peter Hansen","slug":"peter-hansen","given":"Peter","family":"Hansen","affiliation":""},{"name":"Carsten Lutz","slug":"carsten-lutz","given":"Carsten","family":"Lutz","affiliation":""},{"name":"Frank Wolter","slug":"frank-wolter","given":"Frank","family":"Wolter","affiliation":""}],"abstract":"We study FO-rewritability of conjunctive queries in the presence of ontologies formulated in a description logic between EL and Horn-SHIF, along with related query containment problems. Apart from providing characterizations, we establish complexity results ranging from ExpTime via NExpTime to 2ExpTime, pointing out several interesting effects. In particular, FO-rewriting is more complex for conjunctive queries than for atomic queries when inverse roles are present, but not otherwise.","doi":null,"url":"https://ijcai.org/proceedings/2016/141","pdf":"https://ijcai.org/proceedings/2016/0141.pdf","markdown":"https://ijcai.org/proceedings/2016/141.md","bibtex":"https://ijcai.org/proceedings/2016/bibtex/141","volume":{"slug":"2016","title":"Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2016","url":"https://ijcai.org/proceedings/2016/","year":2016,"location":"New York, NY, USA","dates":"9–15 July 2016","editors":"Subbarao Kambhampati","isbn":"978-1-57735-770-4; 978-1-57735-771-1","publisher":"AAAI Press / International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":141,"pages":{"first":965,"last":970},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}