{"type":"ScholarlyArticle","title":"Efficient Query Rewriting in the Description Logic EL and Beyond","authors":[{"name":"Peter Hansen","slug":"peter-hansen","given":"Peter","family":"Hansen","affiliation":""},{"name":"Carsten Lutz","slug":"carsten-lutz","given":"Carsten","family":"Lutz","affiliation":""},{"name":"Inanç Seylan","slug":"inanc-seylan","given":"Inanç","family":"Seylan","affiliation":""},{"name":"Frank Wolter","slug":"frank-wolter","given":"Frank","family":"Wolter","affiliation":""}],"abstract":"We propose a new type of algorithm for computing first-order (FO) rewritings of concept queries under ELHdr-TBoxes. The algorithm is tailored towards efficient implementation, yet complete. It outputs a succinct non-recursive datalog rewriting if the input is FO-rewritable and otherwise reports non-FO-rewritability. We carry out experiments with real-world ontologies which demonstrate excellent performance in practice and show that TBoxes originating from applications admit FO-rewritings of reasonable size in almost all cases, even when in theory such rewritings are not guaranteed to exist.","doi":null,"url":"https://ijcai.org/proceedings/2015/428","pdf":"https://ijcai.org/proceedings/2015/0428.pdf","markdown":"https://ijcai.org/proceedings/2015/428.md","bibtex":"https://ijcai.org/proceedings/2015/bibtex/428","volume":{"slug":"2015","title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2015","url":"https://ijcai.org/proceedings/2015/","year":2015,"location":"Buenos Aires, Argentina","dates":"25–31 July 2015","editors":"Qiang Yang and Michael Wooldridge","isbn":"978-1-57735-738-4","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Special Track on Knowledge Representation and Reasoning","track":"Special Track on Knowledge Representation and Reasoning","number":428,"pages":{"first":3034,"last":3039},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}