在 AllegroGraph RDF 三重存储上使用 Pellet Reasoner 时出现“不支持的公理”答案

【问题标题】："Unsupported axiom" when using Pellet Reasoner on AllegroGraph RDF Triple Store在 AllegroGraph RDF 三重存储上使用 Pellet Reasoner 时出现“不支持的公理”
【发布时间】：2017-07-26 20:21:09
【问题描述】：

我在 AllegroGraph 中创建了一个 RDF 三元组存储。现在我想使用 Java API 在它上面运行一个推理器。我决定使用 Pellet Reasoner (download-link)。它适用于 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

【问题讨论】：

消息不是很清楚：“忽略与 ObjectProperty 一起使用的文字值”？在 OWL DL（Pellet 正在推理的内容）中，不允许将文字与对象属性一起使用。这意味着你不能有一个三元组 (s,p,o) 其中 p 是一个对象属性o 是一个文字，您可能在三重存储中拥有它。
安托万，非常感谢您的回答。不幸的是，我的三重商店中的每个三重奏都会收到此警告。我用更多示例更新了帖子

标签： rdf triplestore pellet allegrograph

【解决方案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 的 reserved 词汇表中（Pellet 推理的逻辑）。不得使用保留词汇来定义类、个体、属性、数据类型或本体。

【讨论】：