ontology-lifecycle
페이지 1개
REPO·2026
Open Ontologies (repo)
운영 ontology의 변경을 적용 전에 계획해 의미 변화까지 보고하고, 유도한 결론을 Lean 4 checker가 검사하는 certificate로 남겨 감사인이 엔진 없이 재검증하게 한다
↳ 6 ontologyowl페이지 1개
운영 ontology의 변경을 적용 전에 계획해 의미 변화까지 보고하고, 유도한 결론을 Lean 4 checker가 검사하는 certificate로 남겨 감사인이 엔진 없이 재검증하게 한다
↳ 6 ontologyowl