面向Web的知识描述语言

摘要：

提出了Web知识描述层次模型,采用本体论技术从类、槽和槽约束3方面对领域知识建模,结合描述逻辑、框架系统建立了基于XML(eXtensible MarkupLanguage)和本体论技术的知识描述语言(KDL).然后,介绍了KDL的扩展语法,并从一阶逻辑的角度对KDL的语义特征进行分析,提供KDL到FOL(First-Order Logic)的映射方法以完成KDL语言和FOL表达式之间的转化.实践证明KDL具有规范的语法和精确的语义,具有较强的逻辑推理能力.

关键词：万维网、扩展标记语言、本体论、描述语言、一阶逻辑

所属期刊栏目：30

分类号：TN304(半导体技术)

资助基金：陕西省科技攻关计划2000K08-G12

在线出版日期：2004-09-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：674-678