Description Logics with Symbolic Number Restrictions (1996)

by F Baader, U Sattler
Venue:In Proc. of the 12th European Conf. on Artificial Intelligence (ECAI’96