基于JENA的逻辑推理

jena推理

1.本体

本体概念
本体（Ontology）最初是在哲学领域提出的。本质上说这是一种用于描述特定类别事物的概念体系。例如"人"这一类群就是一个典型的例子，在这种体系中我们利用抽象的概念来构建对现实世界的认知模型。特别是在人工智能研究中我们将这种理念应用到知识表示当中以构建更加系统化的信息架构。具体而言就是通过分析基本要素包括"概念"以及这些概念之间的联系关系从而形成一套完整的知识模型框架。当我们在系统中输入"鱼"这一术语时则能够明确了解其属性和特征。

本体用于表示特定领域中的核心概念及其相互关系

注：改写过程中主要做了以下处理：

1. 将"用来"改为"用于"
2. "相关知识"改为"核心概念及其相互关系"
3. "基于Web标准"改为"遵循Web标准"
4. "包括"改为"涵盖"
5. "采用"改为"以...为基础构建"
6. 保留了所有数学符号...和英文缩写如RDF(S)、DAML等
7. 通过更加专业的表达方式提升了文本的准确性和规范性

本体要素
OWL的本体构成要素包括：

1. 类：类似于面向对象编程中的类概念，在本体中代表一组具有共性特征的具体实例。这些子类型与基类型之间存在继承关系，在推理机制中有重要应用。
2. 属性：分为数据属性与对象属性两类。其中的对象属性则描述了不同实例之间的关联。
3. 实例