Role Forgetting for ALCOQH(universal role)-Ontologies Using an Ackermann-Based Approach

Role Forgetting for ALCOQH(universal role)-Ontologies Using an Ackermann-Based Approach

Yizheng Zhao, Renate A. Schmidt

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
Main track. Pages 1354-1361. https://doi.org/10.24963/ijcai.2017/188

Forgetting refers to a non-standard reasoning problem concerned with eliminating concept and role symbols from description logic-based ontologies while preserving all logical consequences up to the remaining symbols. Whereas previous research has primarily focused on forgetting concept symbols, in this paper, we turn our attention to role symbol forgetting. In particular, we present a practical method for semantic role forgetting for ontologies expressible in the description logic ALCOQH(universal role), i.e., the basic description logic ALC extended with nominals, qualified number restrictions, role inclusions and the universal role. Being based on an Ackermann approach, the method is the only approach so far for forgetting role symbols in description logics with qualified number restrictions. The method is goal-oriented and incremental. It always terminates and is sound in the sense that the forgetting solution is equivalent to the original ontology up to the forgotten symbols possibly with new concept definer symbols. Despite our method not being complete, performance results of an evaluation with a prototypical implementation have shown very good success rates on real-world ontologies.
Keywords:
Knowledge Representation, Reasoning, and Logic: Automated Reasoning and Theorem Proving
Knowledge Representation, Reasoning, and Logic: Description Logics and Ontologies
Knowledge Representation, Reasoning, and Logic: Logics for Knowledge Representation
Knowledge Representation, Reasoning, and Logic: Non-classical logics for Knowledge Representation