Terminological Cycles in a Description Logic with Existential Restrictions (2003)

by F Baader
Venue:In International Joint Conference on Atificial Intelligence