Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles (1991)

by F Baader
Venue:In Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI-91