在 AllegroGraph RDF Triple Store 上使用 Pellet Reasoner 时"Unsupported axiom"

Question

我在AllegroGraph中创建了一个RDF三元组存储。现在我想使用 Java API 对它运行推理器。我决定使用颗粒推理器(下载链接(。它适用于koala.owl(链接(。

将其应用于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

您收到此警告是因为您将文本用作在谓词位置具有对象属性的三元组的对象。当你写：

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推理的逻辑(。不得使用保留词汇来定义类、个人、属性、数据类型或本体。