Fuzzy Description Logics have been proposed in the literature as a way to represent and reason with vague and imprecise knowledge. Their decidability, the empirically tractable and efficient reasoning algorithms, that carry over to fuzzy Description Logics, have attracted the attention of many research communities and domains that deal with a wealth of imprecise knowledge and information. In the current paper we present the syntax and semantics of fuzzy SHOIQ, investigating several properties of the semantics of transitivity, qualified cardinality restrictions and reasoning capabilities.
|Number of pages||8|
|Journal||CEUR Workshop Proceedings|
|Publication status||Published - 1 Jan 2006|
|Event||2006 International Workshop on Description Logics, DL 2006 - Windermere, Lake District, United Kingdom|
Duration: 30 May 2006 → 1 Jun 2006