AAAI Publications, Twenty-Second International Joint Conference on Artificial Intelligence

Font Size: 
A Practical Automata-Based Technique for Reasoning in Expressive Description Logics
Diego Calvanese, Domenico Carbotta, Magdalena Ortiz

Last modified: 2011-06-28


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.

Full Text: PDF