"Unsupported axiom" 在 AllegroGraph RDF 三重存储上使用 Pellet Reasoner 时

Question

我在 AllegroGraph 中创建了一个 RDF 三元组存储。现在我想运行使用 Java API 对其进行推理。我决定使用 Pellet Reasoner (download-link). It works with the 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

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

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

"Unsupported axiom" 在 AllegroGraph RDF 三重存储上使用 Pellet Reasoner 时

"Unsupported axiom" when using Pellet Reasoner on AllegroGraph RDF Triple Store

rdf

pellet

allegrograph

triplestore