Tractable reasoning with vague knowledge using fuzzy {Mathematical expression}

Mailis, T; Stoilos, G; Simou, N; Stamou, G; Kollias, S

dc.contributor.author	Mailis, T	en
dc.contributor.author	Stoilos, G	en
dc.contributor.author	Simou, N	en
dc.contributor.author	Stamou, G	en
dc.contributor.author	Kollias, S	en
dc.date.accessioned	2014-03-01T11:47:19Z
dc.date.available	2014-03-01T11:47:19Z
dc.date.issued	2012	en
dc.identifier.issn	09259902	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/38127
dc.subject	Fuzzy concrete domains	en
dc.subject	Fuzzy description logics	en
dc.subject	Fuzzy {Mathematical expression}	en
dc.subject	Tractable description logics	en
dc.title	Tractable reasoning with vague knowledge using fuzzy {Mathematical expression}	en
heal.type	other	en
heal.identifier.primary	10.1007/s10844-012-0195-6	en
heal.identifier.secondary	http://dx.doi.org/10.1007/s10844-012-0195-6	en
heal.publicationDate	2012	en
heal.abstract	Fuzzy Description Logics (fuzzy DLs) are extensions of classic DLs that are capable of representing and reasoning with imprecise and vague knowledge. Though reasoning algorithms for very expressive fuzzy DLs have been developed and optimizations have started to be explored, the efficiency of such systems is still questionable, and the study of tractable languages is an interesting open issue. In this paper we introduce a tractable fuzzy extension of {Mathematical expression}. We present its syntax and semantics together with a reasoning algorithm for the fuzzy concept subsumption problem to which other problems can be reduced. © 2012 Springer Science+Business Media, LLC.	en
heal.journalName	Journal of Intelligent Information Systems	en
dc.identifier.doi	10.1007/s10844-012-0195-6	en
dc.identifier.spage	1	en
dc.identifier.epage	42	en