OWL/RDFオントロジーの変更を計画・適用・証明するRustエンジン。影響範囲レポートと、検証可能なLean 4の導出結論証明を提供します。
1159161RustMIT更新 3 日前
代替 1 件
Protégé のおすすめオープンソース代替（2026年）
Protégé の無料オープンソース代替をお探しですか？ここにある 1 件のプロジェクトが代わりになります。どれも品質チェックを通過し、わかりやすく解説されているので、スター数・ライセンス・メンテナンス状況をひと目で比較できます。
比較表
| プロジェクト | スター | ライセンス | 最終コミット |
|---|---|---|---|
| fabio-rovai/open-ontologies | ★ 1159 | MIT | 3 日前 |
よくある質問
- Protégé の無料オープンソース代替はありますか？
- はい。Repolode で人気の Protégé のオープンソース代替は open-ontologies です。
- Protégé の代替はどれを選べばいいですか？
- GitHub スターが最も多いのは open-ontologies（MIT ライセンス）です。選ぶ前に、上の表で各候補のライセンスと最終コミットを比較してください。