OWL (バージョン 4.0.2) e Pellet (3.0) を使用してオントロジーを作成し、SWRL ルールを使用して新しい事実を推測しています。しかし、OWL API の一部の jar は、推論を試みている間に膨大な量のメッセージを出力しており、最終的には結果が表示されません。
オントロジー情報を設定する場所は次のとおりです。
manager = OWLManager.createOWLOntologyManager();
factory = manager.getOWLDataFactory();
this.ontologyURI = ontologyURI;
pm = new DefaultPrefixManager(null, null,
ontologyURI);
File ontologyFile = new File("TwitterOntology.owl");
try {
ontology = manager.loadOntologyFromOntologyDocument(ontologyFile);
} catch (OWLOntologyCreationException e) {
// TODO Auto-generated catch block
e.printStackTrace();
}
ログの一部をお送りします:
14:54:38.961 [メイン] DEBUG osordf.rdfxml.parser.TripleLogger - トリプルの総数: 4788 14:54:38.966 [メイン] DEBUG osorrpOptimizedListTranslator - リスト: ObjectPropertyAtom( http://www.semanticweb.org/michel/ ontologies/2014/6/TwitterOntology#hashtagContainedInTweetRule Variable() Variable()) 14:54:38.967 [main] DEBUG osorrpOptimizedListTranslator - リスト: ObjectPropertyAtom( http://www.semanticweb.org/michel/ontologies/2014/6/TwitterOntology #posts Variable() Variable()) 14:54:38.967 [main] DEBUG osorrpOptimisedListTranslator - リスト: DataPropertyAtom()
14:54:40.316 [main] INFO ccoeBlackBoxExplanation - 初期の公理数: 50 14:54:40.319 [main] INFO ccoeBlackBoxExplanation - 公理の拡張 (拡張 0) 14:54:40.320 [main] INFO ccoeBlackBoxExplanation - ... 62 で拡張14:54:40.321 [main] INFO ccoeBlackBoxExplanation - 展開公理 (展開 1) 14:54:40.322 [main] INFO ccoeBlackBoxExplanation - ... 77 で展開 14:54:40.324 [main] INFO ccoeBlackBoxExplanation - 展開公理 (展開 2) ) 14:54:40.324 [main] INFO ccoeBlackBoxExplanation - ... 96 で展開 14:54:40.328 [main] INFO ccoeBlackBoxExplanation - 公理の展開 (展開 3) 14:54:40.328 [main] INFO ccoeBlackBoxExplanation - ... 展開by 120 14:54:40.333 [main] INFO ccoeBlackBoxExplanation - 公理の展開 (expansion 4) 14:54:40.334 [main] INFO c.coeBlackBoxExplanation - ... 150 倍に拡張
あなたの何人かが私に何かヒントを与えることができれば、私は本当に素晴らしいと思います.
よろしく、ミシェル。