OWA (Open World Assumption)가이 경우에 추론 할 수없는 이유는 무엇입니까?

는 130OWA (Open World Assumption)가이 경우에 추론 할 수없는 이유는 무엇입니까?

(책의 선정 된 페이지 Google Books에서 구할 수 있습니다.) 페이지, 책, Foundations of Semantic Web Technologies에서이 다음 온톨로지 코드를 고려하시기 바랍니다

<Person rdf:about="anton"> 
    <likesToWorkWith rdf:resource="doris" /> 
    <likesToWorkWith rdf:resource="dagmar" /> 
</Person> 
<Person rdf:about="doris"> 
    <likesToWorkWith rdf:resource="dagmar" /> 
    <likesToWorkWith rdf:resource="bernd" /> 
</Person> 
<Person rdf:about="gustav"> 
    <likesToWorkWith rdf:resource="bernd" /> 
    <likesToWorkWith rdf:resource="doris" /> 
    <likesToWorkWith rdf:resource="desiree" /> 
</Person> 
<Person rdf:about="charles" /> 
<owl:Class rdf:about="FemaleColleagues"> 
    <owl:oneOf rdf:parseType="Collection"> 
    <Person rdf:about="dagmar" /> 
    <Person rdf:about="doris" /> 
    <Person rdf:about="desiree" /> 
    </owl:oneOf> 
</owl:Class> 
<owl:AllDifferent> 
    <owl:distinctMembers 
     rdf:parseType="Collection"> 
    <Person rdf:about="anton" /> 
    <Person rdf:about="bernd" /> 
    <Person rdf:about="charles" /> 
    <Person rdf:about="dagmar" /> 
    <Person rdf:about="desiree" /> 
    <Person rdf:about="doris" /> 
    </owl:distinctMembers> 
</owl:AllDifferent>

지금 같은 페이지 132 책, 클래스, Class2이 정의되었습니다. 우리가 알고있는 것처럼

<owl:Class rdf:about="Class2"> 
    <owl:equivalentClass> 
    <owl:Restriction> 
     <owl:onProperty 
     rdf:resource="likesToWorkWith" /> 
     <owl:allValuesFrom 
     rdf:resource="FemaleColleagues" /> 
    </owl:Restriction> 
    </owl:equivalentClass> 
</owl:Class>

,이 클래스의 멤버들이 좋아 - 투 - 업무와 클래스 FemaleColleagues에서 모든 동료를해야합니다. 위의 온톨로지 및 클래스 정의를 기반으로 같은 책의 132 페이지에 언급 된

추론은 다음과 같습니다

doris 및 gustav이 Class2에 을 속하지 않습니다.

바르게 모두 doris 및 gustav들이 하지이 에 클래스 FemaleColleagues (사례 모두에서 bernd)에 속하는 작업을 좋아하는 동료가 이후 말했다.

anton

Class2

charles

Open-World Assumption

우리가 말할 수있는 모든 것을.

OWA 하에서 우리는 charles에 관한 추론을 이해할 수 있습니다. 그러나 anton에 관한 결정을 이해하는 것은 다소 어렵습니다. 우리는 명확하게 모든 회원과 anton 즉 doris 및 dagmar는 클래스 FemaleColleagues에 속하는 작업을 좋아하는 것을 볼 수 있습니다.

그러면 우리는 왜 charles이 Class2에 속한다고 말할 수 없습니까?

여기에 누락 될 수있는 것은 무엇입니까?

출처

2014-12-21 Masroor

남성 동료가 언급되지 않았기 때문에 가능합니다. 양성자가 좋아하는 동료들, 예를 들어 카디널리티 제한에 불과한 두 가지 제한을 두는 것은 없습니다. 추론자는 그 세트에 남성이 없다는 것을 증명할 수 없습니다. 왜냐하면 그 세트에있는 모든 사람들을 알고 있다는 것을 증명할 수 없기 때문입니다.

출처

2014-12-21 23:01:19 Ignazio

OWA (Open World Assumption)가이 경우에 추론 할 수없는 이유는 무엇입니까?

답변

관련 문제