{"type":"ScholarlyArticle","title":"A Practical Automata-Based Technique for Reasoning in Expressive Description Logics","authors":[{"name":"Diego Calvanese","slug":"diego-calvanese","given":"Diego","family":"Calvanese","affiliation":""},{"name":"Domenico Carbotta","slug":"domenico-carbotta","given":"Domenico","family":"Carbotta","affiliation":""},{"name":"Magdalena Ortiz","slug":"magdalena-ortiz","given":"Magdalena","family":"Ortiz","affiliation":""}],"abstract":"In this work we describe the theoretical foundations and the implementation of a new automata-based technique for reasoning over expressive Description Logics that is worst-case optimal and lends itself to an efficient implementation. In order to show the feasibility of the approach, we have realized a working prototype of a reasoner based upon these techniques. An experimental evaluation of this prototype shows encouraging results.","doi":"10.5591/978-1-57735-516-8/IJCAI11-140","url":"https://ijcai.org/proceedings/2011/140","pdf":"https://ijcai.org/proceedings/2011/0140.pdf","markdown":"https://ijcai.org/proceedings/2011/140.md","bibtex":"https://ijcai.org/proceedings/2011/bibtex/140","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":140,"pages":{"first":798,"last":803},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}