logic - 什么是语义堆栈模型中的统一逻辑，谁应该负责它？

Question

基本上，经过数小时的研究，我仍然不明白语义 Web 堆栈模型中的统一逻辑层是什么，以及解决它的问题是谁。

Answer 1

我认为这取决于您对语义网的概念化。假设语义网的最终表达是通过类似网络的发布机制使异构信息源可用，以允许程序 - 代理 - 使用它们，以便以自主方式满足一些高级用户目标。这与Berners-Lee 等人对语义网目的的最初概念化很接近。在这种情况下，代理需要知道他们从 RDF 三元存储、SPARQL 端点、规则库等获得的信息是可靠、准确和值得信赖的。语义网络堆栈假设到达该端点的必要步骤是拥有一个逻辑或逻辑集合，代理可以在推理其获得的知识时使用该逻辑。这是一个相当强大的人工智能观点，或者说很接近光谱的那一端。

但是，还有另一种概念化（实际上可能有很多），其中不需要语义网络堆栈的顶层，包括统一逻辑，因为这不是我们要求代理做的事情。在这种观点中，语义网是一种发布分解的、有意义的信息以供程序消费的方式，但不是自主的。例如，由开发人员和/或用户选择将哪些信息视为值得信赖的信息。这是链接数据的观点，因此当前的标准和技术堆栈完全足以构建有用的应用程序。事实上，有些人认为，即使是像OWL这样成熟的标准对于构建链接数据应用程序不是必需的，尽管我个人认为它是必不可少的。

至于谁的责任，如果你采取前一种观点，那是软件代理社区已经在做的事情，如果你采取后一种观点，那是否有标准化并不重要，因为我们可以继续构建有用的功能，而无需它。