The Fuzzy Description Logic G-FL_0 with Greatest Fixed-Point Semantics

Stefan BorgwardtStefan Borgwardt,  José A. Leyva GalanoJosé A. Leyva Galano,  Rafael PeñalozaRafael Peñaloza
Stefan Borgwardt, José A. Leyva Galano, Rafael Peñaloza
The Fuzzy Description Logic G-FL_0 with Greatest Fixed-Point Semantics
In Eduardo Fermé and João Leite, eds., Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA'14), volume 8761 of Lecture Notes in Artificial Intelligence, 62-76, 2014. Springer
• KurzfassungAbstract
We study the fuzzy extension of the Description Logic FL_0 with semantics based on the Gödel t-norm. We show that subsumption w.r.t. a finite set of primitive definitions, using greatest fixed-point semantics, can be characterized by a relation on weighted automata. We use this result to provide tight complexity bounds for reasoning in this logic, showing that it is PSpace-complete. If the definitions do not contain cycles, subsumption becomes co-NP-complete.
• Forschungsgruppe:Research Group: Automatentheorie
The final publication is available at Springer.
@inproceedings{ BoLP-JELIA14,
address = {Funchal, Portugal},
author = {Stefan {Borgwardt} and Jos{\'e} A. {Leyva Galano} and Rafael {Pe{\~n}aloza}},
booktitle = {Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA'14)},
editor = {Eduardo {Ferm{\'e}} and Jo{\~a}o {Leite}},
pages = {62--76},
publisher = {Springer-Verlag},
series = {Lecture Notes in Artificial Intelligence},
title = {The Fuzzy Description Logic {\textsf{G}-$\mathcal{FL}_0$} with Greatest Fixed-Point Semantics},
volume = {8761},
year = {2014},
}