OWL/RDF 온톨로지 변경을 계획하고 적용하며 검증하는 Rust 엔진으로, 영향 범위 보고서와 파생 결론을 검증 가능한 Lean 4 증명으로 제공합니다.
1.2천161RustMIT업데이트 4일 전
대안 1개
Protégé의 무료 오픈소스 대안을 찾고 있나요? 아래 1개 프로젝트가 대신할 수 있습니다. 모두 품질 검사를 통과했고 쉬운 말로 설명되어 있어 스타, 라이선스, 유지보수 상태를 한눈에 비교할 수 있습니다.
| 프로젝트 | 스타 | 라이선스 | 마지막 커밋 |
|---|---|---|---|
| fabio-rovai/open-ontologies | ★ 1.2천 | MIT | 4일 전 |
OWL/RDF 온톨로지 변경을 계획하고 적용하며 검증하는 Rust 엔진으로, 영향 범위 보고서와 파생 결론을 검증 가능한 Lean 4 증명으로 제공합니다.