如何获得负对象属性断言？
我在本体论中工作，我有以下swhl规则：
User(?u) ^ Project(?p) ^ isRelatedTo(?u, ?p) ^ isMemberOf(?u, ?p) -> verifiedAssociation(?u, ?p)
我想知道负对象属性断言何时发生（当verifiedAssociation不为true时）。
我在Protégé上找到了tab属性断言，但我希望（推理者）能够推断出这一点。我不知道如何创建一个规则来实现这一点。
有人能帮帮我吗？
共有1个答案
没有办法通过规则来实现这种推断。原因是你需要的是能够说出来
User(?u) ^ Project(?p) ^ isNotRelatedTo(?u, ?p) ^ isNotMemberOf(?u, ?p)
-> unverifiedAssociation(?u, ?p)
但是你需要说？u与任何无关？p，不仅仅是具体的？p、 这不属于规则的范围，也不属于OWL/DLs的范围，因为它需要一种形式的封闭世界推理，而不是开放世界推理。
为了达到你想要的结果，你需要以某种方式关闭你的世界。因此，您的用户要么已分配给项目，要么尚未分配。让我们介绍一下与Project不相交的NoProject类。然后添加一条规则
User(?u) ^ NoProject(?p)
-> unverifiedAssociation(?u, ?p)
其中un验证关联与验证关联不相交。
您可能还想看看具有“null”对象属性堆栈溢出问题的个人。
最新消息
根据SWRL常见问题解答，SWRL不支持否定。唯一的方法是定义不相交的对象属性的对偶。即。，
ObjectProperty: isMemberOf
ObjectProperty: isNotMemberOf
DisjointWith: isMemberOf
对VerifiedAssociation和NotVerifiedAssociation执行类似操作。然后以肯定形式定义规则：
User(?u) ^ Project(?p) ^ isRelatedTo(?u, ?p) ^ isNotMemberOf(?u, ?p)
-> NotVerifiedAssociation(?u, ?p)
-
我有一个本体，是使用Protegé4.3.0创建的，我将使用reasoner来检索具有相同对象属性断言的个体。 > 本体论包含一组代表某种动物的个体（老鼠、猫、狗）。 本体包含一组与不同类（眼睛、耳朵、腿）相关联的个体（mouseEyes,mouseEars,mouseLegs,catEyes,catEars,catLegs,dogEyes,dogEars,dogLegs）。 个体mouseEye
-
假设我有一些本体论创建的蛋白质，有一个类的实例与一些对象属性，和对象属性的列表，已显示在以下图片： 对象属性的层次结构如下所示： 现在，当我打开Reasoner（Hermit）时，我得到了同一个人的以下断言对象属性： 当我点击推断对象属性“dependsUp”客户的解释时，我得到： 我的问题是，我如何使用Java生成它？我已经可以通过以下方法获得某些个人的推断对象属性（abreviety在这里不完
-
问题内容： 这个问题很简单，但是由于我是python的新手，所以我从php过来了，因此遇到了一些错误。 我有以下简单的课程： 在PHP中，我可以执行以下操作： 我该如何在python中做到这一点？ 问题答案： 要访问对象的字段或方法，请使用dot ： 如果将在运行时定义字段名称，请使用内置函数：
-
在 PowerShell 中，如何通过指定对象的名称（字符串）来获取对象的属性值？我想要类似这样的东西： 是否有类似于“获取属性名称”的内容？
-
问题内容： 不返回pattern作为列表的元素之一。即它返回： 根据手册，它应该包含 对象的属性名称，其类的属性名称，以及递归其类的基类的属性。 它也说 该列表不一定完整。 有没有办法获得 完整的 清单？我一直以为dir返回一个完整的列表，但显然并没有… 另外：有没有办法只列出属性？还是只有方法？ 编辑：这实际上是python中的错误- >据称它已在3.0分支中修复（也许在2.6中已修复） 问题答
-
问题内容： 我正在使用jQuery流沙插件。我需要获取单击项的数据ID，并将其传递给Web服务。如何获得data- id属性？我正在使用该方法重新绑定单击事件以进行排序。 问题答案： 要获取属性的内容（如中的），您必须使用 或（如果您使用更新的jQuery> = 1.4.3） 并且后面的部分必须小写，例如将不起作用，但会起作用。