OWL/Protégé:等价于类定义
在我看来，equivalentTo类的定义在Protégé5.2.0中不能正常工作。但愿这是我这边的误会。
事先谢谢你,
共有1个答案
正如@StanislavKralin所说：编辑>让所有的个体都不一样。
根据我后来的个人经验，要知道它会大大增加推理的计算时间。
-
我需要在Protégé中实现一个OWL-ontology，它包含两个类:和，这两个类都是类的实例。这两个类由连接类连接，该连接类包含属性。该财产必须根据下列法律取值： 欧米茄=1*S1。完成 我如何在Protégé中实现它，这样我就可以在将来的SWRL-rule中使用它了？
-
在OWL API中，我无法找到一种方法来检索定义有效值枚举的数据类型的等效类。当我手中有一个OWLDatatype时，我如何获得一组允许的值？ [我尝试将RDF/XML作为代码块粘贴到这里，但不起作用。我甚至查看了markdown帮助。请告诉我如何做到这一点。] 本体使用以下构造： RDFS：数据类型 OWL:EquivalentClass RDFS：数据类型 猫头鹰：其中之一 RDF：描述 RD
-
我正在尝试执行一个带有基数限制的查询。查询看起来像 A类和（roleA最小2类B） 但这返回一个空集。另一方面，当我执行查询时 更具体地说，我有类Team、Player和Position，以及对象属性employs（与Team和Player相关）和hasPosition（与Player和Positions相关）。我正在尝试进行查询 球队和雇用的最小2人（球员和拥有一些{striker**}**)
-
问题内容： 我正在努力寻找一种方法，以根据谓词在流的开头跳过某些元素。 像这样： 那相当于Scala 。 问题答案： 这种操作不是s 的预期用例，因为它并入了元素之间的依赖关系。因此，该解决方案可能看起来不太好，因为您必须为谓词引入一个全状态变量： 请注意，与您的示例相比，该条件必须颠倒。 当然，您可以在方法中隐藏令人讨厌的细节： 一个更复杂，但更清洁，可能更有效的方法是深入研究金属，即界面： 可
-
问题内容： 我是来自C / STL的相对较新的Java程序员，并且正在寻找具有以下特征的类（据我所了解，C std :: deque具有）： O（1）在开头/结尾插入/移除的性能 按索引查找的O（1）性能 是可增长的集合（不需要固定的大小范围） 是否有与此等效的Java？我发现Java 1.6 [ArrayDeque]类具有插入/移除和可增长的特性，但是似乎没有按索引查找的方法，除非调用toArr
-
问题内容： 我需要从一些文本文件中选择一些数字。我可以使用grep选择所需的行，但是不知道如何从行中提取数字。一位同事向我展示了如何使用Perl从bash中做到这一点： 但是，我通常使用Python而不是Perl进行编码。所以我的问题是，我可以用相同的方式使用Python吗？即，我可以将一些东西从bash传递到Python，然后直接将结果传递到stdout吗？…如果有道理。还是在这种情况下Perl