The FAME Family: A Family of Reasoning Tools for Forgetting in Expressive Description Logics.

Yizheng Zhao,Hao Feng,Ruba Alassaf,Warren Del-Pinto,Renate A. Schmidt
2018-01-01
Abstract:We present the Fame family – a family of reasoning tools for forgetting in expressive description logics. Forgetting is a non-standard reasoning service that seeks to create restricted views of (description logic-based) ontologies by eliminating a set of concept and role names, namely the forgetting signature, from the ontologies in such a way that all logical consequences are preserved up to the remaining signature. The family has two members at present: (i) Fame 1.0 for computing semantic solutions of forgetting in the description logic ALCOIH(O,u), and (ii) Fame 2.0 for computing uniform interpolants in the description logic ALCOQH(O,¬,u,t). They are Java-based implementations of respectively two Ackermann-based forgetting methods developed in our recent work. Both can be used as standalone tools or Java libraries for forgetting and related tasks. An empirical evaluation of Fame 1.0 and 2.0 on a large corpus of real-world ontologies shows that the tools are practical.
What problem does this paper attempt to address?