온톨로지 변경을 증명으로 검증하는 오픈소스 도구

핵심 요약

• 프로덕션 온톨로지 변경을 계획·적용·롤백할 수 있으며, 영향 범위 보고서와 감사자가 검증 가능한 증명을 제공하는 Rust 기반 도구다.
• 한 줄의 삼중항(triple) 변경이 901개의 새로운 결과를 만드는 경우, 텍스트 diff로는 볼 수 없는 의미론적 차이를 드러내는 형태 diff(shape diff) 보고서를 생성한다.
• 도구가 생성한 증명 파일(asserted.tsv, derivations.tsv)은 Lean 4 검증기로 검수할 수 있으며, 검증 명령어 oo-cert는 JVM 없이 독립적으로 실행 가능하다.
• 거��� 결론을 삽입하면 같은 검증기가 exit 1을 반환하고 위반한 규칙을 명시하므로, 위조된 증명은 거부된다.
• OWL·RDFS·SWRL·RIF Core·Horn 규칙 추론, SHACL 검증, 만족 가능성 판정, 모순 탐지, RAG용 슬라이스 추출 등을 지원하며 각 기능마다 증명 대상을 명시한다.
• 자신이 작성한 규칙으로 추론한 결과는 증명에 '추정(assumption)'으로 표시되어, 사실이 아닌 의존성임을 명확히 한다.
• CSV·JSON·XML·YAML·XLSX·Parquet·PostgreSQL·DuckDB 형식의 데이터를 RDF로 변환할 수 있고, TPTP·CLIF·SMT-LIB·LADR 형식으로 내보낼 때 변환할 수 없는 항목을 명시한다.
• Claude·Cursor 등 MCP 클라이언트에서 onto_* 명령을 대화형으로 사용 가능하며, 별도 설정으로 Claude Code나 Claude Desktop에 연동할 수 있다.
• 저장소는 MIT 라이선스 엔진(open-ontologies)과 증명 저장 기능이 있는 유료 플랫폼(tesseractsemantics.com)으로 나뉘어 있다.
• Rust 에디션 2024, 단일 바이너리 배포, 의존성은 Oxigraph 0.5(RDF/SPARQL 1.1), Lean 4 v4.33.1 검증기, SQLite, Tauri 2·React 19·Tailwind 4 기반 데스크톱 Studio를 포함한다.
• 온톨로지 변경 전 plan으로 영향도를 파악하고, apply로 적용 후 drift 모니터링과 certify로 증명 생성, 필요시 rollback하는 워크플로우를 기본으로 제공한다.
• 99% 커버리지의 RAG 슬라이스도 중요한 삼중항 하나를 잃을 수 있으므로, 도구는 각 청구에 대해 함축 보존(entailment preservation) 증명을 출력한다.