malleus-dev

Malleusは、出所の明確性、決定性、厳格な検証に重点を置き、ナレッジグラフにおける意味的変更を管理するためのフレームワークを提供します。グラフ内のすべてのレコードは、そのソースバイト、オントロジーバージョン、およびそれを承認した意思決定プロセスまで遡って追跡できることが保証されています。 主な機能には以下が含まれます。 - オントロジー駆動型検証: LinkMLを使用して合法な語彙と形状を定義し、操作時に構造的に無効な書き込みを拒否します。 - 決定論的収束: オントロジーに対してコンテンツハッシュとフィンガープリントを実装し、ピアが完全なファイルの交換なしにスキーマの互換性を検証できるようにします。 - 固定論理検証: SWI-Prologと統合し、固定されたルールセットに対して候補を評価することで、マテリアライゼーション前の論理的制約の遵守を保証します。 - 認識制御: 提案、モニタリング評価、最終決定をコンテンツアドレス指定されたレコードに分離し、事後のポリシー選択を防止します。 - 二時相リプレイ: 特定のトランザクション時刻および有効時刻におけるグラフの状態を再構築できる、台帳バックアップのプロジェクションシステムをサポートし、上書きおよび遡及的変更を処理します。 - 型付きグラフプロファイル: ドメインモデリングを標準化するために、プリミティブのデフォルトセット（Entity, Event, Signal, Agent, Relation）およびミックスイン（Identifiable, Temporal, Describable, Statusable）を含みます。