1부 이해 · 트랙 3 좋은 온톨로지의 기준

제 5 차 시

재사용과 정렬 — 기존 온톨로지의 활용과 이식성

바퀴를 다시 만들지 않는 세 가지 수준과, 같은 선언이라도 강도가 다른 정렬 어휘를 다룬다.
읽기 약 12분 · 연습 1회

혼자 옳은 온톨로지는 절반만 옳다

재사용성 — 평가의 셋째 층

만든 맥락 바깥에서도 쓰일 수 있어야 공유된 명세(1-3)라는 이름값을 한다.

재사용은 미덕이 아니라 설계 결정이다.
무엇을 가져오고, 무엇을 만들고, 무엇을 매핑할지 정하는 일이다.

학 습 목 표

  1. 재사용의 세 수준(IRI 재사용, 모듈 가져오기, 정렬)을 구분한다.
  2. 정렬 어휘의 강도 차이(SKOS 매핑 vs OWL 동치)를 설명하고 선택한다.
  3. 이식성의 조건을 점검 항목으로 바꾼다.

왜 재사용인가

이유는 셋이다. 비용 — 남이 십 년 다듬은 관계 정의를 다시 만들 이유가 없다. 상호운용 — 같은 어휘를 쓰는 그래프끼리는 합치기 쉽다. 검증 — 공동체가 쓰는 어휘는 그만큼 시험을 거쳤다. 그루버의 설계 원칙(1-3)과 2-4의 명명 원칙("남이 정의한 개념은 그 IRI를 재사용한다")이 이미 이 방향을 가리켰다. 이 차시는 그것을 세 수준의 선택지로 정리한다.

① IRI 직접 재사용 내 그래프 안에 남의 이름 ro:part_of 비용 최소 · 결합 최대 관계·주석 어휘에 적합 ② 모듈 가져오기 남의 공리 덩어리째 수입 owl:imports 공리까지 상속 — 강력하나 남의 결정에 묶인다 ③ 정렬(매핑) 독립을 유지한 채 잇기 skos:exactMatch 느슨한 결합 · 불일치 허용 실습의 Cognitive Atlas 전략 왼쪽일수록 결합이 강하고, 오른쪽일수록 자율이 크다. 수준은 대상마다 따로 고른다.
그림 1재사용의 세 수준. 실습 프로젝트의 선택: 관계 어휘는 ①(RO의 part_of), 상위 범주는 BFO를 주석으로 경량 참조(2-7), 개념은 Cognitive Atlas와 ③으로 잇는다.

정렬 어휘 — 같은 말에도 강도가 있다

정렬에서 가장 중요한 결정은 "같다"를 어떤 어휘로 선언하느냐다. 강도 순으로 늘어놓으면 이렇다.

어휘뜻추론 효과위험
owl:sameAs두 개체가 동일하다모든 진술이 양쪽으로 전파최강 — 한쪽의 오류가 다른 쪽을 오염
owl:equivalentClass두 클래스의 사례 집합이 같다계층·제약이 합쳐짐강함 — 정의가 조금만 달라도 과잉 주장
skos:exactMatch개념이 사실상 같다(주석)없음 — 추론기가 무시안전 — 기록일 뿐
skos:closeMatch개념이 거의 같다없음안전
skos:broadMatch 등상위/하위/연관 대응없음안전

표 1정렬 어휘의 강도. OWL 계열은 공리(2-5)라서 추론에 참여하고, SKOS 계열은 주석이라서 참여하지 않는다. 2-5의 교훈 — 유일 이름 가정이 없으므로 동일성은 선언 사항 — 이 여기서 실무가 된다.

선택 원칙은 보수성이다. 확신과 필요가 모두 있을 때만 OWL 동치를 쓰고, 그 전에는 SKOS 매핑으로 기록한다. 두 온톨로지의 '작업기억'이 정말 같은 개념화인지는 정의를 맞대 보기 전엔 모르고(1-4의 의도된 모형이 다를 수 있다), 학습용 지도는 강한 동치가 주는 추론 이득도 별로 없다. 실습이 Cognitive Atlas 정렬을 exactMatch 주석으로 하기로 한(5-1 정의서 ④) 근거가 이것이다.

불일치는 실패가 아니라 정보다

정렬 작업의 실제 산출물은 매핑 성공 목록만이 아니다. 대응물이 없는 개념, 정의가 어긋나는 개념, 한쪽에만 있는 구분 — 이 불일치들이 더 값진 기록이다. 불일치는 두 개념화의 차이, 곧 서로 다른 목적이 거른 자국이기 때문이다(1-3). 실습의 정렬 차시(5-8)가 "매핑과 불일치 기록"을 산출물로 삼는 이유이며, 1인 프로젝트에서는 불일치 검토가 사적 치우침의 보정 장치이기도 하다(1-6).

이식성 — 맥락 없이도 읽히는가

재사용성의 마지막 얼굴이 이식성(portability)이다. 실무자들이 쓰는 시금석은 이렇다. 아무 맥락 없는 새 시스템에 이 온톨로지를 연결했을 때, 그 시스템이 맥락을 올바르게 복원하는가. 조건은 세 가지로 간추려진다. 자족적 정의 — 외부 문서 없이 읽히는 정의와 출처(2-4의 의무). 표준 어휘 — 자기만의 방언 대신 RO·SKOS 같은 공용 어휘(이 차시의 ①). 명시된 가정 — 범위·제외·관점이 겉에 적혀 있을 것(관점 정의서). 셋 모두 이미 실습의 규율이다. 이식성은 별도의 공정이 아니라, 앞의 규율들이 쌓여 생기는 성질이다.

— — —

판별 연습

문 1실습의 작업기억(PSY_0000041)과 Cognitive Atlas의 working memory(trm_4a3fd79d0b5a7)를 owl:equivalentClass로 잇자는 제안을 평가하라.

답 확인

시기상조다. 두 쪽의 정의를 맞대 같은 개념화인지 확인하기 전이고, 학습용 지도에는 동치가 주는 추론 이득도 없다. skos:exactMatch로 기록하고, 동치가 필요해지는 질문이 생기면 그때 승격한다 — 보수성 원칙과 공리 예산(2-5)의 합치점이다.

문 2part_of를 직접 정의하지 않고 RO의 IRI를 재사용할 때 얻는 것과 묶이는 것은.

답 확인

얻는 것: 공동체가 합의한 전이성 정의(2-3), RO를 쓰는 모든 그래프와의 즉시 호환. 묶이는 것: RO의 의미 결정 — 우리 식의 다른 뜻을 그 IRI에 담을 수 없다. 다른 뜻이 필요하면 별도 관계를 만들어야 한다.

— — —

적용: 실습의 재사용·정렬 정책 확정

세 수준을 실습에 배정한다. ① IRI 재사용 — 관계는 RO(part_of 등), 주석은 SKOS·rdfs 표준 어휘. ② 모듈 가져오기 — 쓰지 않는다. BFO 전체 수입은 학습 규모에 과하며, 경량 주석(2-7)으로 족하다. ③ 정렬 — Cognitive Atlas와 skos:exactMatch/closeMatch, 불일치는 사유와 함께 기록. 이 정책으로 평가 셋째 층(3-1)의 점검 항목이 확정된다. 표준 어휘 재사용 여부, 매핑 주석의 존재, 불일치 기록의 존재.

용어 정리

용어원어뜻
정렬alignment / mapping독립한 두 온톨로지의 대응 개념을 잇는 작업과 그 기록
exactMatchskos:exactMatch"사실상 같은 개념"의 주석. 추론에 영향 없음
모듈 가져오기owl:imports다른 온톨로지의 공리를 통째로 수입하는 선언
이식성portability맥락 없는 시스템에 연결해도 맥락이 복원되는 성질
이 차시가 기대고 있는 자료
W3C (2009). SKOS Reference §10 Mapping Properties. · Euzenat, J., & Shvaiko, P. (2013). Ontology Matching (2nd Ed.). Springer. · Smith, B. et al. (2007). The OBO Foundry: Coordinated Evolution of Ontologies. Nature Biotechnology, 25(재사용·직교성 원칙). · Halpin, H. et al. (2010). When owl:sameAs Isn't the Same. ISWC(강한 동치의 위험).
트랙 3 · 차시 5재사용과 정렬