"不支持的公理"在AllegroGraph RDF Triple Store上使用Pellet Reasoner时

时间:2017-07-26 20:21:10

标签: rdf triplestore pellet allegrograph

我在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

1 个答案:

答案 0 :(得分: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推理的逻辑)。您不得使用保留的词汇表来定义类,个体,属性,数据类型或本体。