Description Logics over Lattices with Multi-Valued Ontologies
Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. Pages 768-772.
Abstract
Uncertainty is unavoidable when modeling most application domains. In medicine, for example, symptoms (such as pain, dizziness, or nausea) are always subjective, and hence imprecise and incomparable. Additionally, concepts and their relationships may be inexpressible in a crisp, clear-cut manner. We extend the description logic ALC with multi-valued semantics based on lattices that can handle uncertainty on concepts as well as on the axioms of the ontology. We introduce reasoning methods for this logic w.r.t. general concept inclusions and show that the complexity of reasoning is not increased by this new semantics.
@inproceedings{ijcai2011p135,
title = {Description Logics over Lattices with Multi-Valued Ontologies},
author = {Borgwardt, Stefan and Peñaloza, Rafael},
booktitle = {Proceedings of the Twenty-Second International Joint Conference on
Artificial Intelligence, {IJCAI-11}},
publisher = {AAAI Press/International Joint Conferences on Artificial Intelligence},
editor = {Toby Walsh},
pages = {768--772},
year = {2011},
month = {7},
doi = {10.5591/978-1-57735-516-8/IJCAI11-135},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-135},
}
TY - CPAPER TI - Description Logics over Lattices with Multi-Valued Ontologies AU - Borgwardt, Stefan AU - Peñaloza, Rafael T2 - Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11 PB - AAAI Press/International Joint Conferences on Artificial Intelligence PY - 2011 SP - 768 EP - 772 DO - 10.5591/978-1-57735-516-8/IJCAI11-135 UR - https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-135 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
