Description Logics over Lattices with Multi-Valued Ontologies

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.

Cite

Text

Borgwardt and Peñaloza. "Description Logics over Lattices with Multi-Valued Ontologies." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-135

Markdown

[Borgwardt and Peñaloza. "Description Logics over Lattices with Multi-Valued Ontologies." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/borgwardt2011ijcai-description/) doi:10.5591/978-1-57735-516-8/IJCAI11-135

BibTeX

@inproceedings{borgwardt2011ijcai-description,
  title     = {{Description Logics over Lattices with Multi-Valued Ontologies}},
  author    = {Borgwardt, Stefan and Peñaloza, Rafael},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2011},
  pages     = {768-773},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-135},
  url       = {https://mlanthology.org/ijcai/2011/borgwardt2011ijcai-description/}
}