Web本体语言的逻辑语义分析的研究  

Research on Logical Semantic Analysis of Web Ontology Language

作　　者：刘进[1] 何克清[1] 李兵[1] 

机构地区：[1]武汉大学软件工程国家重点实验室,武汉430072

出　　处：《计算机工程》2005年第9期7-10,共4页Computer Engineering

基　　金：国家自然科学基金资助项目(60373086);武汉市科技计划重点攻关项目(20021002043);武汉大学软件工程国家重点实验室开放基金资助项目(2003003)

摘　　要：分析了OWL的3个子语言,特别是OWLDL的DL逻辑语义。OWLDL和OWLLite分别与SH系的SHOIN(D)和SHIF(D)对应。通过定义本体的传递概念匹配模式,给出了基于该模式的降水量管理知识模型作为DL推理示例。该示例表明深入分析研究OWL的DL语义对增强基于OWL推理能力的应用具有现实意义。This paper analyzes three sub-languages of OWL, especially the DL logical semantic of OWL DL. OWL DL and OWL Lite are correspond to SHOTN (D) and SHIF (D) respectively. Both of them belong to SH family in DL. The transitive concept match pattern for ontology is also defined. And a rainfall management knowledge model based on this match pattern is provided as a DL reasoning example. This study shows that research on DL semantic of OWL can practically enhance inference ability of OWL and its applications.

关 键 词：Web本体语 本体 DL语义 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]