{"type":"ScholarlyArticle","title":"Efficient Rule-Based Inferencing for OWL EL","authors":[{"name":"Markus Krötzsch","slug":"markus-krotzsch","given":"Markus","family":"Krötzsch","affiliation":""}],"abstract":"We review recent results on inferencing for SROEL(×), a description logic that subsumes the main features of the W3C recommendation OWL EL. Rule-based deduction systems are developed for various reasoning tasks and logical sublanguages. Certain feature combinations lead to increased space upper bounds for materialisation, suggesting that efficient implementations are easier to obtain for suitable fragments of OWL EL.","doi":"10.5591/978-1-57735-516-8/IJCAI11-444","url":"https://ijcai.org/proceedings/2011/444","pdf":"https://ijcai.org/proceedings/2011/0444.pdf","markdown":"https://ijcai.org/proceedings/2011/444.md","bibtex":"https://ijcai.org/proceedings/2011/bibtex/444","volume":{"slug":"2011","title":"Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2011","url":"https://ijcai.org/proceedings/2011/","year":2011,"location":"Barcelona, Catalonia, Spain","dates":"16–22 July 2011","editors":"Toby Walsh","isbn":"978-1-57735-512-0; 978-1-57735-513-7; 978-1-57735-514-4; 978-1-57735-515-1; 978-1-57735-516-8","publisher":"AAAI Press/International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":444,"pages":{"first":2668,"last":2672},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}