在OWL中是否可以表示充分条件关系？
S rdf:type owl:Class;
rdfs:subClassOf [
rdf:type rdf:Restriction;
owl:onProperty :N;
owl:hasValue :D
].
S rdfs:subClassOf N.
N rdf:type owl:Class;
owl:equivalentClass [
rdf:type rdf:Restriction;
owl:onProperty :S;
owl:hasValue :D
].
N owl:equivalentClass S.
根据充要条件的定义，n对S是必要的，等价于s对N是充分的，我们可以将其理解为n是S的超集或s是N的子集。
基于接受的答案，我们可以将此关系建模为srdfs:subclassofn或定义superclassof属性：
:superclassofowl:inverseofrdfs:subclassof
和assertn:superclassofs
所以答案是肯定的，我们可以通过反转必要条件的顺序（定义RDFS的一个逆属性：subclassof）来表示充分条件。
暂时还没有答案
-
我有一些代码使用聚合物属性e <代码> polymer的工作方式是，我不能简单地说＜code＞force-shorrow=“false”，如果我想禁用该属性，必须将其完全删除。在Angular2中是否有方法有条件地删除整个属性？我似乎找不到关于这个话题的任何信息。我可以使用并重复整个元素，包括属性和不包括属性，但如果可能的话，我宁愿不这样做。谢谢 编辑 - 为什么将此问题标记为重复并关闭？我在有问
-
通过on_delete选项，Django提供了各种方法来处理具有被删除对象外键的对象。 我想知道是否有一种方法，我可以做类似的事情，但有条件的。下面是一个场景。我正在使用Django1.5新的自定义用户模型，我的所有用户都有一个网站的外键。像这样： 如果一个站点被删除了，那么我更愿意删除所有链接到该站点的非超级用户（即类似KASKADE的behavoir），因为它们的存在现在已经没有意义了。但如果
-
问题内容： 我的查询包括一个拥有和计数或全部。这些如何在RA / DRC / TRC中表示？我是否需要进一步简化SQL查询？这是一个简化的示例： 如果要查找X城市中所有雇员的所有经理（来自任何城市）的所有雇员，则需要使用had / count。不确定如何在RA / DRC / TRC中完成此操作。 我知道需要这样的查询可能没有道理，但认为就此问题而言，这样做是明智的。 谢谢 问题答案： 您的查询有
-
问题内容： 无论如何，是否有一个微调器提示与编辑文本字段所提供的提示类似。我知道您可以使用提示给您一个标题栏，但在单击微调器之前，仍将初始微调器字段留为空白。我目前有一种粗略的方法来将虚拟字段设置为旋转器数组的第一部分，即问题，然后在末尾进行检查以确保旋转器不等于问题字符串。有没有更清洁/更好的方法呢？ 谢谢！ 问题答案： 这是一个比Ravi Vyas代码简单一些的解决方案（感谢您的启发！）：
-
问题内容： 我想获取所有Pythons关键字作为字符串的列表。如果我可以为内置函数做类似的事情，那也将很漂亮。 像这样的东西： 问题答案： 您询问了有关 语句的信息 ，同时在输出示例中显示了 关键字 。 如果您在寻找 关键字 ，它们都列在模块中： 从文档： 包含为解释程序定义的所有关键字的序列。如果将任何关键字定义为仅在特定语句生效时才处于活动状态，则这些关键字也将包括在内。
-
问题内容： 基本上，我想要一个选择语句，其功能如下： 是否存在这样的条件，或者您如何在nvarchar（10）列中检查非整数？ 问题答案： 在你可以这样做：