摘要
分析了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.
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第9期7-10,共4页
Computer Engineering
基金
国家自然科学基金资助项目(60373086)
武汉市科技计划重点攻关项目(20021002043)
武汉大学软件工程国家重点实验室开放基金资助项目(2003003)
