摘要： 分析了OWL的3个子语言,特别是OWLDL的DL逻辑语义。OWLDL和OWLLite分别与SH系的SHOIN(D)和SHIF(D)对应。通过定义本体的传递概念匹配模式,给出了基于该模式的降水量管理知识模型作为DL推理示例。该示例表明深入分析研究OWL的DL语义对增强基于OWL推理能力的应用具有现实意义。

关键词: Web本体语言, 本体, DL语义

Abstract: This paper analyzes three sub-languages of OWL,especially the DL logical semantic of OWL DL. OWL DL and OWL Lite are correspond to SHOIN (D )和 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 konwledge 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.

中图分类号: 

• TP393.09