FAME: An Automated Tool for Semantic Forgetting in Expressive Description Logics.

Yizheng Zhao, Renate A. Schmidt

Browse the full CADE paper archive.