OWLAPI ObjectPropertyChain axioms

우리는 Protege가 역할 체인으로 공리를 생성 할 수 있으며, Protege가 OWLAPI를 기반으로하므로이를 만들 수 있어야한다는 것을 알고 있습니다. 공식 문서에서 예제를 찾지 못했지만이를 수행 할 수 있습니까? 여기 한 예 :OWLAPI ObjectPropertyChain axioms

Declaration(ObjectProperty(:isEmployedAt)) 

ObjectPropertyAssertion(:isEmployedAt :Martin :SC) 

SubObjectPropertyOf(ObjectPropertyChain(:isEmployedAt :isPartOf) :isEmployedAt)

그래서, OWLAPI에 상응하는 것입니다 : 우리가 가지고있는 OWL 구문

출처

2016-11-14 user840718

OWLDataFactory::getOWLSubPropertyChainOfAxiom(java.util.List<? extends OWLObjectPropertyExpression> chain,OWLObjectPropertyExpression superProperty)

는

출처

2016-11-15 00:48:41 AKSW

Javadoc 당신을 감사하십시오. OWLObjectPropertyExpression 유형의 체인을 반환하는 방법이 있습니까? – user840718

당신은 공리로부터 체인을 되 찾으겠습니까? 그렇다면'OWLSubPropertyChainOfAxiom :: getPropertyChain'이됩니다. http://owlapi.sourceforge.net/javadoc/org/semanticweb/owlapi/model/OWLSubPropertyChainOfAxiom.html – AKSW

을 참조하십시오. 아니, 내 경우에는 체인이 getOWLObjectSomeValuesFrom (arg1, arg2)의 첫 번째 인수 여야한다는 것을 의미합니다. 이 유형과 호환되지 않기 때문에 오류가 발생합니다. – user840718

답변

관련 문제