Open Ontologies

项目简介

Open Ontologies 是面向生产本体变更管理的 Rust 引擎。它通过影响范围报告来规划并应用变更，支持 OWL 与 RDFS 推理，并生成可由独立 Lean 4 检查器验证的推导证书。Tesseract Semantics 描述了基于该引擎的托管平台，并将其定位为企业数据互操作性方案。

核心功能

• 生产本体变更管理：规划、影响范围、风险评分、锁定 IRI、应用、监控、漂移与回滚；对 OWL 和 RDFS 进行推理，产出物化推论以及经已证明的 Lean 4 检查器接受的推导证书；依据 W3C 测试套件报告 SHACL 验证的度量结果；评估 SWRL、RIF Core 或 Horn 规则，并返回区分自定义规则与标准规则的判定词；将 CSV、JSON、XML、YAML、XLSX、Parquet、PostgreSQL 和 DuckDB 加载为 RDF；提供 MCP 服务器，使 Claude 或 Cursor 可在对话中操作引擎。

适用场景

• 在生产变更上线前审查本体变更的后果；向审计人员或评审人员提供可独立复核的证书；为 RAG 准备本体切片，同时按声明跟踪蕴涵保持；检查本体可满足性或不一致性，并用 SHACL 验证数据。

快速开始

• 在 lean 目录中运行 lake build 构建 Lean 检查器；该构建使用核心 Lean 4，不需要 Mathlib。运行 lake exe oo-horn check，配合内置规则、断言三元组和结论文件，验证蕴涵或拒绝结果。使用 open-ontologies --data-dir /tmp/oo-demo/store load coffee.ttl 加载 TTL 文件，然后以 --profile rdfs --certificate ./cert 进行推理。使用 lake exe oo-cert asserted.tsv

部署与要求

• 完全在自有环境中运行；数据不会离开组织。以单个二进制形式发布，不需要 JVM 或 Protégé。Lean 检查器使用核心 Lean 4 构建，不需要 Mathlib。可从 GHCR 获取容器镜像。

采用前须知

• 许可证：MIT。在使用、修改或分发项目前，请确认其具体条款。