Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics

Stefan Borgwardt, Rafael Peñaloza. Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics. In Carsten Lutz, Silvio Ranise, editors, Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings. Volume 9322 of Lecture Notes in Computer Science, pages 49-65, Springer, 2015. [doi]

Abstract

Abstract is missing.