In this paper, we describe FAME(Q), a Java-based implementation of a forgetting method developed for eliminating concept and role names from ALCO QH-ontologies. FAME(Q) is presently the only tool for concept forgetting in description logics with qualified number restrictions and nominals, and the only tool for role forgetting in description logics with qualified number restrictions. FAME(Q) can be used as a stand-alone tool or a Java library for forgetting, or related tasks. An evaluation of FAME(Q) on a large corpus of biomedical ontologies shows that the tool is able to compute forgetting solutions in 90% of the test cases; in most cases, the solutions are computed within a few seconds.
展开▼
