- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我将这个海龟文件加载到两个不同的 OWL 推理器(HermiT 和 RDFox)中:
@prefix : <http://www.semanticweb.org/justin/ontologies/2022/10/untitled-ontology-16#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
:A1 rdf:type owl:Class .
:A2 rdf:type owl:Class ;
rdfs:subClassOf :A1 .
:A3 rdf:type owl:Class ;
rdfs:subClassOf :A2 .
我希望推理者推断出:
:A3 rdfs:subClassOf :A1 .
但推理者都没有。
相关资料:
“rdfs:subClassOf 属性是可传递的。” https://www.w3.org/TR/rdf-schema/#ch_subclassof
“当一个属性 P 定义为传递属性时,这意味着如果一对 (x,y) 是 P 的一个实例,并且这对 (y,z) 也是 P 的一个实例,那么我们可以推断 (x,z) 对也是 P 的一个实例。” https://www.w3.org/TR/owl-ref/#TransitiveProperty-def
最佳答案
是的,rdfs:subClassOf
属性是可传递的。恐怕我无法解释为什么 HermiT 没有返回预期的三元组,因为我不知道那个系统,但对于 RDFox,您需要执行几个额外的步骤才能看到您正在寻找的三元组为。
首先,RDFox 具有一流的公理表示,它独立于任何作为三元组持有的公理。要在推理中使用公理,必须将它们添加到数据存储的(一等)公理中。如果您的数据存储包含表示为三元组的公理,例如 :A2 rdfs:subClassOf :A1
,您可以使用 importaxioms
shell 命令将它们作为公理导入(此命令接受一些选项,但如果您的公理在默认图中以三元组形式出现,并且您希望公理应用于默认图,则不需要任何参数)。导入公理后,RDFox 会生成相应的 Datalog 规则,这些规则实际上会进行推理。
即使此时,您也不会看到任何额外的 rdfs:subClassOf
三元组。这是因为,与许多其他推理器不同,RDFox 专注于对数据进行推理(也称为 Abox 推理)而不是关于模式(也称为 Tbox 推理)。具体来说,这意味着如果您将 :A3
的一些实例与您显示的公理一起添加到数据存储中,这些实例也将被归类为属于类 :A2
和 :A1
。因此传递 rdfs:subClassOf
关系的 效果 被具体化,这通常比具有隐含的 rdfs:subClassOf
三元组更实际。
对于确实需要模式推理的情况,RDFox 有一个内置的规则集来进行包含推理(正如您在这里所期望的那样)。这可以在 shell 中导入:
import <rdfox:TBoxReasoning>
这将使 RDFox 推断出 :A3 rdfs:subClassOf :A1
。相关文档部分是 here .
这是一个完整的 RDFox shell 脚本(适用于 5.7 版),演示了以上所有内容,希望对您有用:
dstore create default
prefix : <http://www.semanticweb.org/justin/ontologies/2022/10/untitled-ontology-16#>
prefix owl: <http://www.w3.org/2002/07/owl#>
prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>
import ! :A1 rdf:type owl:Class .
import ! :A2 rdf:type owl:Class ; rdfs:subClassOf :A1 .
import ! :A3 rdf:type owl:Class ; rdfs:subClassOf :A2 .
set output out
set query.print-summary off
echo
echo "Subclasses of :A1 (w/o subsumption ruleset):"
select ?subClass { ?subClass rdfs:subClassOf :A1 }
echo
importaxioms
import ! :a3 a :A3 .
echo
echo "Instances of :A1..."
select ?instance { ?instance a :A1 }
echo
import <rdfox:TBoxReasoning>
echo
echo "Subclasses of :A1 (with subsumption ruleset):"
select ?subClass { ?subClass rdfs:subClassOf :A1 }
关于rdf - 是rdfs :subClassOf really transitive?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/74383467/
我试图“真正”理解进程和线程 - 我读过有关它们的书籍和文章,但总体情况似乎总是缺少一些东西。当然,我可以喋喋不休地谈论细节,例如每个进程如何拥有自己的内存空间以及属于同一进程的线程如何共享相同的内存
在 Perl 的描述中 -i[extension]功能在 http://perldoc.perl.org/perlrun.html ,与以下程序实质上相同的代码被视为使用 perl -pi.orig
我目前正在下类后的空闲时间参加 Coursera 上的 Scala 类(class),试图最终尝试函数式编程。我目前正在处理一项任务,我们应该“计算”包含某个对象的两个集合的并集。我有意省略了细节,因
这里有人说会开放攻击 How do you serialize javascript objects with methods using JSON 这对我来说是一个相当肤浅的答案,因为为什么它比经典
就目前情况而言,这个问题不太适合我们的问答形式。我们希望答案得到事实、引用资料或专业知识的支持,但这个问题可能会引发辩论、争论、民意调查或扩展讨论。如果您觉得这个问题可以改进并可能重新开放,visit
我正在尝试使用 glsl 在 GPU 中实现图像处理算法,如高斯滤波、双边滤波。 我对哪一部分是“真正的”并行执行感到困惑。例如,我有一个 1280*720 的预览作为纹理。我不太确定哪个部分真正运行
你好 不要说这是一个重复的问题,因为我已经阅读了两天。他们中没有一个真正提供有用的答案。 我在 SD 卡上的一个文件夹中有许多不同的文件。想要根据 apk、txt、mp3、avi、jpg 打开正确的应
我正在尝试使用以下代码保存一些代码。我有一个对象,其中的变量与表行的名称相同,因此我可以创建一个像这样的插入: $query = "INSERT INTO table "; $colu
使用 Qt 我知道 private slots 意味着插槽在直接调用时是私有(private)的,但是 connect() 仍然可以允许信号连接到插槽是否私有(private),公开的,或者我猜, p
考虑以下语句: int *pFarr, *pVarr; int farr[3] = {11,22,33}; int varr[3] = {7,8,9}; pFarr = &(farr
我一直在使用 static 关键字来定义内部链接。后来,我改用 C++ 风格,将本地事物包装在匿名命名空间中。 然而,当我使用匿名命名空间多年后,我开始认为 static 关键字更容易使用! 一个常见
我正在尝试使用 ffmpeg 和 对 DVD 质量的视频进行编码nl 表示 过滤(嗯,这就是标题所说的)。但即使在顶级 Core i7 CPU 上,我每秒也只有 12 帧,并且只有一个内核在使用(75
很难说出这里要问什么。这个问题模棱两可、含糊不清、不完整、过于宽泛或夸夸其谈,无法以目前的形式得到合理的回答。如需帮助澄清此问题以便重新打开,visit the help center . 关闭 1
我正在构建我的第一个 Backbone.js 应用程序,但我很困惑我应该向 View 赋予或隐藏多少责任。 在我的示例中,我正在构建一个从集合动态生成的丰富 UI 表(类似于 YUI 的数据网格)。在
新手用户使用 Azure Linux VM,发现删除 VM(停止计费的必要步骤)会留下难以识别和区分的存储残余,这些残余与我想要保留的 Blob(支持 VM 镜像和数据磁盘) , 例如)。 所以我真的
当我在 NetBeans (7.1.2) 中添加组件或任何自动生成注释的内容时,注释每行一个单词。像这样: /* * If * Nimbus * (introduced
我将这个海龟文件加载到两个不同的 OWL 推理器(HermiT 和 RDFox)中: @prefix : . @prefix owl: . @prefix rdf: . @prefix rdfs
我的问题很简单,但(我猜)很难回答: 我的 PHP 网站/Web 应用程序中真的需要完整的模型- View - Controller 设计模式吗? 我无法理解 Controller 如何与 PHP 一
新手用户使用 Azure Linux VM,发现删除 VM(停止计费的必要步骤)会留下难以识别和区分的存储残余,这些残余与我想要保留的 Blob(支持 VM 镜像和数据磁盘) , 例如)。 所以我真的
我将这个海龟文件加载到两个不同的 OWL 推理器(HermiT 和 RDFox)中: @prefix : . @prefix owl: . @prefix rdf: . @prefix rdfs
我是一名优秀的程序员,十分优秀!