OWLAPIでのインポートの追加

Question

リスナを使用して多数のトリプルの一貫性をチェックしたいと思います。 約700k個のトリプルがありますので、それらのそれぞれについて、そのオブジェクトとオブジェクトのトリプルと直接タイプのファイルを作成しました。

小さなファイルのいずれかをロードするたびにすべてのプロパティをインポートしないと、すべてのObjectPropertyステートメントがAnnotationAxiomsとして扱われます.AnotationAxiomsは不一致を検出できません。 すべてのプロパティを一度だけインポートし、ロードするたびにトリプルを使用してファイルに追加するにはどうすればよいですか？

ありがとうございます！

私がここで分析している小さなファイルの例を追加します。

<?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のマニュアルを参照してください、私はそれがあなたのシナリオに最善の解決策だとは思わないが、それはあなたが