Classifying fuzzy subsumption in fuzzy-EL+

G. Stoilos, G. Stamou, J. Z. Pan

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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.
Original languageEnglish
Title of host publicationProceedings of the 21st International Workshop on Description Logics
EditorsFranz Baader, Carsten Lutz, Boris Motik
PublisherCEUR-WS.org
Number of pages9
Volume353
Publication statusPublished - 10 Jun 2008
Event21st International Workshop on Description Logics 2008 - Dresden, Germany
Duration: 13 May 200816 May 2008
Conference number: 21
http://dl.kr.org/dl2008/

Publication series

NameCEUR Workshop Proceedings
PublisherCEUR-WS.prg
Volume353
ISSN (Electronic)1613-0073

Workshop

Workshop21st International Workshop on Description Logics 2008
Abbreviated titleDL2008
Country/TerritoryGermany
CityDresden
Period13/05/0816/05/08
Internet address

Fingerprint

Dive into the research topics of 'Classifying fuzzy subsumption in fuzzy-EL+'. Together they form a unique fingerprint.

Cite this