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推理机。