面向Web的知识描述语言  

Web-oriented knowledge description language

作　　者：王向华[1] 何坚[1] 覃征[1] 贾晓琳[1] 

机构地区：[1]西安交通大学电子与信息工程学院,西安710049

出　　处：《北京航空航天大学学报》2004年第7期674-678,共5页Journal of Beijing University of Aeronautics and Astronautics

基　　金：陕西"十五"科技攻关资助项目(2000K08G12)

摘　　要：提出了Web知识描述层次模型 ,采用本体论技术从类、槽和槽约束3方面对领域知识建模 ,结合描述逻辑、框架系统建立了基于XML(eXtensibleMarkupLanguage)和本体论技术的知识描述语言 (KDL) .然后 ,介绍了KDL的扩展语法 ,并从一阶逻辑的角度对KDL的语义特征进行分析 ,提供KDL到FOL(First OrderLogic)的映射方法以完成KDL语言和FOL表达式之间的转化 .实践证明KDL具有规范的语法和精确的语义 。The XML-based and ontology-supported knowledge description language (KDL) was presented, which has three-tier structure (core KDL, extended KDL and complex KDL), and takes advantages of strong point of ontology, XML, description logics, and frame-based systems. The XML-Based syntax of KDL was introduced, and the methods of translating KDL into first order logic 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 model properties, and KDL has powerful reasoning ability.

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

分 类 号：TN304[电子电信—物理电子学]