OWL : 개인과 일정 범위의 개인 간의 관계를 미리 정의 할 수 있습니까?

Question

owl:Class Person과 owl:Class Fruit이 있다고 가정 해 보겠습니다. 그 외에 우리는 owl:ObjectProperty loves (도메인 : 사람, 범위 : 과일) 있습니다. 두 클래스의 인스턴스가 여러 개 있습니다.

OWL에서 클래스 Person의 한 특정 인스턴스가 사과와 다른 과일 인스턴스 (예 : 과일)의 모든 사랑 관계를 수동으로 정의하지 않고도 과일을 제외한 모든 과일을 좋아한다는 것을 표현할 수 있습니까? 사과 제외)?

보다 추상적 인 수준 : 인스턴스와 인스턴스 범위 (클래스 수준 또는 인스턴스 자체 중 하나) 사이의 관계를 정의 할 수 있습니까?

Answer 1

"apple"이 "fruit"또는 "apple"의 인스턴스가 "fruit"의 하위 클래스인지 여부에 따라 솔루션이 달라집니다. 사과의 경우가 많기 때문에 "사과"가 수업이라고 말하는 것이 더 합리적입니다. 그러나 Ignazio가 "사과"가 인스턴스이고, 그의 대답이 받아 들여지는 해결책을 제시 한 이래로, 나는 "사과"가 인스턴스라고 가정하면서 시작할 것입니다. 그럼 당신은 당신이 원하는 것을 얻을 수 있습니다 모든 것이 :Fruit하고 :apple가 :bob에 의해 필요 사랑하지 그 것을 말하고

:Fruit a owl:Class . 
:apple a :Fruit . 
:Person a owl:Class . 
:bob a :Person . 
:loves a owl:ObjectProperty . 
[ a owl:Class; 
    owl:intersectionOf (
    :Fruit 
    [ a owl:Class; owl:complementOf [a owl:Class; owl:oneOf (:apple)] ] 
) 
] rdfs:subClassOf [ 
    a owl:Restriction; 
    owl:onProperty [ owl:inverseOf :loves ]; 
    owl:hasValue :bob 
] . 

이을 (:bob을 가정하고 사과를 좋아하지 않는 사람의 식별자입니다 참고. 것을이 정확히 영업 이익은 원하는 것을 모델링하지 않습니다 IGNAZIO의 솔루션, 다른

이제 사과의 클래스가있는 경우, 그 해결책은 다음과 같습니다.

당신은 [roli을

:Fruit a owl:Class . 
:Apple rdfs:subClassOf :Fruit . 
:Person a owl:Class . 
:bob a :Person . 
:loves a owl:ObjectProperty . 
[ a owl:Class; 
    owl:intersectionOf (
    :Fruit 
    [ a owl:Class; owl:complementOf :Apple ] 
) 
] rdfs:subClassOf [ 
    a owl:Restriction; 
    owl:onProperty [ owl:inverseOf :loves ]; 
    owl:hasValue :bob 
] . 

Answer 2

설명하는 내용에 OneOf 제한이 사용됩니다. 한 클래스에서 하나의 인스턴스를 제외하려면 (질문의 첫 부분에 대해) 과일 클래스와 OneOf (Apple)의 부정을 교차시켜 사과 속성을 사용하여 러브 속성에 대한 범위 어썰트를 입력하는 것으로 선언 할 수 있습니다 .