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

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

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
  • 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},
}