|
|||||
|
|
| 基于描述逻辑的知识建模语言 | |
| 引用本文： | 李宗寿.基于描述逻辑的知识建模语言[J].怀化学院学报,2007,26(5):70-72. |
| 作者姓名： | 李宗寿 |
| 作者单位： | 吉首大学,数学与计算机科学学院,湖南,吉首,416000 |
| 摘 要： | 当前Web页面基于HTML语言,缺乏语义信息,语义网络是对现有Web的扩展.OWL是Web Ontology的一种最新的W3C提出的表示语言,是实现语义Web的语言工具,它的逻辑基础是描述逻辑.结合OWL语言,提出一种基于描述逻辑的知识建模语言(KDL),给出了知识描述语言的语义解释,并提出了基于Tableau算法的推理算法. |
| 关 键 词： | 语义网络 OWL 描述逻辑 |
| 文章编号： | 1671-9743（2007）05-0070-03 |
| 修稿时间： | 2007-03-16 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |