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

Proc. of the 22nd Int. Joint Conf. on Artificial Intelligence (IJCAI 2011). 2011.

In this work we describe the theoretical foundations and the implementation of a new automata-based techniques 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.

@inproceedings{IJCAI-2011-automata,
   title = "A Practical Automata-Based Technique for Reasoning in Expressive
Description Logics",
   year = "2011",
   author = "Diego Calvanese and Domenico Carbotta and Magdalena Ortiz",
   booktitle = "Proc. of the 22nd Int. Joint Conf. on Artificial Intelligence
(IJCAI 2011)",
   pages = "798--804",
}