摘要
针对电子商务自动化、智能化和移动化的新趋势 ,应用本体论对电子商务知识建模 ,提出电子商务知识描述的分层框架 ,结合描述逻辑、框架系统设计了基于XML和本体论技术的电子商务知识描述语言(KDL)。介绍了KDL的语法 ,从一阶逻辑的角度分析KDL的语义特征 ,提供KDL描述到一阶逻辑表达式的映射方法。最后 ,通过实例证明KDL具有规范的语法、精确的语义和较强的逻辑推理能力。
According to the increasingly intelligent and mobile characteristic of E-commerce, an XML-based and ontology-supported E-commerce Knowledge Description Language (KDL) is 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. And then, we introduce the XML-Based syntax of KDL, and give the methods of translating KDL into first order logic. At last, the reasoning ability of KDL proved by experiment is illustrated in detail.
出处
《中文信息学报》
CSCD
北大核心
2004年第6期37-42,共6页
Journal of Chinese Information Processing
基金
国家高技术研究发展计划 (86 3)资助项目(2 0 0 3AA4 12 0 2 0 )
陕西省"十五"科技发展计划资助项目 (2 0 0 0K0 8-G12 )
关键词
人工智能
自然语言处理
本体论
电子商务
描述逻辑
框架系统
一阶逻辑
artificial intelligence
natural language processing
ontology
E-commerce
description logics
frame-based systems
first order logic (FOL)
