FR

fabio-rovai/open-ontologies

开发工具

本页由 AI 翻译,技术细节请以原文为准。 查看原文

1871 stars 229 forks 质量 85 趋势 89MIT

AI原生本体引擎:一台Rust MCP服务器,提供构建、验证、查询和推理RDF/OWL本体的工具。

概览

一个用于知识图谱的地球化MCP,验证、分类并管理AI生成的本体论。用Rust编写。作为单一二进制文件飞船。 快速入门 ·工作室 ·基准测试 ·IES ·工具 ·扩展 ·架构 ·文档 Open Ontologies 是一个面向 AI 原生本体工程的平台。它展示了让 Claude 能够构建、验证、查询、diff、lint、version、推理、对齐、规划、认证和治理 RDF/OWL 本体,使用内存中的 Oxigraph 三重存储——拥有完整的三层 Dynamics → 因果 → Planner 架构,包含 33 个标准本体、临床交叉点、语义嵌入以及完整的谱系审计追踪。 它将引擎包裹在可视化桌面环境中:虚拟化本体树,带有层级线、面包屑导航和连接浏览器;带有 /build(IES 级别深度)和 /sketch(快速原型)命令的 AI 聊天面板;Protégé 风格的属性检查器;以及血系查看器。 全栈加上13个新原元。

概述(AI 翻译)

开放本体论

规划对生产本体的变更。在应用之前,先看到每一个结果。 然后给审核员一个证明,让他们可以不信任你就检查。 Open Ontologies 是用 Rust 编写的。它作为一个二进制文件发布。

tesseractsemantics.com

英语 ·简体中文

放一个电子表格。拿一个本体论,每行都有证据。然后改一个 cell,并查看形状,找出错误。页面运行释放的二进制。

寻找企业支持?tesseractsemantics.com 引擎是MIT,并且始终是MIT。平台是引擎的托管版本。


426个主张,259个认证,1个被拒绝。发动机推导出绿色边缘。一辆Lean 4 然后跳棋器证明了它们。一份证书包含全部259张,且有一次检查器接受。 红色边是伪造线。同一个棋子拒绝了这条线,给出了出口1,并命名了规则。 跑遍了每个计数。没有人在说明中写下计数。

同一台机器,在不同组的档案上,重复两次。HQDM以两个文件形式发货。 hqdmTop/hqdmFramework 发布一个 RDFS 文件。

本页由 AI 翻译,技术细节请以原文为准。

README

以下为原文 README 节选,完整内容请查看原文。

Open Ontologies

Plan a change to a production ontology. See every consequence before you apply it. Then give the reviewer a proof that they can check without trust in you. Open Ontologies is written in Rust. It ships as one binary.

tesseractsemantics.com

English · 简体中文

Put in one spreadsheet. Get one ontology, with the evidence for each line. Then change one cell, and see the shape find the error. The page runs the released binary.

Look for enterprise support? tesseractsemantics.com The engine is MIT, and it stays MIT. The platform is the hosted version of the engine.


在 GitHub 查看完整 README

安装

This server does not publish a one-line install command.

Open the repository installation guide 新手?先看 mcpskill.org 教程 →

配置

{ "mcpServers": { "open-ontologies": { "command": "/path/to/open-ontologies", "args": ["serve"] } } }