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

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

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: AutomatentheorieAutomata Theory
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},
}