语义推理器

语义推理器、推理引擎、规则引擎，或者简称为推理器，是一种能够从一组断言的事实或公理中推断出逻辑后果的软件。语义推理器的概念概括了推理引擎的概念，它提供了一套更丰富的工作机制。推理规则通常是通过本体语言，而且通常是描述逻辑语言来指定的。许多推理器使用一阶谓词逻辑来进行推理；推理通常通过前向链和后向链来进行。也有概率推理器的例子，包括非轴心推理系统和概率逻辑网络。

值得注意的语义推理器和相关软件。免费使用（闭源）Cyc推理引擎，这是一个前向和后向链式推理引擎，有许多针对高阶逻辑的专门模块。

它的核心语言是RDF，扩展到包括规则，并根据需要使用RDF/XML或N3序列化。Drools，一个前向链推理的规则引擎，使用Rete算法的增强实现。Evrete，一个前向链的Java规则引擎，使用Rete算法，符合Java规则引擎API（JSR94）。D3web，一个基于知识的系统（专家系统）的平台。Flora-2，一个面向对象、基于规则的知识表示和推理系统。Jena，一个开源的Java语义网络框架，包括一些不同的语义推理模块。

它实现了一种优先推理风格的推理，可简化为经典推理，即不需要修改基础决策程序。物联网的语义推理器（开源）S-LOR（基于传感器的关联开放规则）是一个基于规则的推理引擎和一种共享和重用可互操作规则的方法，用于从传感器测量中推导有意义的知识。