Forgetting Concept and Role Symbols in ALCOIHµ+(∇, ⊓)-Ontologies
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Pages 1345-1352.
Abstract
Forgetting is a non-standard reasoning problem concerned with creating restricted views for ontologies relative to subsets of their initial signatures while preserving all logical consequences up to the symbols in the restricted views. In this paper, we present an Ackermann-based approach for forgetting of concept and role symbols in ontologies expressible in the description logic ALCOIHmu+(top,and). The method is one of only few approaches that can eliminate role symbols, that can handle role inverse, ABox statements, and is the only approach so far providing support for forgetting in description logics with nominals. Despite the inherent difficulty of forgetting for this level of expressivity, performance results with a prototypical implementation have shown very good success rates on real-world ontologies.
@inproceedings{ijcai2016p194,
title = {Forgetting Concept and Role Symbols in ALCOIHµ+(∇, ⊓)-Ontologies},
author = {Zhao, Yizheng and Schmidt, Renate A.},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI-16}},
publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
editor = {Subbarao Kambhampati},
pages = {1345--1352},
year = {2016},
month = {7},
url = {https://ijcai.org/proceedings/2016/194},
}
TY - CPAPER TI - Forgetting Concept and Role Symbols in ALCOIHµ+(∇, ⊓)-Ontologies AU - Zhao, Yizheng AU - Schmidt, Renate A. T2 - Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16 PB - AAAI Press / International Joint Conferences on Artificial Intelligence PY - 2016 SP - 1345 EP - 1352 UR - https://ijcai.org/proceedings/2016/194 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
