在AllegroGraph RDF Triple Store上使用Pellet Reasoner時出現“不受支持的公理”

Question

我在AllegroGraph中創建了RDF三重存儲。 現在，我想使用Java API在其上運行推理程序。 我決定使用Pellet Reasoner（ 下載鏈接 ）。 它與koala.owl（ link ）一起使用。

將其應用於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

Answer 1

之所以收到此警告，是因為您使用文字作為三元組的對象，這些對象在謂詞位置具有object屬性。 當你寫：

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

您是說sumo:FrenchFrancCoin的外部圖像是字符h ， t ， t ， p ， : ， / ， / ，...的序列，而不是圖像。 您可能想說的是：

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

也就是說， sumo:FrrenchFrancCoin的圖像是<http://...>表示的東西，很可能是圖像，而不是字符序列。

此外，您正在使用具有owl:名稱空間的IRI來定義類和實例，這是OWL 2規范所不允許的。 所有以owl:前綴開頭的IRI都在OWL 2 DL的保留詞匯表中（Pellet推理的邏輯）。 您不得使用保留的詞匯表來定義類，個體，屬性，數據類型或本體。