computing most specific concept in description logic with transitive roles and existential restrictions
文献类型：期刊论文
| 作者 | Jiang Yuncheng ; Tang Suqin ; Wang Ju ; Zhou Shengming |
| 刊名 | Jisuanji Yanjiu yu Fazhan/Computer Research and Development
 |
| 出版日期 | 2009 |
| 卷号 | 46期号:6页码:979-987 |
| 关键词 | Flowcharting Graph theory Inference engines Knowledge representation XML |
| ISSN号 | 10001239 |
| 收录类别 | EI |
| 语种 | 中文 |
| 公开日期 | 2011-03-18 |
| 附注 | Description logic is a logical reconstruction of the frame-based knowledge representation languages, with the aim of providing simple well-established declarative semantics to capture the meaning of structured representation of knowledge. The fundamentality of non-standard inferences in description logic, especially the current research progress and existing problems of the MSC (most specific concept) inference in description logic, are analyzed in this paper. Aiming at the insufficiency of the MSC inference in description logics which can not deal with transitive roles and existential restrictions, the MSC inference for description logic with transitive roles and existential restrictions ΕL+ is studied. A kind of new ΕL+-description graph is presented. The inference algorithm of approximating MSC in description logic with transitive roles and existential restrictions ΕL+ is presented using description tree and description graph, and its correctness is proved using ΕL+-description trees homomorphism and description graph homomorphism. As a by-product, the instance reasoning algorithm in description logic with transitive roles and existential restrictions ΕL+ is presented using ΕL+-description tree and description graph homomorphism, and its correctness is also proved. Theoretical foundation for the MSC inference for more expressive description logics such as ALΕ is provided through the MSC inference algorithm of ΕL+. |
| 源URL | [http://124.16.136.157/handle/311060/7954]  |
| 专题 | 软件研究所_软件所图书馆_2009年期刊/会议论文 |
| 推荐引用方式 GB/T 7714 | Jiang Yuncheng,Tang Suqin,Wang Ju,et al. computing most specific concept in description logic with transitive roles and existential restrictions[J]. Jisuanji Yanjiu yu Fazhan/Computer Research and Development,2009,46(6):979-987. |
| APA | Jiang Yuncheng,Tang Suqin,Wang Ju,&Zhou Shengming.(2009).computing most specific concept in description logic with transitive roles and existential restrictions.Jisuanji Yanjiu yu Fazhan/Computer Research and Development,46(6),979-987. |
| MLA | Jiang Yuncheng,et al."computing most specific concept in description logic with transitive roles and existential restrictions".Jisuanji Yanjiu yu Fazhan/Computer Research and Development 46.6(2009):979-987. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。