描述逻辑经典书目，对学习基于描述逻辑的本体语言、推理和相关应用有一定帮助

Jena中的推理引擎和RACER都是针对具体本体语言的推理机，针对性强，效率高。

AI人工智能技术分享 知识图谱技术及应用介绍-知识本体推理 共53页.pdf

很容易理解的文档和大家分享一下，讲到很具体很形象，是一份不错的入门教程。

本人使用Protege4的经验要点总结，并对与本体的推理相关部分进行了重点介绍

Pellet is an OWL 2 reasoner. Pellet provides standard and cutting-edge reasoning services for OWL ontologies. For applications that need to represent and reason about information using OWL, Pellet is the leading choice for systems where sound-and-complete OWL DL reasoning is essential. Pellet includes support for OWL 2 profiles including OWL 2 EL. It incorporates optimizations for nominals, conjunctive query answering, and incremental reasoning. There’s more detailed information about the architecture of the system and its features in Pellet Help. An OWL DL reasoner like Pellet is a core component of ontology-based data management applications; if you need expertise in the use of Pellet for advanced integration or analysis applications, Clark & Parsia LLC can help in a variety of roles: consulting, application development, and OEM licensing.

压缩包含有java实现代码、OWL本体文件、推理规则文件三个文件。运行前提是需要自己搭建基于Jena的java工作环境。这个网上有很多，自己可以去找。也很容易。 提供给大家分享学习。欢迎拍砖！

Jena本体推理详细实例

Jena实现本体的推理，包括.rules规则等，使用sparql语言对本体进行查询

基于Jena的本体推理，使用sparql语言对本体进行查询。