Abstract / Description of output
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.
Original language | English |
---|---|
Title of host publication | Proceedings of the 2006 International Workshop on Description Logics |
Editors | Bijan Parsia, Ulrike Sattler, David Toman |
Publisher | CEUR-WS.org |
Pages | 119-126 |
Number of pages | 8 |
Publication status | Published - 23 Jun 2006 |
Event | 2006 International Workshop on Description Logics - Lake District, United Kingdom Duration: 30 May 2006 → 1 Jun 2006 http://dl.kr.org/dl2006/ |
Publication series
Name | CEUR Workshop Proceedings |
---|---|
Publisher | CEUR-WS.org |
Volume | 189 |
ISSN (Electronic) | 1613-0073 |
Conference
Conference | 2006 International Workshop on Description Logics |
---|---|
Abbreviated title | DL 2006 |
Country/Territory | United Kingdom |
City | Lake District |
Period | 30/05/06 → 1/06/06 |
Internet address |