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.
Cite
CITATION STYLE
Zhao, Y., & Schmidt, R. A. (2019). FAME(Q): An automated tool for forgetting in description logics with qualified number restrictions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11716 LNAI, pp. 568–579). Springer. https://doi.org/10.1007/978-3-030-29436-6_34
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
