Gödel Description Logics with General Models

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

Download

Stefan Borgwardt, Felix Distel, Rafael Peñaloza
Gödel Description Logics with General Models
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 391-403, 2014

Details
Bibtex

KurzfassungAbstract
In the last few years, the complexity of reasoning in fuzzy description logics has been studied in depth. Surprisingly, despite being arguably the simplest form of fuzzy semantics, not much is known about the complexity of reasoning in fuzzy description logics using the Gödel t-norm. It was recently shown that in the logic G-IALC under witnessed model semantics, all standard reasoning problems can be solved in exponential time, matching the complexity of reasoning in classical ALC. We show that this also holds under general model semantics.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@inproceedings{ BoDP-DL14,
  address = {Vienna, Austria},
  author = {Stefan {Borgwardt} and Felix {Distel} and Rafael {Pe{\~n}aloza}},
  booktitle = {Proceedings of the 27th International Workshop on Description Logics ({DL'14})},
  editor = {Meghyn {Bienvenu} and Magdalena {Ortiz} and Riccardo {Rosati} and Mantas {Simkus}},
  pages = {391--403},
  series = {CEUR Workshop Proceedings},
  title = {G\"odel Description Logics with General Models},
  volume = {1193},
  year = {2014},
}