펠렛 이행 력 프로텍션 5 분류 자

Protege 베타 5를 사용 중이며 추론자를 사용하려고합니다. 펠렛은 개인 간의 전이를 지원하지 않으므로 그 문제에 대한 해결책은 무엇입니까? 하지 않는 경우가 (동등성, transitivty, 재귀 ...) 일관성이 온톨로지를 가져오고 explaination가 이잖아 지원 어떤 추론 :펠렛 이행 력 프로텍션 5 분류 자

A(b) -> ((isComposedOf min 2 ({C})) and (isComposed max 15 ({C})))(b) 
    b Type A 
    ((isComposed exactly 4 AA) or (isComposed exactly 5 AA)) (?x),L(?x),((hasLength exactly 4 xsd:integer) or (hasLength exactly 5 xsd:integer))(?x)-?SameAs(?x,R)

출처

2016-08-02 Muna ar

어떤 방식으로 지원되지 않습니까? DL 표현성에 개인을위한 이러한 구성 요소가 포함되어 있습니까? – Ignazio

OWL을 사용하여 더 의미 론적으로 일관성을 위해 추론기를 사용하려고합니다. 펠렛에서 전이 속성의 오류 원인이 발생합니다. 핵심 단어 TYPE ans SAME AS 문제와 마찬가지로 ANID는 해당 속성을 지원하지 않습니다. Ignazio –

펠렛은 전체 OWL 2 DL을 지원합니다! 오류 (예 : 전체 스택 추적)를 게시하십시오. 이행 속성의 유일한 예외는 OWL 2 DL 제한을 위반하지 않도록 속성의 전 이성이 무시된다는 경고입니다. – AKSW

펠렛 전이 속성을 지원합니다. 나는 당신이 단순한 부동산 위치에서 사용 된 단순한 부동산이 아닌 것을 우연히 발견했다고 믿습니다. 이것은 Pellet의 한계가 아니며, DL 제한입니다. 특성의 일부 조합은 결정 불가능으로 이어지기 때문에 지원되지 않습니다. 관련 정보는 this question을 참조하십시오.

출처

2016-08-02 20:43:43 Ignazio

감사합니다. Im 이것을 확인해 보겠습니다. –

Type과 SameAs 키워드를 지원합니까? –

네, 그렇습니다. 이것은 OWL 2 추론 자에 의해 지원됩니다. – Ignazio

펠렛 이행 력 프로텍션 5 분류 자 ​​

답변

관련 문제

펠렛 이행 력 프로텍션 5 분류 자