computing most specific concept in description logic with n-ary existential quantifier
文献类型：期刊论文
| 作者 | Jiang Yun-Cheng ; Tang Su-Qin |
| 刊名 | Jisuanji Xuebao/Chinese Journal of Computers
 |
| 出版日期 | 2009 |
| 卷号 | 32期号:8页码:1500-1510 |
| 关键词 | Algorithms Data description Flowcharting Inference engines Knowledge representation Standards XML |
| ISSN号 | 2544164 |
| 收录类别 | EI |
| 语种 | 中文 |
| 公开日期 | 2011-03-18 |
| 附注 | Description Logics (DLs) are a logical reconstruction of the frame-based knowledge representation languages, with the aim of providing a simple well-established declarative semantics to capture the meaning of structured representation of knowledge. The fundamentality of non-standard inferences in DLs, especially the current research progress and the existing problems of the MSC (Most Specific Concept) inference in DLs, are analyzed in this paper. Aiming at the insufficiency of the MSC inference in DLs which can not deal with n-ary existential quantifier, the MSC inference for the DL with n-ary existential quantifier ΕL(n) is studied, where n-ary existential quantifier is a new concept constructor in DLs. A kind of new ΕL(n)-description graph is presented. The inference algorithm of approximating MSC in ΕL(n) is presented using description tree and description graph, and the correctness of inference algorithm of approximating MSC is proved using ΕL(n)-description trees embedding and ΕL(n)-description tree and description graph homomorphism. As a by-product, the instance reasoning algorithm in ΕL(n) is presented using ΕL(n)-description tree and description graph homomorphism, and the correctness of instance reasoning algorithm is also proved. Theoretical foundation for the MSC inference for more expressive DLs with n-ary existential quantifier such as ΕLU(n) and ALΕ(n) is provided through the MSC inference algorithm of ΕL(n). |
| 源URL | [http://124.16.136.157/handle/311060/8014]  |
| 专题 | 软件研究所_软件所图书馆_2009年期刊/会议论文 |
| 推荐引用方式 GB/T 7714 | Jiang Yun-Cheng,Tang Su-Qin. computing most specific concept in description logic with n-ary existential quantifier[J]. Jisuanji Xuebao/Chinese Journal of Computers,2009,32(8):1500-1510. |
| APA | Jiang Yun-Cheng,&Tang Su-Qin.(2009).computing most specific concept in description logic with n-ary existential quantifier.Jisuanji Xuebao/Chinese Journal of Computers,32(8),1500-1510. |
| MLA | Jiang Yun-Cheng,et al."computing most specific concept in description logic with n-ary existential quantifier".Jisuanji Xuebao/Chinese Journal of Computers 32.8(2009):1500-1510. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。