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

作者：刘进; 何克清; 李兵

来源：计算机工程, 2005, (09): 7-10.

• Web本体语言
• 本体
• DL语义 OWL
• Ontology
• DL semantics

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

• 单位
  武汉大学; 软件工程国家重点实验室