Swertia:语义网络蕴含机制翻译和推理体系结构-开源

Swertia，语义Web蕴含制度转换和推理体系结构，是一种基于一阶逻辑（FOL）推理的通用语义Web推理框架。 目标是为所有主要的语义Web推理标准提供推理支持，包括RDF（S），OWL 2（直接语义，基于RDF的语义，OWL 2 RL / RDF规则），SWRL，RIF（RIF BLD，RIF核心， RIF + RDF和RIF + OWL组合）和通用逻辑。 可用的推理方法是SPARQL蕴含机制形式的蕴含检查，一致性检查和查询回答。 在内部，Swertia本身不提供任何推理功能，但是提供了所有必要的手段来启用现有推理程序以在受支持的语义Web标准中执行推理。 支持大多数FOL推理机，以及用于构建混合推理系统的语义Web推理机。