onya

Onya 提供了一种结合正式规范与 Python 实现的知识图谱数据模型和表达格式。该模型将边和属性视为一等实体，允许它们携带自身的嵌套断言，从而无需实体化即可实现限定值、关系元数据和 n 元关系。Onya Literate 序列化格式基于 Markdown，既便于人类阅读，也适合大语言模型消费，同时支持解释（数据契约）以实现值级类型化，并保持格式无关性。Python 库提供解析、图构建、遍历和往返序列化功能，以及通过文件、SQLite 或 PostgreSQL 存储实现的可选持久化，并包含一个 CLI 用于将图转换为 Mermaid 或 Graphviz 格式。可选的 networkx 投影支持分析功能，其结果可写回为类型化断言。项目提供了一个技能文件（onya-graph.SKILL.md），以协助 AI 编码代理编写 Onya 图。该项目为开源项目，代码遵循 Apache 2.0 许可证，规范遵循 CC BY 4.0 许可证，旨在鼓励广泛采用和社区贡献。