通过OWL API检索匿名祖先公理
我需要为给定类的匿名祖先检索公理的子类。例如：
Class Person is a subclass of 'hasName some Name'.
Class Man is a subclass of Person.
然后，我需要能够通过访问类man的匿名祖先提供给类man的公理，在类man上检索hasnamesome name。
现在我显然可以通过递归来实现，但是我想知道是否还有通过OWL API访问这些信息的另一种方式。事先谢谢你的帮助。
共有1个答案
不幸的是，不是--OWL API方法要求您遍历所有超级类，而OWLReasoner（它有检索所有超级类的方法）不会返回匿名超级类，只返回命名的超级类。（它必须--检索/all/anonymous超级类对于推理器来说是一个非终止任务）
-
问题内容： 我在检索Java中匿名PLSQL块的结果时遇到了一些麻烦。 这是块： 我把查询放在一个字符串中： 那字符串正确吗？ 尝试检索的方法： 当我收到此消息时，它不起作用： 那我该如何找回呢？ 问题答案： 这是因为 隐式 日期转换失败。添加而不是直接将日期字符串分配给日期变量。如果使用，则不需要。 隐式转换通常取决于会话的。 您的罪魁祸首。实际上将尝试转换为日期。因此引发了异常！ 然后， 将设
-
主要内容：向上遍历 DOM 树,jQuery parent() 方法,实例,jQuery parents() 方法,实例,实例,jQuery parentsUntil() 方法,实例祖先是父、祖父或曾祖父等等。 通过 jQuery，您能够向上遍历 DOM 树，以查找元素的祖先。 向上遍历 DOM 树 这些 jQuery 方法很有用，它们用于向上遍历 DOM 树： parent() parents() parentsUntil() jQuery parent() 方法 parent() 方法返回被
-
我的问题是：“这是已知算法的已知问题吗？”。我怀疑是。它似乎非常类似于拓扑排序。我有一个基于合并排序的算法的想法，但如果已知的算法已经存在，就没有理由提出我自己的算法。
-
问题内容： 我是mongoDB的新手。我正在使用java和mongoDB。我有一个像 在集合中，所有文档的名称都不同，我只知道键名，如何获取值？ 在mongo网站上，我只能找到和。 谢谢！ 问题答案： 足够。 在Java中，它将是：
-
问题内容： 我想创建一个客户端函数，该函数可以使用客户端变量来接收和执行任意命令。我将使用socket.io从服务器发送这些函数，以发送包含匿名函数的JSON对象，这将是我的命令。它看起来像以下内容： 但是，当我尝试时，客户端接收到一个空的json对象（），然后抛出异常，因为数据不包含任何执行方法。这是怎么了？ 问题答案： JSON不支持包含定义/表达式。 相反，您可以做的是使用所需的s 定义一个
-
如何在有向无环图中找到多个节点的最小共同祖先？ 我已经找到了很多关于这个主题的论文，但它们似乎都在DAG中找到了两个节点的LCAs。