44、F-OWL: 语义网的一个推理引擎 - 引言

F-OWL: 语义网的一个推理引擎 - 引言

1. 语义网的核心理念

语义网的核心理念是在万维网上发布文档，这些文档不仅便于人类阅读，而且便于机器理解。人类可读意味着传统意义上的文档，旨在供机器显示和人类消费。机器可理解意味着数据已明确为机器推理和在各种应用中重用而准备。为了实现这一愿景，我们需要定义良好的语言，这些语言可以对Web上的信息含义进行建模，以及用于发布、发现、处理和注释编码在其中的信息的应用和服务。这涉及到许多领域，包括知识表示和推理、数据库、信息检索、数字图书馆、多智能体系统、自然语言处理和机器学习。

2. Web本体语言 OWL

Web本体语言 OWL 是与语义网相关的 W3C 推荐标准的一部分。OWL 起源于 DAML+OIL，包括三个越来越复杂的子语言：OWL-Lite、OWL-DL 和 OWL-Full。OWL 具有模型论语义，为 OWL 本体及其在其中表达的实例数据提供了正式的意义。此外，为了支持 OWL-Full，已经开发了第二种模型论语义作为 RDF 语义的扩展，将 OWL 本体的意义建立在 RDF 图上。OWL 推理引擎的核心职责是遵守正式语义，处理编码在 OWL 中的信息，以发现 OWL 数据中可能的不一致性，并从已知信息中推导出新信息。

3. F-OWL 推理引擎的功能需求

F-OWL 是一个基于 F-logic 的语义网语言 OWL 的推理引擎，F-logic 是一种在逻辑中定义基于框架的系统的途径。F-OWL 使用 XSB 和 Flora-2 实现，并充分利用了它们的特性。以下是 F-OWL 推理引擎应具备的主要功能需求：

3.1 检查本体一致性

一