Reasoning in expressive description logics with fixpoints based on automata on infinite trees (1999)

by Diego Calvanese , Maurizio Lenzerini
Venue:In Proc. of the 16th Int. Joint Conf. on Artificial Intelligence (IJCAI’99
Citations:55 - 12 self