这个项目能做什么

Malleus 提供了一个框架，用于管理知识图谱中的语义变更，重点关注溯源、确定性及严格验证。它确保图中的每条记录均可追溯至其源字节、本体版本以及接纳该记录的决策流程。 核心能力包括： - **本体驱动验证**：利用 LinkML 定义合法词汇表与结构，在操作时即拒绝结构无效的写入。 - **确定性收敛**：为本体实现内容哈希与指纹技术，使节点无需交换完整文件即可验证模式兼容性。 - **固定逻辑验证**：集成 SWI-Prolog，依据固定规则集评估候选数据，确保在物化前满足逻辑约束。 - **认知控制**：将提案、监控评估与最终决策分离为内容寻址记录，防止事后选择策略。 - **双时态重放**：支持基于账本的投影系统，可按特定交易时间与有效时间重建图状态，处理替代与追溯变更。 - **类型化图谱配置**：包含默认基元集（Entity、Event、Signal、Agent、Relation）及混合类型（Identifiable、Temporal、Describable、Statusable），以标准化领域建模。