2013 | OriginalPaper | Chapter
Transforming Fuzzy Description Logic into Classical Description Logic
Author : Yining Wu
Published in: Uncertainty Reasoning for the Semantic Web II
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
In this paper, we present a satisfiability preserving transformation of the fuzzy Description Logic
$\mathcal{ALC}_\mathcal{FL}$
into the classical Description Logic
$\mathcal{ALCH}$
. We can use the already existing DL systems to do the reasoning of
$\mathcal{ALC}_\mathcal{FL}$
by applying the result of this paper. This work is inspired by Straccia, who has transformed the fuzzy Description Logic
$\mathfrak f\mathcal{ALCH}$
into the classical Description Logic
$\mathcal{ALCH}$
.