什么是语义 DAG？
语义 DAG 是一种语义图数据库，与一份以哈希链接、用 Ed25519 签名的动作历史融为一体——在这样的存储中，每一条链接都承载含义，每一次更改都是一个签名的、可时间回溯的动作，因此它既不是普通数据库，也不是区块链。
把含义与历史合于一个结构
DAG（有向无环图）是一组由永不回环到自身的有向链接相连的节点。语义 DAG 在这一形态上又加了两样东西。首先，它是语义的：每条链接都是带类型、有含义的关系（主语、谓语、宾语），而非匿名指针，因此图本身记录的是事物意味着什么，而不只是它们相连这一事实。
其次，它是一段历史，而不仅是一个状态。对图的每一次更改都会成为一个只追加的动作：经过哈希、密码学签名，并链接到它之前的那些动作。没有任何东西被就地覆盖。图的当前状态是其签名动作之和，这意味着你可以重放它，精确重建它在过去任一时刻的样子。
这有意不是一条区块链。这里没有区块、没有挖矿、没有手续费，也没有全局代币——这些动作是语义断言，而非价值转移。它也不止是一个数据库：数据库告诉你现在什么为真；语义 DAG 告诉你什么为真、它意味着什么、以及它是如何走到这一步的——而且全都可证明。
语义 DAG 是如何构建的
每个事实都是一条三元组
数据以主语 → 谓语 → 宾语的陈述形式存储，于是图中每一条关系都承载着人与机器都能查询的明确含义。
每次更改都是一个签名的动作
向图写入会创建一个动作，它经过哈希（BLAKE3）、签名（Ed25519），并链接到其父动作——构建出一条防篡改的因果链，记录谁在何时、为何写了什么。
没有删除，只有被取代
日志是只追加的。移除一个事实本身就是一个签名的动作，于是完整的审计轨迹——以及回溯到过去的能力——从设计上得以保留。
按含义查询
由于链接是语义的，你可以用 SPARQL 查询图并直接遍历关系，还能重建图在过去任一时刻的状态。
一个既能记住又有含义的结构
AI 系统和联网设备越来越多地依据它们无法验证的数据行事——而传统存储逼你做出糟糕的取舍：数据库快，却忘了自己是怎么走到这里的；区块链什么都记得，却笨重、昂贵，且对含义视而不见。语义 DAG 给你一个单一的结构：像图数据库一样可查询，像账本一样可审计，像知识图谱一样有含义——而且没有区块、手续费或挖矿。
结构性可验证
由于每个动作都经过签名并成链，历史无法被悄悄改写——你能证明发生过什么。
时间回溯
重放签名动作，就能看到图在过去任一时刻的原貌，用于审计、调试或溯源。
含义，而不只是数据
带类型的语义链接让人和 AI 都能对关系进行推理，而不必去猜那些晦涩的外键。
Apilium 如何践行这一点
AIngle 是第一个语义 DAG：一个原生的语义图数据库，与一份签名的、以哈希链接的动作历史融为一体，用 Rust 编写。每一次写入都会成为一个 DagAction——以 BLAKE3 哈希、以 Ed25519 签名、链接到其父动作——未签名的动作会在状态机层面被拒绝。它通过 REST、GraphQL 和 SPARQL 暴露同一个图，并可重放到任意时间点。AIngle 驱动着 Apilium 的产品：它是 Akashi 那有据可依、经过签名的知识之下的引擎，也是支撑 Mayros 的底层结构的一部分。
在 AIngle 中体验常见问题
语义 DAG 是区块链吗？
不是。区块链把交易打包进由全局共识、通常还有代币来保护的、经过挖矿的区块。语义 DAG 没有区块、没有挖矿、也没有手续费——它的条目是有含义的断言（主语–谓语–宾语），每一个都单独签名并链接到其父动作。它借用了账本的防篡改性，却没有区块链的成本与僵化。
它和图数据库有什么不同？
图数据库存储关系并让你查询它们，但通常只保留当前状态——更新一个值，旧值就没了。语义 DAG 保留一份只追加、经过签名的完整更改历史，因此你能证明图是如何到达当前状态的，并把它重放到过去的任一时刻。
“有向无环”是什么意思？
有向意味着每条链接朝一个方向指去，从一个节点指向另一个节点。无环意味着这些链接永远不会形成一个回到起点的环。二者结合，给出一个有明确历史方向的结构——动作建立在更早的动作之上，永不绕回——这正是让可证明、可重放的时间线成为可能的原因。
Ed25519 在这里起什么作用？
Ed25519 是为每个动作签名的签名方案。任何更改在被图接受之前，都会用写入节点的密钥签名；未签名或无效的动作会被拒绝。正是这个签名，把历史从“相信我”变成了“自己去核对”。