fabio-rovai/open-ontologies

これは何？

主な機能

• 01適用前に、追加・削除されるクラス、影響範囲、リスクスコアを示してオントロジーの変更を計画します。
• 02テキスト差分では分からない、変更によって新たに導かれる帰結を報告します。
• 03エンジンやネットワーク接続なしでLean 4チェッカーが再検証できる導出証明書を出力します。
• 04偽造された結論を拒否し、失敗したルールを示します。
• 05SHACLでデータを検証し、SPARQL 1.1でRDFをクエリできます。
• 06CSV、JSON、XML、YAML、XLSX、Parquet、PostgreSQL、DuckDBのデータをRDFに読み込みます。

ユースケース

• 本番オントロジーへの変更をリリース前にレビューする。
• ソフトウェアをインストールせずに数か月後でも再検証できる証明書を監査担当者に渡す。
• MCPを通じて、ClaudeやCursorなどのAIアシスタントをオントロジーツールに接続する。
• 表形式またはリレーショナルデータをRDFに変換し、セマンティック統合に利用する。

クイックスタート

1. 1

   リポジトリから Rust バイナリをビルドする

2. 2

   Lean 4 チェッカーをビルドする

   cd lean && lake build
3. 3

   小規模なオントロジーを読み込み、証明書付きで RDFS 推論を実行する

   open-ontologies --data-dir /tmp/oo-demo/store reason --profile rdfs --certificate ./cert

使う前に知っておきたいこと

• !README にパッケージマネージャーを使ったインストールコマンドが記載されていないため、手動でビルドする必要があります。
• !README にも記載されているとおり、充足不能という回答には保証がありません。
• !機能を十分に活用するには別途 Lean 4 チェッカーを実行する必要があり、追加のセットアップが必要です。

トピック

よくある質問

open-ontologies とは？

OWL/RDFオントロジーの変更を計画・適用・証明するRustエンジン。影響範囲レポートと、検証可能なLean 4の導出結論証明を提供します。 Open Ontologiesは、OWLおよびRDFSオントロジーを扱うためのRust製コマンドラインツール兼MCPサーバーです。変更を本番環境に反映する前に、追加・削除されるクラス、影響を受けるトリプル、リスクスコア、変更によって新たに導かれる帰結を示す意味論的な計画を算出します。テキスト差分ではこうした帰結を把握できないため、行単位では正しく見えても、余分な事実を推論してしまう変更を対象としています。

open-ontologies は無料で使えますか？ライセンスは？

open-ontologies は MIT ライセンスのオープンソースです。商用製品で使う前にライセンス条件を確認してください。

open-ontologies は今もメンテナンスされていますか？

活発にメンテナンス中。open-ontologies の最終コミットは 2026年10月17日 です。

open-ontologies は何に使えますか？

本番オントロジーへの変更をリリース前にレビューする。 ソフトウェアをインストールせずに数か月後でも再検証できる証明書を監査担当者に渡す。 MCPを通じて、ClaudeやCursorなどのAIアシスタントをオントロジーツールに接続する。 表形式またはリレーショナルデータをRDFに変換し、セマンティック統合に利用する。

open-ontologies のインストール方法は？

リポジトリから Rust バイナリをビルドする Lean 4 チェッカーをビルドする: cd lean && lake build 小規模なオントロジーを読み込み、証明書付きで RDFS 推論を実行する: open-ontologies --data-dir /tmp/oo-demo/store reason --profile rdfs --certificate ./cert

open-ontologies はどこで入手できますか？

ソースコードとインストール手順は GitHub にあります：https://github.com/fabio-rovai/open-ontologies