A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices

From International Center for Computational Logic

Toggle side column

A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices

Stefan BorgwardtStefan Borgwardt,  Rafael PeñalozaRafael Peñaloza
Stefan Borgwardt, Rafael Peñaloza
A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices
In Markus Krötzsch and Umberto Straccia, eds., Proceedings of the 6th International Conference on Web Reasoning and Rule Systems (RR 2012), volume 7497 of Lecture Notes in Computer Science, 9-24, 2012. Springer
  • KurzfassungAbstract
    Fuzzy description logics can be used to model vague knowledge in application domains. This paper analyses the consistency and satisfiability problems in the description logic SHI with semantics based on a complete residuated De Morgan lattice. The problems are undecidable in the general case, but can be decided by a tableau algorithm when restricted to finite lattices. For some sublogics of SHI, we provide upper complexity bounds that match the complexity of crisp reasoning.
  • Forschungsgruppe:Research Group: Automatentheorie
The final publication is available at Springer.
@inproceedings{ BoPeRR12,
  author = {Stefan {Borgwardt} and Rafael {Pe{\~n}aloza}},
  booktitle = {Proceedings of the 6th International Conference on Web Reasoning and Rule Systems (RR 2012)},
  editor = {Markus {Kr{\"o}tzsch} and Umberto {Straccia}},
  pages = {9--24},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices},
  volume = {7497},
  year = {2012},
}