OWL : 다른 속성의 일부 값으로 범위를 제한하는 방법

저는 Selfie 클래스, objectProperty personPicture (도메인 그림, 범위 Person)를 사용하여 누가 그림에 있는지 설명하고 dc : creator를 갖습니다. 나는 셀카가 적어도 1 인물 사진을 가지고 있어야한다고 말하고 싶다. 그리고 dc : 창조자는 인물 목록에있는 사람이어야한다. 사진. 나는 시도했다 :OWL : 다른 속성의 일부 값으로 범위를 제한하는 방법

<owl:Class rdf:about="http://www.semanticweb.org/leo/ontologies/album#Selfie"> 
    <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/leo/ontologies/album#Picture"/> 
    <rdfs:subClassOf> 
     <owl:Restriction> 
      <owl:onProperty rdf:resource="http://www.semanticweb.org/leo/ontologies/album#personPicture"/> 
      <owl:minQualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:minQualifiedCardinality> 
      <owl:onClass rdf:resource="http://www.semanticweb.org/leo/ontologies/album#Person"/> 
     </owl:Restriction> 
    </rdfs:subClassOf> 
</owl:Class>

그러나 그것은 작동하지 않는다. 나는 사람이없는 셀카를 가질 수 있습니다. 사진과 나는 두 번째 트릭을하는 법을 절대 모릅니다! 두 번째는 각 있다고 1 인

셀카 SubClassOf 사진
셀카 SubClassOf personPicture 최소 :

출처

2017-01-13 user2212090

귀하의 공리는 그들이 맨체스터 구문에 쉽게 읽을 수 있습니다 Selfie는 속성 personPicture에 의해 적어도 사람과 관련이 있습니다.

X 셀카 : 즉, 데이터 세트 등으로 일치을합니다.

이 지정되어 있지 않은데 사람 x가 사람 사진과 관련이있는 경우, 추론자가 올바르게 있다고 추측합니다. OWL에서 채택 된 open-world assumption의 일부입니다. 무언가가 모르기 때문에 그것이 틀렸다는 것을 의미하지는 않습니다.

두 번째 조건은 OWL에서 표현할 수 있을지 잘 모르겠습니다. " 그림의 작성자가 인 경우 그림은 Selfie"라고 공리를 나타낼 수 있지만 그 것은 다른 방향입니다.

출처

2017-01-13 17:46:21

좋아, 처음에는 오른쪽, 추론을하는 사람이있어.하지만 personPicture가없는 셀카를 만들 수 있는데, 추론을 시작하면 오류가 발생하지 않습니다 ... 감사합니다 !! – user2212090

@ user2212090 예, 그것은 직장에서 열린 세상의 가정입니다. 당신은 사람이없는 셀카를 만들지 않습니다. 사진, 당신은 사람의 가치가 무엇인지 모르는 셀카를 만듭니다. 사진입니다. 나는 그들이 실제로 누가 누군지 모르지만 당신은 두 명의 생물학적 부모를 가지고 있음을 알고 있습니다. 실제로 'x a Selfie'와 'x a (personPicture exactly 0 Person)'(즉 x가 실제로 personPicture 값을 갖지 않는다고 주장하는 경우), 추론자가 불일치를 표시합니다. –

조슈아 테일러가 옳습니다. 유효성 확인과 관련된 모든 사항은 표준 OWL 추론 (예 : – AKSW

OWL : 다른 속성의 일부 값으로 범위를 제한하는 방법

답변

관련 문제