Owl通用量化与基数限制一起工作
我刚认识猫头鹰。我在这页http://dior.ics.muni.cz/~makub/owl/中读到了一个通用量化示例。
共有1个答案
这里的问题是您的新限制过于宽松。你的新公理实际上说，一个人最多可以有两个（父母是一个人）。它并不妨碍一个人有其他的父母，那是非人的。
如果强制所有父级都属于Person类，例如将hasParent的范围设置为Person或添加axiomPerson子类hasParent only Person
-
我想我快疯了！我已经学习了Owl和Protege的各种教程，但仍然无法找到答案。用例很简单。我定义了一个叫‘人’的类。我定义了一个名为HasFirstName的数据属性。我给Person添加了一个'subclass of'restriction',如下所示：'has firstname确切1 string'。我还添加了Person类型的名为Alex的个人，但没有添加hasFirstName属性。我
-
我想我仍然对OWL公理有一个基本的误解：（。 下面是我创建的一个小测试本体论： 当我在Protege中运行hermitreasoner时，我得到了的预期结果，即它是的成员。但是，就成为的成员而言，我对没有同样的感受。 我怀疑这与开放世界的假设有关，并且有可能可能还有另一个断言。有几个问题： 我诊断的问题正确吗？ 我能得到一个例子，说明我如何让我的目标隐士推理是的成员，而不显式地做出断言吗？ 谢啦
-
所以我想使用Flux来运行每个Mono任务，并等待每个任务2秒钟。这是我试过的 结果如下 正如您在时间戳delayElement上看到的，即使它在同一个线程上运行（测试工作人员），它似乎也不起作用。我在这里做错了什么？ 编辑：我真的不明白它是如何工作的，但是我没有在平面图中添加delayElement，而是在它上面添加delayElements，它工作正常。 结果
-
我试着理解在Protege中由于使用通用量化而出现的空虚蕴涵的情况。即形式的公理： 它由一个关系和两个高级不相交的类:和组成。 在pet类下，我有三个原始的不相交类:、和。 在person类下面，我有一个定义的类，定义如下： 最后，我创建了一个个人，名为，它不拥有任何宠物。 通用量化：
-
我在控制台上得到这个JS错误： app.js:167未捕获的引用错误：未定义接收器ID 这是我的完整代码： 私家车控制员： PrivateMessageEvent： Bootstrap.js 频道。php 拉威尔回声服务器。json 在后台队列中：work和laravel echo服务器已在运行 触发该事件后，我在laravel echo服务器控制台上收到以下消息： 笔记： > 我成功地收听了公共
-
我目前正在使用OWL API和Protege，我遇到了一个问题，因为Protege允许我做类似这样的事情： 这就是披萨本体论。我有单独的Americana，我添加了“hasBase DeepPanBase”（在WebProtege中作为关系调用，在桌面版本中放在类型中），其中hasBase是对象属性，DeepPanBase是类。 问题是在OWL API中我有函数getOWLObjectProper