Institutional Repository
| extending description logics with uncertainty reasoning in possibilistic logic | |
| Qi Guilin; Ji Qiu; Pan Jeff Z.; Du Jianfeng | |
| 2011 | |
| Source | International Journal of Intelligent Systems
 |
| ISSN | 8848173 |
| Volume | 26Issue:4Pages:353-381 |
| English Abstract | Possibilistic logic provides a convenient tool for dealing with uncertainty and handling inconsistency. In this paper, we propose possibilistic description logics as an extension of description logics, which are a family of well-known ontology languages. We first give the syntax and semantics of possibilistic description logics and define several inference services in possibilistic description logics. We show that these inference serviced can be reduced to the task of computing the inconsistency degree of a knowledge base in possibilistic description logics. Since possibilistic inference services suffer from the drowning problem, that is, axioms whose confidence degrees are less than or equal to the inconsistency are not used, we consider a drowning-free variant of possibilistic inference, called linear order inference. We propose an algorithm for computing the inconsistency degree of a possibilistic description logic knowledge base and an algorithm for the linear order inference. We consider the impact of our possibilistic description logics on ontology learning and ontology merging. Finally, we implement these algorithms and provide some interesting evaluation results. © 2011 Wiley Periodicals, Inc. |
| Indexed Type | ei |
| Keyword | Accidents Algorithms Inference Engines Knowledge Based Systems Ontology Semantics |
| Department | (1) School of Computer Science and Engineering Southeast University, Nanjing, China; (2) State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China; (3) Department of Computing Science, University of Aberdeen, Aberdeen, United Kingdom; (4) Guangdong University of Foreign Studies, Guangzhou 510006, China; (5) State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China |
| Language | 英语 |
| WOS ID | WOS:000288094700005 |
| Citation statistics | |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/14039 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Qi Guilin,Ji Qiu,Pan Jeff Z.,et al. extending description logics with uncertainty reasoning in possibilistic logic[J]. International Journal of Intelligent Systems,2011,26(4):353-381. |
| APA | Qi Guilin,Ji Qiu,Pan Jeff Z.,&Du Jianfeng.(2011).extending description logics with uncertainty reasoning in possibilistic logic.International Journal of Intelligent Systems,26(4),353-381. |
| MLA | Qi Guilin,et al."extending description logics with uncertainty reasoning in possibilistic logic".International Journal of Intelligent Systems 26.4(2011):353-381. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| extending descriptio（471KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment