S_u_cheng的博客

语义网是什么？语义网是对未来网络的一个设想，与Web 3.0智能网络 这一概念结合在一起，作为3.0网络时代的特征之一。语义网是一种智能网络，它不但能够理解词语和概念，而且还能够理解它们之间的逻辑关系，可以使交流变得更有效率和价值。语义网，它的核心是：通过给万维网上的文档 （如：HTML文档、XML文档）添加能够被计算机所理解的语义“元数据”（外语：Meta data），从而使整个互联网成为一个通用的信息交换媒介。语义网是能够根据语义进行判断的智能网络，实现人与电脑之间的无障碍沟通。它好比一个巨型的

1.一阶谓词逻辑【一阶逻辑】原子公式：图灵奖得主（x）x是变量图灵奖得主是一元谓词2.霍恩逻辑与霍恩子句文字：原子谓词公式及其否定称为文字P（x），Q（x）子句：任何文字的析取式 称为子句P（x）∨ Q（x）霍恩子句：带有最多一个肯定文字的子句，霍恩子句 等价为 A∧B∧C→H霍恩逻辑：一阶逻辑的子集基于霍恩逻辑的知识库是一个霍恩规则的集合【子集的选取基于霍恩规则】霍恩规则：事实 / 由原子公式构成原子公式构成：体原子公式→头原子公式。如：A∧B∧C→H，A.B.C为体原子公式，H