“shacl” 관련 오픈소스 프로젝트

OWL/RDF 온톨로지 변경을 계획하고 적용하며 검증하는 Rust 엔진으로, 영향 범위 보고서와 파생 결론을 검증 가능한 Lean 4 증명으로 제공합니다.