On the Interaction between Inverse Features and Path-functional Dependencies in Description Logics
Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence. Pages 603-607.
Abstract
We investigate how inverse features can be added to a boolean complete description logic with pathfunctional dependencies in ways that avoid undecidability of the associated logical implication problem. In particular, we present two conditions that ensure the problem remains EXPTIMEcomplete. The first is syntactic in nature and limits the form that dependencies may have in argument terminologies. The second is a coherence condition on terminologies that is sufficiently weak to allow the transfer of relational and emerging objectoriented normalization techniques.
@inproceedings{ijcai2005p176,
title = {On the Interaction between Inverse Features and Path-functional Dependencies in Description Logics},
author = {Toman, David and Weddell, Grant E.},
booktitle = {Proceedings of the Nineteenth International Joint Conference on
Artificial Intelligence, {IJCAI-05}},
publisher = {International Joint Conferences on Artificial Intelligence},
pages = {603--607},
year = {2005},
url = {https://ijcai.org/proceedings/2005/176},
}
TY - CPAPER TI - On the Interaction between Inverse Features and Path-functional Dependencies in Description Logics AU - Toman, David AU - Weddell, Grant E. T2 - Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05 PB - International Joint Conferences on Artificial Intelligence PY - 2005 SP - 603 EP - 607 UR - https://ijcai.org/proceedings/2005/176 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
