The Limits of Decidability in Fuzzy Description Logics with General Concept Inclusions

Stefan BorgwardtStefan Borgwardt, Felix DistelFelix Distel, Rafael PeñalozaRafael Peñaloza

Stefan Borgwardt, Felix Distel, Rafael Peñaloza
The Limits of Decidability in Fuzzy Description Logics with General Concept Inclusions
Artificial Intelligence, 218:23-55, 2015

Details
Bibtex

KurzfassungAbstract
Fuzzy Description Logics (DLs) can be used to represent and reason with vague knowledge. This family of logical formalisms is very diverse, each member being characterized by a specific choice of constructors, axioms, and triangular norms, which are used to specify the semantics. Unfortunately, it has recently been shown that the consistency problem in many fuzzy DLs with general concept inclusion axioms is undecidable. In this paper, we present a proof framework that allows us to extend these results to cover large classes of fuzzy DLs. On the other hand, we also provide matching decidability results for most of the remaining logics. As a result, we obtain a near-universal classification of fuzzy DLs according to the decidability of their consistency problem.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@article{ BoDP-AI15,
  author = {Stefan {Borgwardt} and Felix {Distel} and Rafael {Pe{\~n}aloza}},
  doi = {http://dx.doi.org/10.1016/j.artint.2014.09.001},
  journal = {Artificial Intelligence},
  pages = {23--55},
  title = {The Limits of Decidability in Fuzzy Description Logics with General Concept Inclusions},
  volume = {218},
  year = {2015},
}