Deciding Fuzzy Description Logics by Type Elimination

Uwe Keller, Stijn Heymans. Deciding Fuzzy Description Logics by Type Elimination. In Fernando Bobillo, Paulo Cesar G. da Costa, Claudia d Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Trevor P. Martin, Matthias Nickles, Michael Pool, Pavel Smrz, editors, Proceedings of the Fourth International Workshop on Uncertainty Reasoning for the Semantic Web, Karlsruhe, Germany, October 26, 2008. Volume 423 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]

Abstract

Abstract is missing.