找到3个数据集

OpenKG搜集和整理知识图谱相关的技术工具，并将组织开展技术评测。 RDFox是一个高度可扩展的内存RDF三元组存储，支持共享内存并行OWL 2 RL推理。 它是用C ++编写的跨平台软件，带有一个Java包装器，允许与任何基于Java的解决方案（包括OWL API）轻松集成。

OpenKG搜集和整理知识图谱相关的技术工具，并将组织开展技术评测。 HermiT是使用OWL编写的本体论的推理者。 给定一个OWL文件，HermiT可以确定本体是否一致，识别类之间的包含关系，等等。 HermiT是第一个公开可用的OWL推理器，基于一种新颖的“超高级”演算，提供比任何以前已知的算法更有效的推理。...

OpenKG搜集和整理知识图谱相关的技术工具，并将组织开展技术评测。 FaCT++是一个在C ++中实现的OWL DL推理器。它是一个基于tableaux的表达式描述逻辑（DL）的推理器。 它涵盖OWL和OWL 2（不支持关键约束和一些数据类型）基于DL的本体语言。 它可以用作独立的DIG推理器，或作为基于OWL API的应用程序的后端推理器。...