基于演绎的知迟图谱本体推理
本体推理
本体与描述逻辑概述演绎推理的过程需要明确定义的先验信息，所以基于演绎的知识图谱推理多围绕本体展开。本体的一般定义为概念化的显示规约，它给不同的领域提供共享的词汇。因为共享的词汇需要赋予一定的语义，所以基于演绎的推理一般都在具有逻辑描述基础的知识图谱上展开。对于逻辑描述的规范，W3C提出了OWL。OWL按表达能力从低到高划分成OWL Lite、OWL DL和OWL Full。OWL Lite和OWL DL在语义上等价于某些描述逻辑(Description Logics,DLs)，而OWL Ful没有对应的描述逻辑。
2009年，为了适应更多应用的需求，W3C组织又提出了OWL的新版本OWL2。与OWL不同，OWL2仅有对应的Fu和DL层次。OWL2Ful比OWL Fu的表达能力更强，同样没有对应的描述逻辑。而OWL2DL比OWL DL的表达能力更强，仍有对应的描述逻辑。为了适应高效的应用需求，W3C组织从OWL2中分裂出三种易处理的剖面OWL2EL、OWL2QL和OWL2RL。这些剖面都有对应的描述逻辑。下表总结了OWL成员与描述逻辑之间的对应关系。目前，OWL是知识图谱语言中最规范、最严谨、表达能力最强的语言，而且OWL基于RDF语法，使表示出来的文档具有语义理解的结构基础，OWL的另外一个作用是促进了统一词汇表的使用，定义了丰富的语义词汇。
基于OWL的模型论语义，在丰富逻辑描述
原文地址：https://blog.csdn.net/weixin_43961909/article/details/144052044
免责声明：本站文章内容转载自网络资源，如本站内容侵犯了原著者的合法权益，可联系本站删除。更多内容请关注自学内容网（zxcms.com）！