---
title: "A Practical Automata-Based Technique for Reasoning in Expressive Description Logics"
authors:
  - "Diego Calvanese"
  - "Domenico Carbotta"
  - "Magdalena Ortiz"
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"
venue: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence"
year: 2011
pages: "798-803"
track: ""
keywords:
---

# A Practical Automata-Based Technique for Reasoning in Expressive Description Logics

Diego Calvanese, Domenico Carbotta, Magdalena Ortiz

*Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence*, pages 798-803. DOI: [10.5591/978-1-57735-516-8/IJCAI11-140](https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-140)

## 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.