找到2个工具集

格式: c/c++ 标签: 知识推理

过滤结果
  • RDFox: 牛津大学的知识库推理工具(推荐) 热门

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

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