온토GSN: 의미 기반 보증 사례 관리와 확장을 위한 온톨로지 프레임워크

초록

OntoGSN은 Goal Structuring Notation(GSN) 표준을 1:1로 OWL·SWRL로 형식화하고, SPARQL 기반 CRUD와 검증 기능을 제공하는 온톨로지와 미들웨어 스택을 제시한다. 이를 통해 보증 사례(Assurance Case)의 의미적 일관성을 자동으로 유지·확장하고, 동적 시스템(예: 대형 언어 모델)에서도 신뢰성을 관리한다.

상세 분석

OntoGSN은 기존 GSN 기반 보증 사례 도구가 문서‑중심의 정적 편집에 머무르는 한계를 극복하고자 설계되었다. 가장 큰 기술적 기여는 GSN Community Standard v3 전체를 1:1로 매핑한 OWL 온톨로지와 51개의 SWRL 규칙을 제공한다는 점이다. 이 온톨로지는 GSN의 핵심 요소인 Goal, Strategy, Assumption, Justification, Context, Solution을 각각 클래스로 정의하고, 각 클래스에 mandatory schema:identifier와 statement 같은 필수 속성을 부여한다. 또한, supportedBy, inContextOf 등 관계 속성을 통해 목표‑전략‑증거 간의 트리 구조를 RDF Triple 형태로 명시한다.

미들웨어 레이어는 Oxigraph 기반 클라이언트‑사이드 트리플스토어 위에 CRUD와 검증을 자동화하는 SPARQL 쿼리 라이브러리를 제공한다. 여기에는 “노드가 반드시 identifier를 가지고 있는가”, “Goal‑Solution 연결이 일관되는가”와 같은 규칙 검증이 포함된다. 이러한 자동 검증은 OOPS(ontology pitfall scanner)와 FAIR 원칙에 따라 사전 평가되었으며, 논문에서는 competency questions를 통해 실제 사용 시나리오(LLM의 적대적 견고성 보증)에서의 유효성을 입증한다.

설계 방법론은 NeOn 접근법을 차용해 표준 문서를 세 번 독립적으로 파싱하고, 매핑 결과를 표 형식의 디자인 문서에 병기함으로써 주관적 해석을 최소화하고 투명성을 확보한다. 또한, 기본 온톨로지 외에 “Argument Pattern”, “Template”, “Catalogue”와 같은 메타‑모델을 도입해 재사용 가능한 보증 패턴을 정의하고, 도메인 온톨로지와의 연동을 용이하게 만든다.

실제 구현은 완전 오픈소스( MIT License)이며, GitHub와 w3id.org에 영구 식별자를 부여해 지속 가능한 유지보수를 목표로 한다. 인터페이스는 순수 JavaScript 기반의 웹 클라이언트로, LLM 파이프라인, 외부 도구(예: ASCE, AdvocaTE)와 플러그인 형태로 연결할 수 있다. 이는 기존 상용 도구가 폐쇄형 API에 의존하는 문제를 해소하고, 연구·산업 현장에서 자유롭게 확장·실험할 수 있는 환경을 제공한다.

전체적으로 OntoGSN은 (1) 표준 기반 온톨로지의 완전성, (2) 자동화된 검증·관리 메커니즘, (3) 오픈·플러그인 가능한 인터페이스라는 세 축을 통해 보증 사례의 의미적 관리 문제를 근본적으로 해결한다는 점에서 학술적·실무적 의의가 크다.