语义推理器

语义推理只是一个推理，是一个软件能够推断的逻辑后果由一组断言事实或公理。语义推理器的概念通过提供一组更丰富的机制来推广推理引擎的概念。许多推理程序使用一阶谓词逻辑来执行推理；推论通常由正向链和向后链。

现有的语义推理器和相关软件：

• CEL、OWL 2 EL推理机（Apache 2）
• Cwm，一种用于查询、检查、转换和过滤信息的前向推理器。它的核心语言是RDF，已扩展为包括规则，并且根据需要使用RDF / XML或N3序列化。（W3C软件许可证）
• Drools是一个基于前向链接推理的规则引擎，它使用Rete算法的增强实现。（Apache许可证2.0）
• ELK、OWL 2 EL推理机（Apache 2）

• EYE，一种半向后链推理引擎，支持Euler路径，并通过N3与Cwm互操作。（麻省理工学院执照）
• FaCT ++ Reasoner，用于表现描述逻辑（DL）的基于表格的推理器，涵盖OWL和OWL 2，但缺少对关键约束和某些数据类型的支持。用C ++编写。（LGPL）
• Flora-2，一个面向对象的，基于规则的知识表示和推理系统。（Apache 2.0）
• Gandalf、PHP（GPL）上的开源决策规则引擎。
• HermiT、OWL 2 DL推理器（LGPL）
• jcel、OWL 2 EL推理机（LGPL / Apache 2）
• Jena（框架），一种用于Java的开源语义Web框架，其中包含许多不同的语义推理模块。（Apache许可证2.0）
• OpenRules，一个开源业务规则和决策管理系统。与顺序规则引擎一起，包括利用约束求解器的推理规则引擎
• Pellet、OWL 2 DL推理机（AGPL，提供商业选项）
• Prova是一个语义Web规则引擎，它支持通过SPARQL查询和类型系统（RDFS、OWL本体作为类型系统）进行数据集成。（GNU GPL v2，提供商业选项）
• RACER、OWL 2 DL推理机（BSD-3）
• RDFSharp是一个轻量级的C＃框架，旨在简化基于RDF模型的.NET应用程序的创建，它代表了直接使用RDF和语义Web概念的直接教学解决方案。使用RDFSharp，可以实现能够建模、存储和查询RDF数据的.NET应用程序。（Apache许可证2.0）

• Cyc推理引擎，一个前向和后向链接推理引擎，具有用于高阶逻辑的众多专用模块。
• KAON2是用于管理OWL-DL、SWRL和F-Logic本体的基础结构。
• Internet业务逻辑-专为最终用户应用程序作者设计的推理程序。自动生成并运行复杂的联网SQL查询。在最终用户级别用英语解释结果。

• Bossam，基于RETE的规则引擎，具有对OWL本体，SWRL规则和RuleML规则进行推理的本地支持。
• 赛车手
• OntoBroker是一种推理引擎，具有基于F-Logic、ObjectLogic、RIF和OWL的本地推理。

• SemanticMiner包括OntoBroker推理程序，以执行基于本体的语义搜索。
• SemanticGuide是基于OntoBroker的专家系统。
• Apache Marmotta的KiWi 三重存储中包含基于规则的推理程序。
• dot15926编辑器—本体管理框架，最初是为工程本体标准ISO 15926设计的。允许使用Python规则脚本和基于模式的数据分析，支持扩展。

S-LOR，是基于规则的推理引擎，是一种共享和重用可互操作规则以从传感器测量中得出有意义的知识的方法。