OWLAPI에서 가져 오기 추가

Question

추론자를 사용하여 여러 트리플의 일관성을 확인하고 싶습니다. 약 700k 개의 트리플이 있습니다. 따라서 각각의 파일에 대해 주제와 객체의 트리플 및 직접 유형으로 파일을 만들었습니다.

작은 파일 중 하나를로드 할 때마다 모든 속성을 가져 오지 않으면 모든 ObjectProperty 문이 불일치를 발견 할 수없는 AnnotationAxioms로 처리됩니다. 어떻게 모든 속성을 한 번만 가져 와서로드 할 때마다 트리에 추가 할 수 있습니까?

미리 감사드립니다.

편집 여기에 제가 분석 할 작은 파일의 예를 추가합니다.

<?xml version="1.0" encoding="UTF-8"?> 
<rdf:RDF 
xmlns:wdt="http://www.wikidata.org/prop/direct/" 
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"> 
<rdf:Description rdf:about="http://www.wikidata.org/entity/Q295376"> 
<rdf:type rdf:resource="http://www.wikidata.org/entity/Q5"/> 
</rdf:Description> 
<rdf:Description rdf:about="http://www.wikidata.org/entity/Q21077119"> 
<rdf:type rdf:resource="http://www.wikidata.org/entity/Q17299750"/> 
<wdt:P1346 rdf:resource="http://www.wikidata.org/entity/Q295376"/> 
<rdf:type rdf:resource="http://www.wikidata.org/entity/Q4993329"/> 
</rdf:Description> 
</rdf:RDF> 

위의 행에는 가져 오기 공리가 포함되지 않습니다. 감사합니다.

Answer 1

트리플을 디스크에 쓰지 않는 것이 훨씬 빠릅니다. 프로퍼티에 대한 선언으로 tee 온톨로지를 만든 다음 테스트 할 공리를 추가합니다. 그런 다음 추론자를 만들고, 일관성을 테스트하고, 추론자를 버리고 방금 테스트 한 공리를 제거 할 수 있습니다. 그러면 온톨로지를 다른 공리와 새로운 추론과 함께 사용할 수 있습니다.

그러나 각 공리를 독립적으로 확인하고 있습니다. 공리가 독자적으로 일치 할 수도 있지만 공리가 함께 할 것인가에 대한 보장은하지 않습니다. 테스트를 마친 후에는 동일한 온톨로지에 나타날 것이라고 가정합니다.

Answer 2

특히 내가 그 시나리오에 최적의 솔루션입니다 생각하지 않습니다 https://github.com/owlcs/owlapi/wiki/Add-an-import-directive-to-an-ontology

에서 OWLAPI 문서를 온톨로지로 가져 오기를 추가하는 방법에에

,하지만 당신은 :-) 질문 질문 있어요