Reasoning in Expressive Gödel Description Logics

Stefan BorgwardtStefan Borgwardt, Rafael PeñalozaRafael Peñaloza

Download

Stefan Borgwardt, Rafael Peñaloza
Reasoning in Expressive Gödel Description Logics
In Maurizio Lenzerini, Rafael Peñaloza, eds., Proceedings of the 29th International Workshop on Description Logics (DL'16), volume 1577 of CEUR Workshop Proceedings, 2016

Details
Bibtex

KurzfassungAbstract
Fuzzy description logics (FDLs) are knowledge representation formalisms capable of dealing with imprecise knowledge by allowing intermediate membership degrees in the interpretation of concepts and roles. One option for dealing with these intermediate degrees is to use the so-called Gödel semantics, under which conjunction is interpreted by the minimum of the degrees. Despite its apparent simplicity, developing reasoning techniques for expressive FDLs under this semantics is a hard task. In this paper, we illustrate two algorithms for deciding consistency in (sublogics of) SROIQ under Gödel semantics.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@inproceedings{BP2016,
  author    = {Stefan Borgwardt and Rafael Pe{\~{n}}aloza},
  title     = {Reasoning in Expressive G{\"{o}}del Description Logics},
  editor    = {Maurizio Lenzerini and Rafael Pe{\~{n}}aloza},
  booktitle = {Proceedings of the 29th International Workshop on Description
               Logics (DL'16)},
  series    = {CEUR Workshop Proceedings},
  volume    = {1577},
  year      = {2016}
}