Master Thesis Defense by Mahfuza Farooque
Ms Mahfuza Farooque defended her master thesis on 'A Study on Satisfiability in Fuzzy Description Logics'.
Ms Mahfuza Farooque defended her master thesis on 'A Study on Satisfiability in Fuzzy Description Logics' at TUD on Tuesday, 28 September 2010.
Abstract: Fuzzy Description Logics are an extension of Description Logics (DL) which deal with fuzzy and vague concepts. Recently, several algorithms, based on tableau methods, have been developed for reasoning with t-norm fuzzy DLs, in particular the product and Lukasiewicz t-norms. In this work, we analyse these algorithms and show that they are not able to detect unsatisfiability of Knowledge Bases in all cases. We try to solve this problem by presenting several conditions that lead to unsatisfiability, which can be decided directly from the output of the existing fuzzy tableau algorithms.