航迹推理

Question

我正在熟悉RDF商店在Allegrograph的例子。我感兴趣的一部分是推理。我已经从这里举了一个例子：https://franz.com/agraph/support/documentation/6.4.3/agraph-introduction.html并试图使它正常工作。从图中可以看出，逻辑链如下：

1. “有宠物”谓词适用于“哺乳动物”对象。例如，如果有一个三元谓词，还会有另一个三元rdf:类型推断。它由三重rdfs:range定义。
2. “有宠物”谓词是“拥有”的子属性。如果有一个三重，就会有另一个三重推断。它由三重rdfs定义:subPropertyOf
3. “拥有”谓词适用于“人”对象。例如，如果有一个三元组，就会有另一个三重rdf:类型推断。它由三重rdfs:域定义。

所以我在Franz的网页上创建了一个图表。

s,p,o 
"test://Animal","rdf:type","rdf:class"
"test://Mammal","rdfs:subClassOf","test://Animal" 
"test://Dog","rdfs:subClassOf","test://Mammal" 
"test://hasPet","rdfs:range","test://Mammal" 
"test://hasPet","rdfs:subPropertyOf","test://owns" 
"test://owns","rdfs:domain","test://Human" 
"test://owns","rdf:type","rdf:Property"  
"test://petOf","owl:inverseOf","test://hasPet"
"test://Robbie","test://petOf","test://Jans" 
"test://MrAasman","owl:sameAs","test://Jans"

我期望从这些数据中至少可以推断出两个事实：

1. 罗比是一只哺乳动物
2. 詹斯是个人类

但事情没有发展到那个地步。我不能说那个推理根本行不通。至少我看到了：

• 詹斯有宠物罗比
• 詹斯拥有罗比
• MrAasman有宠物罗比
• MrAasman拥有罗比
• 狗是动物

为什么它不推断类型？这是预期的行为吗？

Answer 1

这不是预期的行为。AllegroGraph的动态RDFS++推理器似乎缺少了一些推论，这些推论可以通过跟踪subProperties和逆链来完成。

我已经向Franz提交了一个bug (bug25588)，并且正在处理一个修复程序，它将出现在v6.5.0中。

同时，您可以使用Materializer查找所有推断的三元组。您可以在AGWebView中或通过其中一个客户端API来实现这一点。如果你有其他的问题，最好的办法就是发电子邮件给寓言- support @frz.com，这样我们就可以创建一张支持票了。

我们无法将这些补丁输入到AllegroGraph v6.4.5中。如果您向我们提交支持请求，我们可以确保在v6.5.0发布时通知您。