FAME(Q): An Automated Tool for Forgetting in Description Logics with Qualified Number Restrictions

Zhao, Y. and Schmidt, R. A. (2019)

In P. Fontaine (ed), Automated Deduction: CADE-27. Lecture Notes in Artificial Intelligence, Vol. 11716, Springer, 568-579. BiBTeX, PDF, DOI link to Springer.

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.

Accompanying website


Renate A. Schmidt
Home | Publications | Tools | FM Group | School | Man Univ

Last modified: 21 Feb 20
Copyright © 2019 Renate A. Schmidt, School of Computer Science, Man Univ, schmidt@cs.man.ac.uk