Description logics over lattices with multi-valued ontologies
Stefan Borgwardt, Rafael Peñaloza · 2011
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 incom-parable. Additionally, concepts and their relation-ships may be inexpressible in a crisp, clear-cut manner. We extend the description logicALC 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 inclu-sions and show that the complexity of reasoning is not increased by this new semantics. 1