Seongho Lim/RDF/RDFS

• RDF에서 시맨틱웹 모델링이 그래프에 관한 것 이라면 RDFS에서의 시맨틱웹 모델링은 집합에 관한 것.
• RDFS는 그래프구조를 숙달된 방법으로 어떻게 사용할 것인지에 관한 가이드라인을 제공. 즉 RDFS는 RDF 그래프에서 사용될 어휘를 기술하는 방법을 제공.
• RDFS의 모든 스키마 정보는 RDF트리플로 정의.

RDF 스키마 언어

• rdfs:subClassOf

:Kaneda rdf:type :AllStarPlayer.
:AllStarPlayer rdfs:subClassOf :MajorLeaguePlayer.
일 경우
:Kaneda rdf:type :MajorLeaguePlayer. 를 추론할 수 있다!

• rdfs:subPropertyOf

어떤 큰 회사에 고용되어 있는 사람의 계약 형태는 다양하다.(프리랜서, 장기계약직, 중계회사 등) 이들은 모두 그 회사에서 일한다고 말할 수 있다. 어떻게 모델링 할 것인가?

:freeLancesTo rdfs:subPropertyOf contractsTo.
:indirectlyContractsTo rdfs:subPropertyOf contractsTo.
:isEmployedBy rdfs:subPropertyOf worksFor.
:contractsTo rdfs:subPropertyOf worksFor.

Goldman isEmployedBy TheFirm.
Spence freeLancesTo TheFirm.
Long indirectlyContractsTo TheFirm.

이렇게 모델링 되어 있을 경우 다음과 같은 추론이 가능하다.

Goldman worksFor TheFirm.

Spence contractsTo TheFirm.
LongContractsTo TheFirm.

Spence worksFor TheFirm.
Long worksFor TheFirm.

• rdfs:domain - 정의역, rdfs:range - 공역

비 형식적인 해석은 관계 P가 클래스 D로부터의 값을 클래스 R로부터의 값에 연결시킨다는 것.

P rdfs:domain D.
P rdfs:range R.

이 용어들의 의미는 그것들로부터 도출될 수 있는 추론에 의해 정의된다. RDFS 추론은 추론규칙을 가지고 정의역을 해석.

IF
P rdfs:domain D.
and
x P y.
THEN
x rdf:type D.

유사하게 공역은 규칙을 가지고 다음과 같이 정의

IF
P rdfs:range R.
and
x P y.
THEN
y rdf:type R.

통합 예제

• Woman과 MarriedWoman이 일반적인 하위 클래스 관계로 되어 있는 단순한 클래스 트리가 있다고 가정.

:MarriedWoman rdfs:subClassOf :Woman.

• 그것의 정의역이 MarriedWoman인 maidenName이라는 프로퍼티가 있다고 가정.

:maidenName rdfs:domain :MarriedWoman.

• 이럴 경우 다음과 같은 주장에 대해

:Karen :maidenName "Stephens".

• 이러한 추론이 가능해짐

:Karen rdf:type :Woman.

• 결론 : Karen에 대한 어떤 것도 이 예에는 들어있지 않지만 Woman이라는 것을 추론해 냄.