Positive Subsumption in Fuzzy EL with General t-Norms
Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. Pages 789-794.
Abstract
The Description Logic EL is used to formulate several large biomedical ontologies. Fuzzy extensions of EL can express the vagueness inherent in many biomedical concepts. We study the reasoning problem of deciding positive subsumption in fuzzy EL with semantics based on general t-norms. We show that the complexity of this problem depends on the specific t-norm chosen. More precisely, if the t-norm has zero divisors, then the problem is co-NP-hard; otherwise, it can be decided in polynomial time. We also show that the best subsumption degree cannot be computed in polynomial time if the t-norm contains the Łukasiewicz t-norm.
@inproceedings{ijcai2013p123,
title = {Positive Subsumption in Fuzzy EL with General t-Norms},
author = {Borgwardt, Stefan and Peñaloza, Rafael},
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 = {789--794},
year = {2013},
month = {8},
url = {https://ijcai.org/proceedings/2013/123},
}
TY - CPAPER TI - Positive Subsumption in Fuzzy EL with General t-Norms AU - Borgwardt, Stefan AU - Peñaloza, Rafael 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 - 789 EP - 794 UR - https://ijcai.org/proceedings/2013/123 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
