Yizheng Zhao, Hao Feng, Ruba Alassaf, Warren Del-Pinto, Renate A. Schmidt. The FAME Family: A Family of Reasoning Tools for Forgetting in Expressive Description Logics. In Magdalena Ortiz, Thomas Schneider 0002, editors, Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018. Volume 2211 of CEUR Workshop Proceedings, CEUR-WS.org, 2018. [doi]
Abstract is missing.