北京航空航天大学学报 ›› 2004, Vol. 30 ›› Issue (07): 674-678.

• 论文 • 上一篇    下一篇

面向Web的知识描述语言

王向华, 何坚, 覃征, 贾晓琳   

  1. 西安交通大学 电子与信息工程学院,西安 710049
  • 收稿日期:2003-12-29 出版日期:2004-07-31 发布日期:2010-09-21
  • 作者简介:王向华(1971-),男,吉林磐石人,博士生, okoka @163.com.
  • 基金资助:

    陕西"十五"科技攻关资助项目(2000K08-G12)

Web-oriented knowledge description language

Wang Xianghua, He Jian, Qin Zheng, Jia Xiaolin   

  1. School of Electronics and Information, Xi’an Jiaotong University, Xi’an 710049, China
  • Received:2003-12-29 Online:2004-07-31 Published:2010-09-21
  • Supported by:

    陕西"十五"科技攻关资助项目(2000K08-G12)

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

Abstract: An XML-based and ontology-supported knowledge description language (KDL) was first presented, which has three-tier structure(core KDL, extended KDL and complex KDL), and takes advantages of strongpoint of ontology, XML, description logics, frame-based systems. The XML-Based syntax of KDL was introduced, and the methods of translating KDL into first order logic (FOL) was given. The implementation of KDL on the Web was described, and the reasoning ability of KDL proved by experiment was illustrated. It is demonstrated by practice that KDL encompasses XML and resource description framework(RDF) model properties, and KDL has powerfully reasoning ability.

中图分类号: 


版权所有 © 《北京航空航天大学学报》编辑部
通讯地址:北京市海淀区学院路37号 北京航空航天大学学报编辑部 邮编:100191 E-mail:jbuaa@buaa.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发