How Fuzzy is my Fuzzy Description Logic?

Stefan BorgwardtStefan Borgwardt, Felix DistelFelix Distel, Rafael PeñalozaRafael Peñaloza

Download

Stefan Borgwardt, Felix Distel, Rafael Peñaloza
How Fuzzy is my Fuzzy Description Logic?
In Bernhard Gramlich and Dale Miller and Ulrike Sattler, eds., Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR'12), volume 7364 of Lecture Notes in Artificial Intelligence, 82-96, 2012. Springer

Details
Bibtex

KurzfassungAbstract
Fuzzy Description Logics (DLs) with t-norm semantics have been studied as a means for representing and reasoning with vague knowledge. Recent work has shown that even fairly inexpressive fuzzy DLs become undecidable for a wide variety of t-norms. We complement those results by providing a class of t-norms and an expressive fuzzy DL for which ontology consistency is linearly reducible to crisp reasoning, and thus has its same complexity. Surprisingly, in these same logics crisp models are insufficient for deciding fuzzy subsumption.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

The final publication is available at Springer.

@inproceedings{ BoDP-IJCAR-12,
  address = {Manchester, UK},
  author = {Stefan {Borgwardt} and Felix {Distel} and Rafael {Pe{\~n}aloza}},
  booktitle = {Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR'12)},
  editor = {Bernhard {Gramlich} and Dale {Miller} and Ulrike {Sattler}},
  pages = {82--96},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  title = {How Fuzzy is my Fuzzy Description Logic?},
  volume = {7364},
  year = {2012},
}