Skip to content
ReviewRamble

The weekly brief

AI, reviewed, in your inbox.

  • New reviews of tools, models, MCP servers and repos, with the verdict up front
  • Re-checked prices and ratings when something changes
  • New analysis pieces as they are published

Models, agents, MCP servers and the tools actually worth your time.

One email a week. Unsubscribe with the link in any brief. How we use your email

Open Ontologies

Terraformのようにオントロジーの変更を計画、適用、ロールバックし、監査人がオフラインで再検証可能な証明書を出力するRust製エンジンです。

レビュー: Sheela · 更新

GitHubで見る オープンソース

当サイトの評価

4.1/5

Open Ontologiesはオントロジーの変更にTerraform形式の計画と検証可能な証明をもたらし、その保証が及ぶ範囲と限界について極めて誠実に示しています。

Open Ontologiesとは?

Open Ontologiesは、本番環境のオントロジーを管理するチーム向けのコマンドラインエンジンおよびMCPサーバーです。オントロジーとは、W3C標準のRDFやOWL(分類体系やシソーラス向けのSKOSなど)で記述された特定ドメインの形式語彙です。Supplier、Jurisdiction、Diagnosisなどの定義や相互関係を記述し、ソフトウェアや推論エンジンがそこから結論を導き出せるようにします。ナレッジグラフやデータガバナンスのチームがこれらのファイルを保守しており、1行の編集が下流にある何千もの結論を変更してしまうことがあります。

本エンジンは、Terraformがインフラを扱うのと同じ方法でオントロジーの変更を処理します。提案されたTurtleファイルをストアに対して計画(plan)し、影響範囲とリスクスコアを確認した上で適用(apply)し、ドリフトを監視してロールバックします。推論エンジンは導出証明書を出力することも可能で、Lean 4で健全性が証明された独立したチェッカーを使用し、エンジンやネットワークなしで再検証できます。状態管理用のSQLiteと組み込みのOxigraphトリプルストアを含む単一バイナリとして提供されるほか、GHCR上のDockerイメージ、純粋なPythonエンジン(PyPI上のopen-ontologies-lite 0.5.0)、デスクトップ向けのStudioが用意されています。

本ソフトウェアは、このエンジンを基盤としたホスト型プラットフォームとエンタープライズ向け支援を提供する英国企業Tesseract SemanticsのFabio Rovai氏によって保守されています。リポジトリは2026年3月9日に作成され、MITライセンスが適用されており、GitHubスターは約2,600件、フォーク数は287件で、2026年10月23日にv2.1.0がリリースされました。READMEにはMCPレジストリ名としてio.github.fabio-rovai/open-ontologiesが記載されていますが、2026年10月31日時点で公式レジストリを検索した結果、該当するエントリはありませんでした。

Open Ontologiesは使う価値があるか?

Open Ontologiesは、従来のほとんどのオントロジー用ツールがコードレビューに委ねていた「この変更は実際には何をもたらすのか」という問いに答えます。追加された1つのrdfs:domainトリプルのテキスト差分はわずか1行です。READMEでまさにその変更を計画(plan)したところ、クラスの追加や削除はなく、影響範囲も0トリプルと報告されます。しかし、そのプロパティを使用しているすべての個体(individual)が新しい型を獲得するため、保守性チェック(conservativity check)では0.04秒の間に901件の新たな帰結が検出されます。この2つ目の数値こそが、本ツールに注目すべき理由です。

計画ステップがTerraformに相当する部分です。提示されたTurtleファイルが望ましい完全な状態となるため、そこに含まれないものはすべて削除されます。計画結果には、追加および削除されるクラス、プロパティ、個体、削除対象を参照しているトリプル数(影響範囲)、低・中・高のリスクスコア、そして変更によって導入される新たな欠陥や不整合を通知するロジックブロックが一覧表示されます。ロックされたIRIは削除できず、直近100件の計画がIDごとに保持され、SPARQLウォッチャーが次のapplyをブロックしたり自動的にロールバックしたりできます。パイプラインにおいて重要な設計上の特徴として、applyはリスクスコアを再評価しないため、CIで制限をかけるかモニターでブロックしない限り、高リスクの計画であってもそのまま実行されます。

監査人向けの証明書は、署名でもハッシュチェーンでもありません。これは導出証明書であり、表明されたトリプル(asserted triples)と、ルール名およびその前提を記述した推論トリプルごとの1行からなる2つのタブ区切りファイル、および表明のSHA-256ダイジェストで構成されます。健全性が機械検証された定理として証明されているLean 4製の小型チェッカーがすべての行を再現し、偽造された結論があった場合は該当するルール名を挙げて終了コード1で終了します。これは、前向き連鎖のRDFS、OWL RLプロファイル、およびユーザーが指定したHornルールを対象としており、これらについてはより控えめな判定結果が付与されます。v2.1.0のリリースノートでPizzaオントロジーにおいてHermiT 1.4.3の500件の包含関係(subsumptions)と一致するようになったとされるOWL DLタブローは、証明書なしで回答を返し、ダイジェストは証明を作成者ではなくバイト列に対して関連付けます。ドキュメントにはこれらすべてが明快に記載されています。

AIはエンジンの外部に位置します。SECURITY.mdによると、内部にモデルは存在せず、デフォルトのビルドでは外部へのアウトバウンド通信も行われません。Claude CodeやCursorのエージェントは単に124個のonto_*ツールの呼び出し元にすぎず、クイックスタートではClaudeがOWLの下書きを作成し、エンジンがそれを検証して推論を行う流れになっています。読み取りツールと書き込みツールは同じインターフェースを共有しています。クエリやリントの機能と並んで、onto_apply、onto_rollback、onto_clear、onto_push、onto_reason(デフォルトで推論結果をストアに書き込む)が配置されているため、validationやgovernanceなどのツールプロファイルを設定する価値があります。ネットワークアクセスが発生するのは、明示的にそれを要求するツール、embeddingsビルドにおける448 MBのモデルダウンロード、および会話内容をAnthropicまたはOpenAI互換プロバイダーに送信するStudioのチャットパネルのみです。

既存の製品群に対して、本ツールは代替というよりも補完関係にあります。スタンフォード大学の無料OWLエディタであるProtégéはクラス階層を視覚的に描画する場であり、READMEでもそのように説明されています。StardogやTopQuadrantはコネクタやアクセス制御を備えた統制されたサーバーを提供しますが、Open Ontologiesは組み込みのOxigraphストアを持ち、他のトリプルストアへはSPARQLエンドポイントを通じてのみ接続し、状態はローカルのSQLiteに保持します。公開から8か月未満のプロジェクト特有の粗さも残っており、研究段階の機能が幅広く含まれています。OPEN_ONTOLOGIES_STORAGE_MODE=persistentを設定しない限りストレージはインメモリであるため、ロードを行った後に別個のreason呼び出しを実行しても何も証明されません。また、公開されているバイナリには、オプションのCargo機能を必要とするツールが含まれていません。先週火曜日の編集がチケットの指示通りに機能したことを証明するという課題を抱えるチームにとって、この証明書は環境構築の手間に見合う価値を提供します。ベンダーやエンジン、あるいはオントロジーを下書きしたモデルを信頼することなく、監査人が独自に検証できるファイルが得られるためです。

真価を発揮する場面

  • 制裁およびサプライヤーのオントロジーを管理する銀行のナレッジグラフエンジニア

    単なる差分ではなく、変更が意味する内容に基づいてオントロジーのプルリクエストを制限すること

    提案されたTurtleに対してCI上でloadとplanを含むopen-ontologies batchを実行し、risk_scoreが高い場合や新たな論理欠陥がある場合にジョブを失敗させ、マージ時に証明書ディレクトリをアーカイブします。費用は無料です。apply自体は高リスクの計画を自動で拒否しないため、CI側で明示的に制限を設定する必要があります。

  • 外部モデル監査の準備を進めるコンプライアンス担当リード

    監査人が自ら再検証可能な、導出された結論の証拠を提出すること

    reason --certificateの実行結果からasserted.tsv、derivations.tsv、asserted.sha256を提供します。監査人はlake buildでLeanチェッカーをビルドし、オフラインでoo-certを実行して終了コード0または拒否された行とルールを確認します。OWL DLの充足不能性の結果は対象外となるため、個別の説明が必要です。

  • スプレッドシートを公開語彙にマッピングする政府機関のデータエンジニア

    CSVやXLSXの台帳を検証済みRDFに変換し、どのような問題が生じるかを確認すること

    validationツールプロファイルを選択した状態で、MCPサーバー経由でClaudeにonto_map、onto_ingest、onto_shacl、続いてonto_reasonを呼び出すよう指示します。PostgreSQLおよびDuckDBの取り込みには、sql機能を含めたソースビルドが必要です。

導入前に確認すること

導入
macOS、Linux、Windows向けのリリースバイナリをダウンロードするか、docker pull ghcr.io/fabio-rovai/open-ontologies:latestを実行し、open-ontologies initを実行した後、MCPクライアントの設定にopen-ontologies serveを追加します。クイックスタートでは、2分以内に検証済みでクエリ可能なオントロジーが整うとされています。監査人にはLean 4ツールチェーン、またはx86_64 Linux向けのみ事前ビルド版が提供されているoo-certバイナリが必要です。
連携
標準入出力(stdio)またはストリーミング可能なHTTP経由で124個のMCPツールを提供し、CLIサブコマンドとしても利用可能です。Turtle、N-Triples、RDF/XML、N-Quads、TriGの読み書きおよびOWL関数型構文のエクスポートに対応します。CSV、JSON、NDJSON、XML、YAML、XLSX、Parquetを取り込めるほか、ソースビルドではPostgreSQLやDuckDBにも対応します。リモートSPARQLエンドポイントとの間で送受信が可能で、33種類の標準オントロジーのカタログを備えています。
データとプライバシー
デフォルトではすべてローカルで処理されます。グラフはOxigraphに、計画、バージョン、リネージは~/.open-ontologies配下のSQLiteに保存されます。デフォルトのビルドにはLLMは含まれず、外部への通信も行われません。ツールを介してエージェントが読み取ったデータは、そのエージェントのモデルプロバイダーに送信されます。serve-httpはオプションのベアラートークン付きで127.0.0.1にバインドされ、TLSはありません。トークンなしで0.0.0.0にバインドした場合、ネットワーク上の誰もが完全な読み書きアクセス権を持つことになります。WASMプラグインはプロセス内で実行され、燃料制限(fuel limits)以上のサンドボックス化は施されていません。
大規模利用時のコスト
エンジンは無料であり、ノートPC上で動作します。推論コストはCPU時間であり、フェーズごとのタイムアウトによって制限されます。embeddingsビルドでは448 MBのONNXモデルが追加されます。Tesseract Semanticsのホスト型プラットフォームとサポートは個別見積もりです。
制限
OPEN_ONTOLOGIES_STORAGE_MODE=persistentを設定しない限りストレージはインメモリとなります。--data-dirはフラグであり、環境変数ではありません。公開されているバイナリおよびGHCRイメージでは、embeddings、plugins、postgres、duckdbの各機能を必要とする8個のツールが除外されています。DLタブローは名辞(nominals)を含まないSHIQをサポートしており、証明書はストアの履歴ではなくバイト列に対して関連付けられます。

良い点

  • テキストの差分だけでなく意味論的な帰結を報告する計画機能
  • 健全性が証明されたLean製チェッカーによりオフラインで再検証可能な証明書
  • JVM不要、内部LLMなし、デフォルトのテレメトリなしの単一Rustバイナリ
  • ロック、ウォッチャー、自動ロールバック、追記専用のリネージログ

気になる点

  • CIやモニターで制限しない限りApplyがリスクスコアを無視すること
  • OWL DLによる回答には証明書が添付されないこと
  • デフォルトがインメモリストレージのためCLIユーザーが見落としやすいこと
  • 124個のツールで読み取りと書き込みが混在しておりプロファイルによる制限が必要なこと

おすすめの人

本番環境のOWLやRDFオントロジーを定期的に変更し、各変更がどのような影響をもたらしたかをレビュー担当者や監査人に提示する必要があるナレッジグラフチームに適しています。

Open Ontologies:よくある質問

Open Ontologiesは使う価値があるか?
Open Ontologiesはオントロジーの変更にTerraform形式の計画と検証可能な証明をもたらし、その保証が及ぶ範囲と限界について極めて誠実に示しています。 評価は5点満点中4.1点です。
Open Ontologiesの料金は?
無料でオープンソース(MIT)です。Tesseract Semanticsは非公開価格でホスト型プラットフォームとエンタープライズサポートを提供しており、次のエンタープライズ10チームに対して1か月間の無償評価版を提供しています。
Open Ontologiesの欠点は?
CIやモニターで制限しない限りApplyがリスクスコアを無視すること; OWL DLによる回答には証明書が添付されないこと; デフォルトがインメモリストレージのためCLIユーザーが見落としやすいこと; 124個のツールで読み取りと書き込みが混在しておりプロファイルによる制限が必要なこと.
Open Ontologiesは誰に向いているか?
本番環境のOWLやRDFオントロジーを定期的に変更し、各変更がどのような影響をもたらしたかをレビュー担当者や監査人に提示する必要があるナレッジグラフチームに適しています。
チームや本番環境でOpen Ontologiesを使うと費用はいくらか?
エンジンは無料であり、ノートPC上で動作します。推論コストはCPU時間であり、フェーズごとのタイムアウトによって制限されます。embeddingsビルドでは448 MBのONNXモデルが追加されます。Tesseract Semanticsのホスト型プラットフォームとサポートは個別見積もりです。
Open Ontologiesは企業データを扱っても安全か?
デフォルトではすべてローカルで処理されます。グラフはOxigraphに、計画、バージョン、リネージは~/.open-ontologies配下のSQLiteに保存されます。デフォルトのビルドにはLLMは含まれず、外部への通信も行われません。ツールを介してエージェントが読み取ったデータは、そのエージェントのモデルプロバイダーに送信されます。serve-httpはオプションのベアラートークン付きで127.0.0.1にバインドされ、TLSはありません。トークンなしで0.0.0.0にバインドした場合、ネットワーク上の誰もが完全な読み書きアクセス権を持つことになります。WASMプラグインはプロセス内で実行され、燃料制限(fuel limits)以上のサンドボックス化は施されていません。

回答確認日:2026年10月31日