@INPROCEEDINGS{ZhaoSchmidt19a,
AUTHOR = {Zhao, Y. and Schmidt, R. A.},
YEAR = {2019},
TITLE = {{FAME(Q)}: An Automated Tool for Forgetting in Description Logics with Qualified Number Restrictions},
EDITOR = {Fontaine, P.},
BOOKTITLE = {Automated Deduction---CADE-27},
SERIES = {Lecture Notes in Artificial Intelligence},
VOLUME = {11716},
PUBLISHER = {Springer},
PAGES = {??--??},
DOI = {https://doi.org/10.1007/978-3-030-29436-6_34},
URL = {http://www.cs.man.ac.uk/~schmidt/publications/ZhaoSchmidt19a.html},
ABSTRACT = {In this paper, we describe FAME(Q), a Java-based implementation 
of a forgetting method developed for eliminating concept and role
names from ALCOQH-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.},
}