OWL存在性限制及必要条件
我正在使用protege05创建一个本体，我有一个关于属性限制的问题。我从protege教程中了解到，当我们使用限制为类分配属性时，这意味着该属性是定义该类所必需的。
如果我使用存在限制，显然这将意味着“有避难所”是一个建筑物成为一个东正教教堂所必需的，或者如果一个建筑物是一个东正教教堂，它必须总是有一个避难所。（但它不总是正确的）。
所以我的问题是，如何插入这个属性而不是定义我的类所必需的？换句话说，我怎么能说这个属性对我的类有时是正确的但不总是正确的呢？
谢谢
共有1个答案
你想使用东正教教堂作为你的财产的领域-所以，当使用时，你会推断该建筑是一个教堂。它不会阻止你创建没有圣所的教堂。
在不改变域的情况下，您可以创建一个类，将“Some hasPart Santuary”作为“东正教堂”的子类--这是一个充分但不是必要条件。
-
本文向大家介绍Java泛型机制必要性及原理解析，包括了Java泛型机制必要性及原理解析的使用技巧和注意事项，需要的朋友参考一下 泛型程序设计（Generic Programming） “使用泛型机制编写的程序代码要比那些杂乱地使用Object变量，然后再进行强制类型转换的代码具有更好的安全性和可读性。泛型对于集合类尤其有用。” 1.意义、必要性、重要性 泛型程序设计 意味着编写的代码可以被很多不同
-
问题内容： 我有一个数据库，有两个表和。表中有一个主键，表中有一个外键。 我想在表上创建一个约束，表中最多可以存储5个约束。 我需要知道这种约束的类型，以及如何通过SQL Server中的查询来完成此约束。 问题答案： 没有约束可以强制执行该规则，但是可以使用如下所示的触发器来做到这一点：
-
我想我仍然对OWL公理有一个基本的误解：（。 下面是我创建的一个小测试本体论： 当我在Protege中运行hermitreasoner时，我得到了的预期结果，即它是的成员。但是，就成为的成员而言，我对没有同样的感受。 我怀疑这与开放世界的假设有关，并且有可能可能还有另一个断言。有几个问题： 我诊断的问题正确吗？ 我能得到一个例子，说明我如何让我的目标隐士推理是的成员，而不显式地做出断言吗？ 谢啦
-
问题内容： 嗨，我必须在具有大量ID的MySQL语句中使用IN条件。 例 IN语句可以包含的项是否有限制？ 问题答案： 没有，请查看有关IN功能的手册： 列表中的值数仅受max_allowed_packet值限制。
-
假设我们有一个名为的类，和一个名为的DataProperty。这些说法有什么区别：
-
例如，我有一个Fruit和vitamin类的本体论。水果类只有橘子和香蕉为亚类，维生素类只有维他命C和维他命B为亚类。这些子类都是互不相交的。 我还提供了一个object属性，类Fruit作为域，类Vitamin作为范围。 然后，我定义了限制条件：“橘子提供一些维他命C”和“香蕉提供一些维他命B”。