2017-07-26 60 views
0

我在AllegroGraph中創建了RDF三重商店。現在我想使用Java API在其上運行推理器。我決定使用Pellet Reasoner(download-link)。它適用於koala.owl(link)。在AllegroGraph RDF三重店中使用Pellet Reasoner時出現「Unsupported axiom」

當將其應用於AllegroGraph三重商店,我得到以下錯誤:

org.mindswap.pellet.jena.graph.loader.DefaultGraphLoader addUnsupportedFeature 
WARNING: Unsupported axiom: Ignoring literal value used with ObjectProperty : 

問題是什麼?

非常感謝!

編輯

其實我每三重同樣的問題在我的數據庫。 (所有三元組的TopBraid Composer創建。)

幾個例子:

WARNING: Unsupported axiom: Ignoring triple with unknown property from RDF 
namespace: owl:M80x2 @rdf:majorDiameterMax 
"79.96"^^http://www.w3.org/2001/XMLSchema#string 



WARNING: Unsupported axiom: Ignoring triple with unknown term from OWL 
namespace: owl:1102 @rdf:type owl:Part 


WARNING: Unsupported axiom: Ignoring literal value used with ObjectProperty : 
http://www.ontologyportal.org/SUMO.owl#FrenchFrancCoin 
@http://www.ontologyportal.org/SUMO.owl#externalImage 
"http://upload.wikimedia.org/wikipedia/en/6/69/France_03.gif"^^xsd:anyURI 

WARNING: Unsupported axiom: Ignoring triple with unknown term from OWL 
namespace: owl:SG_45 @rdf:type owl:Module 
+0

消息是否非常明確:「忽略用於ObjectProperty的字面值」?在OWL DL(Pellet推理的內容)中,不允許使用具有對象屬性的文字。這意味着你不可以有一個三元組(* s *,* p *,* o *),其中* p *是一個對象屬性,* o *是一個文字,你可能在三重存儲中擁有這個文字。 –

+0

安託萬,非常感謝你的回答。不幸的是,我在三聯商店的每一個三重倉庫都得到了這個警告..我用更多的例子更新了這個帖子 – Boris

回答

1

你,因爲你正在使用文字作爲謂詞有一個對象屬性的三元對象收到此警告位置。當你寫:

sumo:FrenchFrancCoin sumo:externalImage "http://..."^^xsd:anyURI . 

你說的sumo:FrenchFrancCoin的外在形象是一個字符http://,順序......這是不是一個圖像。你可能想說的是:

sumo:FrenchFrancCoin sumo:externalImage <http://...> . 

也就是sumo:FrrenchFrancCoin的圖像是由<http://...>表示的事情,這很可能是圖片,而不是字符序列。

此外,您正在使用具有owl:命名空間的IRI來定義類和實例,這是OWL 2規範所不允許的。以owl:前綴開頭的所有IRI都在OWL 2 DL的詞彙表中(Pellet引入的邏輯)。您不得使用保留詞彙來定義類,個人,屬性,數據類型或本體。