TY - JOUR
T1 - Classifying fuzzy subsumption in fuzzy-EL+
AU - Stoilos, G.
AU - Stamou, G.
AU - Pan, J. Z.
N1 - The work of Giorgos Stoilos and Giorgos Stamou was partially supported by the European Commission under project X-Media (FP6-26978). The work of Giorgos Stoilos was partially supported by the Greek Secretariat of Research and Technology under project PENED 03ED475 2003.
PY - 2008/12/1
Y1 - 2008/12/1
N2 - Fuzzy Description Logics (f-DLs) have been proposed as extensions of classical Description Logics able to handle imprecise and vague knowledge. Although several extensions to expressive DLs have been proposed today and many reasoning algorithms exist there is still no scalable and efficient reasoning system reported, mainly due to inherited computational complexity from crisp DLs and the lack for optimisation techniques for fuzzy DL reasoning algorithms. Following the paradigm of classical DLs, fuzzy extensions to tractable DLs have been proposed. In the current paper we present a fuzzy extension to the tractable DL EL+, creating f-EL+. Besides the syntax and the extended semantics we also provide a reasoning algorithm for f-EL+. Interestingly, our algorithm supports classification over fuzzy subsumption for which scalable reasoning is not known.
AB - Fuzzy Description Logics (f-DLs) have been proposed as extensions of classical Description Logics able to handle imprecise and vague knowledge. Although several extensions to expressive DLs have been proposed today and many reasoning algorithms exist there is still no scalable and efficient reasoning system reported, mainly due to inherited computational complexity from crisp DLs and the lack for optimisation techniques for fuzzy DL reasoning algorithms. Following the paradigm of classical DLs, fuzzy extensions to tractable DLs have been proposed. In the current paper we present a fuzzy extension to the tractable DL EL+, creating f-EL+. Besides the syntax and the extended semantics we also provide a reasoning algorithm for f-EL+. Interestingly, our algorithm supports classification over fuzzy subsumption for which scalable reasoning is not known.
UR - http://www.scopus.com/inward/record.url?scp=77249151020&partnerID=8YFLogxK
UR - http://ceur-ws.org/Vol-353/StoilosStamouPan.pdf
M3 - Conference article
AN - SCOPUS:77249151020
VL - 353
SP - 1
EP - 9
JO - CEUR Workshop Proceedings
JF - CEUR Workshop Proceedings
SN - 1613-0073
T2 - 21st International Workshop on Description Logics, DL 2008
Y2 - 13 May 2008 through 16 May 2008
ER -