나는 Protege를 처음 접했기 때문에 나는 매우 기본적인 질문을 가지고있다. 나는 Child과 Parent 클래스를 가지고 있습니다. Child의 서브 클래스는 Girl입니다. child1는 child2는 Child 및 anna 및 peter 가지고있는 타입 두 종류 Parent을 가지고, 유형 Girl 있습니다. 또한 더 이상의 특성이없는 anna i
Protege를 사용하여 온톨로지를 만들고, Hermit Reasoner를 사용하여 SWRL 규칙을 추가했습니다. 모든 것이 잘되었지만, 추론 된 DataProperties는 표시되지 않습니다. 펠렛을 사용해 보았지만 데이터 속성을 추측 할 수 있었지만 만든 모든 SWRL 규칙이 더 이상 작동하지 않습니다. 허밋의 버그입니까? 해결책이 있습니까? 최고 감사
필자는 Protégé와 OWL로 시작하고 있습니다. 나는 그것이 A와 B의 모든 서브 클래스가 발생하지 않는 것, 서브 클래스는 것을 추론 할 내가 기대 펠릿 추론을 시작하면 :A rdf:type owl:Class ;
rdfs:subClassOf owl:Thing ;
owl:disjointWith :B .
:B rdf:type owl:
OWL 온톨로지가 주어지면 Pellet을 추론 자로 사용하여 쿼리에 대한 모든 설명을 검색하는 프로그램을 작성하고 있습니다. 이렇게하려면 OWLAPI는 모든 설명을 찾기 위해 히팅 세트 트리 알고리즘을 구현하는 HSTExplanationGenerator 클래스를 제공합니다. HSTExplanationGenerator의 인스턴스를 만들고 싶을 때이 인터페이스
라는 이름이 OBJECTPROPERTY 하차하여 정확히 일대일 카디널리티에 의해 관련된 모든 클래스를 반환해야합니다 DropOff exactly 1
쿼리를 지원합니다. 첼로 추론자를 사용하면 "이 추론자가 명명 된 클래스를 지원하지 않습니다."라는 예외가 발생합니다. Hermit 추론자를 사용하는 동안 문제가 없습니다. 명명 된 클래스는 참조 대상 UR
저는 PHP와 세계에서 초보자입니다. 나는 jena를 pellet reasoner로 돌릴거야. 내 IDE는 Intellij이고 뿐만 아니라 jena package을 다운로드했습니다. 펠렛에는 올빼미와 jena 같은 폴더가 들어 있습니다. 내가이 패키지 둘 다에서 jar 파일을 가져 와서 코드 작성을 시작해야하는지, 아니면 필요한 모든 것이 이미 펠릿 패키지
Protege 베타 5를 사용 중이며 추론자를 사용하려고합니다. 펠렛은 개인 간의 전이를 지원하지 않으므로 그 문제에 대한 해결책은 무엇입니까? 하지 않는 경우가 (동등성, transitivty, 재귀 ...) 일관성이 온톨로지를 가져오고 explaination가 이잖아 지원 어떤 추론 : A(b) -> ((isComposedOf min 2 ({C})) a
난 이미 SWRLAPI의 SWRLBuiltInBridge 구성 요소와이를 달성했습니다 https://github.com/protegeproject/swrlapi/wiki/SWRLBuiltInBridge 하지만, 내 자바 코드 나는 또한 OWLAPI으로 펠렛 리즈를 사용합니다. 추론자를 사용할 때마다 알 수없는 기본 제공 SWRL 규칙을 발견하면 경고가 생성
Maven의 HermiT 1.3.8.1과 Maven의 OWL API 5.0.2도 사용하고 있습니다. 나는 추론을하기 위해 거의 2 일 동안 노력했다. 나는 nothings가 나를 위해 일하는 모든 예를 점검했다. 추론 자와 APIS의 버전이 너무 많아서 정말 실망 스럽습니다. ` OWLOntologyManager manager = OWLManager.cre
SWRLTab 및 SQWRLTab을 사용하여 Protege에 새 규칙을 작성할 때 FaCT ++, Pellet, ...와 같은 의미 론적 추론을 사용하거나 Drools 또는 Jess 같은 규칙 엔진을 사용하여 SWR에서 제한 규칙을 정의하고 SQWRL로 쿼리합니다. 그러나 Protege가 기능을 제한하기 때문에 Drools/Jess를 사용하여 복잡한 온톨로