Seongho Lim/RDF/RDFSPLUS

• RDFS와 마찬가지로 RDFS-Plus도 완전히 RDF로 표현. 유일한 차이점은 많은 리소스들이 모두 owl 네임스페이스에 존재한다는 점.

• 역(inverse) 프로퍼티

owl:inverseOf - hasParent와 hasChild간의 관계를 명시적으로 만들고 정확하게 그것이 의미하는 바를 기술

P owl:inverseOf Q.
x P y.
라면
y Q x.
를 추론할 수 있다.

example

lit:Shakespeare lit:wrote lit:Macbeth.
lit Macbeth lit:setIn geo:Scotland.

lit:wrote owl:inverseOf lit:writtenBy.
lit:settingFor wol:inverseOf lit:setIn.

라면 다음을 추론할 수 있다.

lit:Macbeth lit:writtenBy lit:Shakespeare.
geo:Scotland lit:settingFor lit:Macbeth.

모델링 언어에서 이러한 구성자의 유영성은 다양한 쿼리를 쉽게 쓸 수 있는 것에 달려있다.

모델링 언어를 확장 하여 superClassOf를 만들 수 있다.

P myowl:superClassOf Q. 는 다음과 같이 만든다.

myowl:superClassOf owl:inverseOf rdfs:subClassOf

self-inverse 패턴 만들기 owl:SymmetricProperty

bio:married owl:inverseOf bio:married.
bio:AnneHathaway bio:married lit:Shakespeare.
라면
lit:Shakespeare bio:married bio:AnneHathaway. 를 추론 가능

• 대칭 프로퍼티(SymmetricProperty)

하나의 프로퍼티가 대칭적임을 표현

P rdf:type owl:SymmetricProperty.
라면
P owl:inverseOf P. 를 추론 가능.

owl:inverseOf가 양방향으로 작용하도록 하기위한 방법

owl:inverseOf owl:inverseOf owl:inverseOf
더욱 쉽게 표현하기 위한 방법으로
owl:inverseOf rdf:type owl:SymmetricProperty.
가 있다.

• 이행성(Transitivity) - owl:TransitiveProperty

P rdf:type owl:TransitiveProperty.
X P Y.
Y P Z.
이면
X P Z. 를 추론 가능.

예제