Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics

Stefan Borgwardt, Rafael Peñaloza. Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics. Int. J. Approx. Reasoning, 83:60-101, 2017. [doi]

Abstract

Abstract is missing.