Complexity Sources in Fuzzy Description Logic
Cerami M, Straccia U
Fuzzy Description Logics Semantic Web
In recent years many Fuzzy Description Logics (FDLs) based on infinite $t$-norms have been proved to be undecidable. On the other hand, several FDLs based on finite $t$-norms, not only have been proved to be decidable, but they have been proved to belong to the same complexity classes as the corresponding crisp DLs. In light of such results, a question that naturally arises is whether the finite-valued fuzzy framework is no more complex than the crisp-valued formalism. The aim of this work is to analyze some of the complexity sources that are not present in the crisp framework. To this end, we will consider FDL languages with low expressivity that allow us to observe how the need for more complex deciding strategies, not required in the crisp framework, arises in many-valued FDLs.
Source: CEUR WORKSHOP PROCEEDINGS, pp. 421-433. Vienna, Austria, 17-20 July 2014
Back to previous page
@inproceedings{oai:it.cnr:prodotti:282391,
title = {Complexity Sources in Fuzzy Description Logic},
author = {Cerami M and Straccia U},
booktitle = {CEUR WORKSHOP PROCEEDINGS, pp. 421-433. Vienna, Austria, 17-20 July 2014},
year = {2014}
}
0000-0001-5998-6757