G·Graph Daily Lab
DAY 58 / 100
내 학습 기록
DAY 58개념·실험RDFS·OWL과 추론

속성의 성질: 이행·역·대칭

관계 자체에 성질을 붙이면 한 방향, 한 단계만 기록해도 반대 방향과 여러 단계의 관계를 얻습니다. OWL의 대표적인 속성 특성 세 가지를 계산해 봅니다.

약 20분조작형 실험 확인 퀴즈
A SMALL DETOUR

이번 회차, 내 속도로.

기초를 더 짚거나 궁금한 주제로 잠깐 넓혀 보세요. 최대 3단계를 거쳐 DAY 58로 돌아옵니다.

난이도·관심 주제 고르기
이번 회차는 어느 속도로 볼까요?
더 살펴볼 주제 1~2개 선택

1/2개 선택 · 새 보충·심화 수업과 본과정 다시 읽기를 선택할 수 있어요.

이렇게 다녀와요 1단계 · 약 12분

  1. 출발 · DAY 58OWL 속성 특성
  2. 1. 관심 주제동일성 주장과 병합추가 23 · 새 추가 수업
  3. 복귀 · DAY 58원래 회차 이어가기
  • 동일성 주장과 병합 · DAY 59에서 OWL에 고유 이름 가정이 없다는 것을 배웠다면, 반대로 ‘같다’고 선언하는 owl:sameAs가 어떤 결론을 퍼뜨리는지 봅니다.

선택과 경로 기록은 이 브라우저에 저장됩니다. 본과정의 회차 완료와는 별도입니다.

복귀: DAY 58 → 본과정 다음 회차: DAY 59
01 / UNDERSTAND

핵심 개념

OWL 2(Web Ontology Language)는 RDFS보다 표현력이 큰 W3C 온톨로지 언어로, 속성에 성질을 선언할 수 있습니다. 이행 속성(owl:TransitiveProperty)은 A–B와 B–C가 있으면 A–C를 이끌어 냅니다. OWL 2 Primer는 hasAncestor를 예로 들고, 부분 관계 partOf도 흔한 예입니다. 피스톤이 엔진의 부분이고 엔진이 자동차의 부분이면 피스톤은 자동차의 부분입니다.

역 속성(owl:inverseOf)은 같은 관계를 반대 방향으로 읽는 두 속성을 짝지어 줍니다. :hasPart owl:inverseOf :partOf이면 ‘엔진 partOf 자동차’만 기록해도 ‘자동차 hasPart 엔진’으로 질의할 수 있습니다. OWL 2 Primer의 예는 hasParent와 hasChild입니다. 데이터를 넣는 쪽은 편한 방향 하나만 기록하고, 질의하는 쪽은 자연스러운 방향을 쓰면 됩니다.

대칭 속성(owl:SymmetricProperty)은 A–B가 있으면 B–A도 성립합니다. 배우자 관계(hasSpouse, marriedTo)가 대표적입니다. 반대로 비대칭 속성(owl:AsymmetricProperty)은 A–B가 있으면 B–A가 결코 성립하지 않는다고 선언합니다. 부모 관계가 그렇습니다. 이런 선언은 새 사실을 만들 뿐 아니라, 모순을 찾아내는 근거도 됩니다.

성질을 잘못 붙이면 추론이 틀리거나 폭발합니다. ‘knows’를 이행 속성으로 두면 몇 단계 만에 거의 모두가 서로 아는 사이가 됩니다. partOf도 물리적 부분(심장 partOf 사람)과 소속(사람 partOf 팀)을 한 속성에 섞으면 ‘민수의 심장 partOf 팀’ 같은 결론이 나옵니다. 이행성을 주기 전에 ‘세 단계를 이어도 여전히 참인가?’를 실제 예로 확인해야 합니다.

OWL 속성 특성(이행·역·대칭)은 한 방향·한 단계만 기록한 관계에서 반대 방향과 여러 단계의 관계를 도출합니다.
02 / WORKED EXAMPLE∑

작은 예제로 따라가기

01

이행: partOf가 이행 속성이고 :피스톤 :partOf :엔진, :엔진 :partOf :자동차가 있으면 :피스톤 :partOf :자동차 1개가 추론됩니다.

02

역: :hasPart owl:inverseOf :partOf를 더하면 위의 partOf 엣지 3개마다 반대 방향 hasPart 엣지가 하나씩, 3개 추론됩니다.

03

대칭: marriedTo가 대칭 속성이고 :민수 :marriedTo :지아가 있으면 :지아 :marriedTo :민수 1개가 추론됩니다.

03 / EXPLORE

직접 실험해 보기

이행·역·대칭을 차례로 고르고, 추론 엣지(점선)가 몇 개 생길지 먼저 세어 본 뒤 그래프에서 실제 개수와 방향을 확인하세요.

LIVE EXPERIMENT · OWL PROPERTY TRAITS

속성 특성 선언 하나로 엣지가 늘어나는 것 보기

partOfpartOfpartOf강남구서울한국아시아

실선 = 명시 · 파란 점선 = 추론 · 모든 엣지 = partOf

  1. :partOf a owl:TransitiveProperty .명시
  2. :강남구 :partOf :서울 .명시
  3. :서울 :partOf :한국 .명시
  4. :한국 :partOf :아시아 .명시
  5. :강남구 :partOf :한국 .추론 · prp-trp · 1라운드근거: :partOf a owl:TransitiveProperty + :강남구 :partOf :서울 + :서울 :partOf :한국
  6. :서울 :partOf :아시아 .추론 · prp-trp · 1라운드근거: :partOf a owl:TransitiveProperty + :서울 :partOf :한국 + :한국 :partOf :아시아
  7. :강남구 :partOf :아시아 .추론 · prp-trp · 2라운드근거: :partOf a owl:TransitiveProperty + :강남구 :partOf :서울 + :서울 :partOf :아시아

(x partOf y) + (y partOf z) ⇒ (x partOf z). 체인이 길면 여러 라운드에 걸쳐 도출됩니다.

명시 엣지 3 · 추론 엣지 3 · 라운드 2 · 선언 :partOf a owl:TransitiveProperty .
04 / RECALL & PRACTICE

이번에는 직접 풀어 보세요

정답을 보기 전에 계산과 이유를 적어 보세요. 해설과 비교하고 확인 표시를 남기면 완료할 수 있습니다.

문제 1
힌트 보기

이행으로 하나를 먼저 만들고, 그 결과까지 포함해 역 관계를 붙이세요.

풀이와 비교하기

이행: :강남구 :locatedIn :한국. 역: :서울 :contains :강남구, :한국 :contains :서울, :한국 :contains :강남구. 모두 4개입니다. 역 관계는 명시 트리플뿐 아니라 추론된 트리플에도 적용됩니다.

풀이와 확인 표시는 이 브라우저에 저장됩니다.

YOUR NOTES

오늘 이해한 것과 다시 볼 것

계산이 달라진 이유, 헷갈린 개념, 다음에 확인할 질문을 남겨 보세요.

메모는 이 브라우저에 저장됩니다. 홈에서 전체 기록을 내려받을 수 있습니다.
05 / CHECK YOURSELF

오늘의 이해 확인

partOf가 이행 속성이고 A partOf B, B partOf C, C partOf D가 있을 때 새로 추론되는 partOf 트리플 수는?

완료 조건: 확인 퀴즈 정답 · / 직접 풀기 0/1

FURTHER READING

더 깊이 읽기

예제와 실험 데이터는 이 과정을 위해 만든 것입니다. 원문은 선택 자료이며, 강의와 직접 풀기만으로도 다음 회차를 이어갈 수 있습니다.

OWL 2 Web Ontology Language PrimerW3C

이 자료는 개념 학습용입니다. 실제 데이터베이스·라이브러리·플랫폼의 동작과 설정은 제품과 버전마다 다를 수 있습니다.