基于描述逻辑的知识建模语言 |
| |
引用本文: | 李宗寿.基于描述逻辑的知识建模语言[J].怀化学院学报,2007(2). |
| |
作者姓名: | 李宗寿 |
| |
作者单位: | 吉首大学数学与计算机科学学院 湖南吉首416000 |
| |
摘 要: | 当前Web页面基于HTML语言,缺乏语义信息,语义网络是对现有Web的扩展.OWL是WebOntology的一种最新的W3C提出的表示语言,是实现语义Web的语言工具,它的逻辑基础是描述逻辑.结合OWL语言,提出一种基于描述逻辑的知识建模语言(KDL),给出了知识描述语言的语义解释,并提出了基于Tableau算法的推理算法.
|
关 键 词: | 语义网络 OWL 描述逻辑 |
本文献已被 CNKI 等数据库收录! |
|