与 InferredOntologyGenerator 一起使用时，如何编写 OWL 让推理器进行排序并在推断公理中显示

Question

对象属性有距离，我不知道推理器在显示推断公理时是否可以排序，想尝试这种方式。 但遇到小数点错误

基因A和基因B之间的距离范围为0到十进制值 想要显示基因的排序

如果基因C和D比较多，并且A和C、C和D、A和D等有距离，只有一个距离属性似乎不够，这种情况下如何定义好？

哪种算法可以按多对的距离排序？

是不是先按距离排序，然后开始最小距离（a，b），然后是第二个最小距离，因为 a 是 b 的邻居，c 是 b 的邻居，然后将 c 附加到 b 旁边

既然这么简单，为什么还要使用sweep and prune？

a 2 b 3 c

a b 2
a c 5
b c 3

a b 2
b c 3
a c 5


Gene
 and (distance some decimal[ >"0.0", <"2.0"])

Answer 1

OWLReasoner 接口将 Sets 指定为输出，因此推断公理的顺序不是由推理器确定的。

对于您的用例，我将实现一个 Comparator 并在创建推断的公理后对其进行排序。