| DOI | Resolve DOI: https://doi.org/10.1007/978-3-642-04020-7_13 |
|---|
| Author | Search for: Zhao, Jidi; Search for: Boley, Harold1; Search for: Du, Weichang |
|---|
| Affiliation | - National Research Council of Canada. NRC Institute for Information Technology
|
|---|
| Format | Text, Article |
|---|
| Conference | 5th International Conference on Intelligent Computing, ICIC 2009 Ulsan, September 16-19, 2009, South Korea |
|---|
| Abstract | This paper has its motivation in the occurrence of uncertain knowledge in different application areas, and introduces an expressive fuzzy description logic that extends classical description logics to many-valued logics. We represent, and reason with, uncertain knowledge in the description logic ALCHIN extended to an interval-based, norm-parameterized fuzzy logic. First, the syntax and the semantics of the proposed fuzzy description logic are addressed. Then the paper presents an algorithm for consistency checking of knowledge bases in the proposed language. |
|---|
| Publication date | 2009 |
|---|
| Publisher | Springer |
|---|
| In | |
|---|
| Series | |
|---|
| Language | English |
|---|
| Peer reviewed | Yes |
|---|
| NPARC number | 23005051 |
|---|
| Export citation | Export as RIS |
|---|
| Report a correction | Report a correction (opens in a new tab) |
|---|
| Record identifier | 02a5b1dd-904c-43f5-a291-eec2dc97f995 |
|---|
| Record created | 2019-02-20 |
|---|
| Record modified | 2020-04-16 |
|---|
