학 습 목 표
- 재사용의 세 수준(IRI 재사용, 모듈 가져오기, 정렬)을 구분한다.
- 정렬 어휘의 강도 차이(SKOS 매핑 vs OWL 동치)를 설명하고 선택한다.
- 이식성의 조건을 점검 항목으로 바꾼다.
왜 재사용인가
이유는 셋이다. 비용 — 남이 십 년 다듬은 관계 정의를 다시 만들 이유가 없다. 상호운용 — 같은 어휘를 쓰는 그래프끼리는 합치기 쉽다. 검증 — 공동체가 쓰는 어휘는 그만큼 시험을 거쳤다. 그루버의 설계 원칙(1-3)과 2-4의 명명 원칙("남이 정의한 개념은 그 IRI를 재사용한다")이 이미 이 방향을 가리켰다. 이 차시는 그것을 세 수준의 선택지로 정리한다.
정렬 어휘 — 같은 말에도 강도가 있다
정렬에서 가장 중요한 결정은 "같다"를 어떤 어휘로 선언하느냐다. 강도 순으로 늘어놓으면 이렇다.
| 어휘 | 뜻 | 추론 효과 | 위험 |
|---|---|---|---|
| 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 | 독립한 두 온톨로지의 대응 개념을 잇는 작업과 그 기록 |
| exactMatch | skos: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(강한 동치의 위험).