Gödel FL_0 with Greatest Fixed-Point Semantics

Stefan BorgwardtStefan Borgwardt, José A. Leyva GalanoJosé A. Leyva Galano, Rafael PeñalozaRafael Peñaloza

Download

Stefan Borgwardt, José A. Leyva Galano, Rafael Peñaloza
Gödel FL_0 with Greatest Fixed-Point Semantics
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, 71-82, 2014

Details
Bibtex

KurzfassungAbstract
We study the fuzzy extension of FL_0 with semantics based on the Gödel t-norm. We show that gfp-subsumption w.r.t. a finite set of primitive definitions can be characterized by a relation on weighted automata, and use this result to provide tight complexity bounds for reasoning in this logic.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@inproceedings{ BoLP-DL14,
  address = {Vienna, Austria},
  author = {Stefan {Borgwardt} and Jos{\'e} A. {Leyva Galano} 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 = {71--82},
  series = {CEUR Workshop Proceedings},
  title = {G{\"o}del {$\mathcal{FL}_0$} with Greatest Fixed-Point Semantics},
  volume = {1193},
  year = {2014},
}