sparql

페이지 1개

REPO·2026

운영 ontology의 변경을 적용 전에 계획해 의미 변화까지 보고하고, 유도한 결론을 Lean 4 checker가 검사하는 certificate로 남겨 감사인이 엔진 없이 재검증하게 한다

↳ 6 ontology owl