FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
FAME: An Automated Tool for Semantic Forgetting in Expressive Description Logics

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: