복습 · 규칙으로 추론하기
하위 클래스, 정의역·치역, 속성 특성이 각각 어떤 새 트리플을 만드는지 한 그래프에서 연결합니다. 추론 결과가 의도와 다를 때 어느 규칙과 어느 입력에서 왔는지 짚어 보세요.
이번 회차, 내 속도로.
기초를 더 짚거나 궁금한 주제로 잠깐 넓혀 보세요. 최대 3단계를 거쳐 DAY 60로 돌아옵니다.
난이도·관심 주제 고르기
1/2개 선택 · 새 보충·심화 수업과 본과정 다시 읽기를 선택할 수 있어요.
이렇게 다녀와요 1단계 · 약 12분
- 출발 · DAY 60기억에서 꺼내고 풀이 점검하기
- 1. 관심 주제동일성 주장과 병합추가 23 · 새 추가 수업
- 복귀 · DAY 60원래 회차 이어가기
- 동일성 주장과 병합 · DAY 59에서 OWL에 고유 이름 가정이 없다는 것을 배웠다면, 반대로 ‘같다’고 선언하는 owl:sameAs가 어떤 결론을 퍼뜨리는지 봅니다.
선택과 경로 기록은 이 브라우저에 저장됩니다. 본과정의 회차 완료와는 별도입니다.
기억에서 꺼내어 풀기
앞에서 풀었던 세 문제를 해설 없이 다시 풀어 보세요. 막히면 힌트를 열고, 풀이를 비교한 뒤 고친 점을 기록하세요.
힌트 보기
먼저 클래스 사이의 이행(rdfs11)을 모두 구하고, 그다음 초코의 타입을 전파하세요.
풀이와 비교하기
rdfs11: 푸들⊑포유류, 푸들⊑동물, 개⊑동물(3개). rdfs9: 초코 a 개, 초코 a 포유류, 초코 a 동물(3개). 모두 6개이며 명시 4개와 합치면 질의에서 10개의 트리플이 보입니다.
힌트 보기
rdfs2는 주어에, rdfs3은 목적어에 타입을 붙입니다.
풀이와 비교하기
:수학 a :Teacher와 :민수 a :Course가 추론됩니다. 민수가 이미 :민수 a :Person으로 기록돼 있다면 :Person과 :Course를 owl:disjointWith로 선언해 추론기가 비일관을 보고하게 할 수 있습니다. 또는 SHACL로 ‘teaches의 주어에는 :Teacher 타입이 명시돼 있어야 한다’를 검사해 위반으로 드러냅니다.
힌트 보기
이행으로 하나를 먼저 만들고, 그 결과까지 포함해 역 관계를 붙이세요.
풀이와 비교하기
이행: :강남구 :locatedIn :한국. 역: :서울 :contains :강남구, :한국 :contains :서울, :한국 :contains :강남구. 모두 4개입니다. 역 관계는 명시 트리플뿐 아니라 추론된 트리플에도 적용됩니다.
풀이와 확인 표시는 이 브라우저에 저장됩니다.
세 문제를 푼 뒤 핵심 개념 펼치기
핵심 개념
하위 클래스, 정의역·치역, 속성 특성이 각각 어떤 새 트리플을 만드는지 한 그래프에서 연결합니다. 추론 결과가 의도와 다를 때 어느 규칙과 어느 입력에서 왔는지 짚어 보세요.
rdfs:subClassOf는 rdfs9(타입 전파)와 rdfs11(이행) 규칙으로 저장하지 않은 소속 관계를 도출합니다.
rdfs:domain·range는 검증 규칙이 아니라 주어·목적어의 타입을 추론하는 규칙이므로, 잘못된 값은 오류 대신 엉뚱한 결론을 만듭니다.
OWL 속성 특성(이행·역·대칭)은 한 방향·한 단계만 기록한 관계에서 반대 방향과 여러 단계의 관계를 도출합니다.
오늘 이해한 것과 다시 볼 것
계산이 달라진 이유, 헷갈린 개념, 다음에 확인할 질문을 남겨 보세요.
메모는 이 브라우저에 저장됩니다. 홈에서 전체 기록을 내려받을 수 있습니다.오늘의 이해 확인
:키운다 rdfs:range :동물, :개 rdfs:subClassOf :동물, :민수 :키운다 :초코만 있을 때 RDFS로 추론되는 트리플은?
완료 조건: 확인 퀴즈 정답 · / 직접 풀기 0/3
더 깊이 읽기
예제와 실험 데이터는 이 과정을 위해 만든 것입니다. 원문은 선택 자료이며, 강의와 직접 풀기만으로도 다음 회차를 이어갈 수 있습니다.
RDF Schema 1.1W3CRDF 1.1 SemanticsW3CA Description Logic PrimerKrötzsch, Simančík & Horrocks (2012)OWL 2 Web Ontology Language PrimerW3C이 자료는 개념 학습용입니다. 실제 데이터베이스·라이브러리·플랫폼의 동작과 설정은 제품과 버전마다 다를 수 있습니다.