FAME(Q): An Automated Tool for Forgetting in Description Logics with Qualified Number Restrictions.

Yizheng Zhao, Renate A. Schmidt

Browse the full CADE paper archive.