Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees.

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini

Browse the full IJCAI paper archive.