Nominal Schema Absorption
Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. Pages 1104-1109.
Abstract
Nominal schemas have recently been introduced as a new approach for the integration of DL-safe rules into the Description Logic framework. The efficient processing of knowledge bases with nominal schemas remains, however, challenging. We address this by extending the well-known optimisation of absorption as well as the standard tableau calculus to directly handle the (absorbed) nominal schema axioms. We implement the resulting extension of standard tableau calculi in a novel reasoning system and we integrate further optimisations. In our empirical evaluation, we show the effect of these optimisations and we find that the proposed approach performs well even when compared to other DL reasoners with dedicated rule support.
@inproceedings{ijcai2013p167,
title = {Nominal Schema Absorption},
author = {Steigmiller, Andreas and Glimm, Birte and Liebig, Thorsten},
booktitle = {Proceedings of the Twenty-Third International Joint Conference on
Artificial Intelligence, {IJCAI-13}},
publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
editor = {Francesca Rossi},
pages = {1104--1109},
year = {2013},
month = {8},
url = {https://ijcai.org/proceedings/2013/167},
}
TY - CPAPER TI - Nominal Schema Absorption AU - Steigmiller, Andreas AU - Glimm, Birte AU - Liebig, Thorsten T2 - Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13 PB - AAAI Press / International Joint Conferences on Artificial Intelligence PY - 2013 SP - 1104 EP - 1109 UR - https://ijcai.org/proceedings/2013/167 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
