Gödel FL_0 with Greatest Fixed-Point Semantics
Authors: Stefan Borgwardt, José A. Leyva Galano and Rafael Peñaloza
Paper Information
| Title: | Gödel FL_0 with Greatest Fixed-Point Semantics |
| Authors: | Stefan Borgwardt, José A. Leyva Galano and Rafael Peñaloza |
| Proceedings: | DL 2014 Proceedings |
| Editors: | Meghyn Bienvenu, Riccardo Rosati, Magdalena Ortiz and Mantas Simkus |
| Keywords: | Fuzzy Description Logics, FL_0, Goedel T-norm, Complexity |
| Abstract: | ABSTRACT. We study the fuzzy extension of \FLz with semantics based on the G\"odel 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. |
| Pages: | 12 |
| Talk: | Jul 18 14:30 |
| Paper: |  |