基于 Java 的开源本体编辑与知识建模桌面工具，支持 OWL、RDF、OBO 等格式，内置推理机，用于构建和维护知识图谱的语义模型。

强类型逻辑数据库，用类型系统和推理规则对知识建模，适合构建需要复杂关系推理的知识图谱与知识库系统。

蚂蚁集团与 OpenKG 联合推出的知识图谱引擎，基于 SPG 框架做领域模型约束的知识建模，并把事实与逻辑融合表示，原生支持 KAG 知识增强生成。