Decidability of SHIQ with Complex Role Inclusion Axioms
Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence. Pages 343-347.
Abstract
Motivated by medical terminology applications, we investigate the decidability of the well known expressive DL, SHIQ, extended with role inclusion axioms (RIAs) of the form R o S ~ P. We show that this extension is undecidable even when RIAs are restricted to the forms R o S ~ R or So R ~ R, but that decidability can be regained by further restricting RIAs to be acyclic. We present a tableau algorithm for this DL and report on its implementation, which behaves well in practise and provides important additional functionality in a medical terminology application.
@inproceedings{ijcai2003p51,
title = {Decidability of SHIQ with Complex Role Inclusion Axioms},
author = {Horrocks, Ian and Sattler, Ulrike},
booktitle = {Proceedings of the Eighteenth International Joint Conference on
Artificial Intelligence, {IJCAI-03}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Georg Gottlob},
pages = {343--347},
year = {2003},
url = {https://ijcai.org/proceedings/2003/51},
}
TY - CPAPER TI - Decidability of SHIQ with Complex Role Inclusion Axioms AU - Horrocks, Ian AU - Sattler, Ulrike T2 - Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI-03 PB - International Joint Conferences on Artificial Intelligence PY - 2003 SP - 343 EP - 347 UR - https://ijcai.org/proceedings/2003/51 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
