Authors: Yizheng Zhao and Renate A. Schmidt
Paper Information
Title: | FAME: An Automated Tool for Semantic Forgetting in Expressive Description Logics |
Authors: | Yizheng Zhao and Renate A. Schmidt |
Proceedings: | IJCAR Proceedings 9th IJCAR, 2018 |
Editors: | Stephan Schulz, Didier Galmiche and Roberto Sebastiani |
Keywords: | description logics, ontologies, uniform interpolation, semantic forgetting, Ackermann's Lemma |
Abstract: | ABSTRACT. 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 a way so that all logical consequences are preserved up to the remaining signature. FAME is a Java-based implementation of an Ackermann-based forgetting method for eliminating concept and role names from ontologies expressible in ALCOIH, i.e., the basic ALC extended 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: (i) in more than 90% of the test cases FAME was successful (i.e., eliminated all specified concept and role names) and (ii) in more than 70% of these cases the elimination was done within a split second. |
Pages: | 8 |
Talk: | Jul 14 16:30 (Session 99F: Tools and Rewriting) |
Paper: |