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

摘要

In this paper, we describe a high-performance reasoning tool, called Fame, for semantic forgetting in expressive description logics. Forgetting is a non-standard reasoning service that seeks to create restricted views of ontologies by eliminating concept and role names from ontologies in such a way that all logical consequences up to the remaining signature are preserved. Fame is a Java-based implementation of an Ackermann-based method for forgetting concept and role names from ontologies expressible in the description logic ALCOTH. ALCOTH is the extension of the basic description logic ALC with nominals, inverse roles and role inclusions. Fame can be used as a standalone tool or a Java library for forgetting or related tasks. Results of an evaluation of Fame on a corpus of 396 biomedical ontologies have shown that: (ⅰ) in more than 90% of the test cases Fame was successful (i.e., eliminated all specified concept and role names) and (ⅱ) the elimination was done within one second in more than 70% of the successful cases.