dsh-ontology

大多数 Agent 记忆本质上是一堆自由文本：写入散文、读回散文，没有任何机制告诉你上周记的事实和今天的记录互相矛盾。dsh-ontology 将记忆升级为类型化本体——你声明领域中有哪类实体、哪些关系、域和值域如何约束，之后每一条断言都必须通过校验，违规即被拒绝并明确指出违反了哪条规则，而非默默存入一堆日后无法对账的文本。

核心能力在于推理与可追溯。传递、对称、逆关系三类规则被迭代至不动点，推导出的事实只在查询时生成、从不落盘；撤回一条前提，所有依赖它的推导随之消失，不会留下过期残影。查询支持继承感知的类匹配、三元组模式、邻域遍历与最短路径，远比 grep 散文可靠。此外，functional cardinality 保证同一主语只有一个合法对象，retraction 级联清除关联事实，整个图谱始终自洽。

适合需要让 Agent 长期管理结构化领域知识的团队：构建知识库、维护产品规格、追踪依赖关系，或任何希望 Agent 记住的事实可验证、可推导、可安全撤回的场景。